这个表格a[x][y],左列是纵坐标(y),顶行是横坐标(x).
表格里分散着数字0和1,每一列都至少有一个格子是1(即∀x∃y使得a[x][y]=1)
程序目的是从这个表格里选出n行,这n行组成的新表格b[x][y]满足两个条件：
1)∀x∃y使得a[x][y]=1
2)n最小
注：难点在于初始表格的长和宽以及0，1的分布是后期输入得到的。比如简单的暴力for循环嵌套是无效的，因为写代码时不知道需要嵌套几个for。