下载 App
太极迷阵的一种通解
在这里给出n个点,m条线,任意线条件约束(例如线连的点必须连续),任意初始点a,任意终止点b的通解思路。
黑白二色对应二进制0和1,则n个点对应于二进制向量,线约束对应于n*n的二进制矩阵A,则本问题转化为解二进制线性方程组A*x=a+b。
从而有,有解的充要条件是r(A)=r([A a+b]),这里的秩是指字母矩阵(λ-矩阵)的秩,不是数字矩阵的秩。
因此,我们只需要1次秩的判断就可以解出该问题
:
补充一点,由于游戏特点,所得的矩阵A是由一个列向量平移(n-1)次得到的,手动解题的话,主要解题过程在于写矩阵,其实只需要写出第一列就可以了。
:
我已经写完python了,最慢只需要一天半的时间即可得到所有解法,但只是最短解的话个把小时就能出来










