IBM Ponder This #189 · 2014 年 1 月

Thomas Dueholm Hansen 与 Uri Zwick 提出了这个问题。构造一个六列、至少二十一行的比特矩阵 T，基本的二十一行情形要求：

• 对每个 1≤i1<21，存在列 j，使 T(i1,j)≠T(i1+1,j)，且 T(i1+1,j)=T(21,j)。
• 对每对 1≤i1<i2<21，存在列 j，使 T(i1,j)≠T(i1+1,j)，且 T(i1+1,j)=T(i2,j)=T(i2+1,j)。

以下是相应八行四列版本的例子：

0011
1101
1010
1100
0110
0100
0000
0001

附加问题：构造七列、至少三十三行的同类矩阵。

解答

认真尝试后再打开

待补充。