12个小球外观一致，有一个球是次品不知道轻重。要求天平称三次，把这个小球找出来。
更普适的问题：有k个球，称n次，能不能找出来，怎么找出来？
传统答案非常繁琐，分类讨论好多次，我看了n遍也记不住。我想出来一个用矩阵来编码的方法，上传到了b站上。
【如何用矩阵编码找出次品？-哔哩哔哩】
网页链接
这里面只需要构造一个［-1,0,1］组成的3×12称量矩阵，满足每两列之间的和或差都不是0，每一行的和都是0，就可以作为合格的称量方案来找出次品。我写了一个Python脚本来构造这样的矩阵。
但是问题又来了：当n=4的时候，这个Python脚本需要运行很久，n大于4的时候就更慢了。吧友有没有什么好办法，减小这个搜索称量矩阵的算法的时间和空间复杂度？