不要想构造细节，纵横计数一下就行了，或者说，证明的主要部分是纵横计数，最后构造这个实例说明下界确实是最小值就OK
【 在 operater 的大作中提到: 】
: 想了一下思路
: (1)如果A是典型表，交换A的任意两行，任意两列，还是典型表，易证明。
: (2)A_n通过行列交换，得到一个表，左上k*k区域全是1，右下(n-k)*(n-k)区域都是1，其它两矩形区域是0或1
: ...................
--
FROM 124.64.16.*