a1 a2 a3 1号灯
a1 a2 a3 2号灯
a1 a2 a3 3号灯
假设按2的时候影响1
那么就是第一行第二列为1,意思就是通过2号灯的变化可以影响1号灯
再有第i行第i列也为1,意思就是通过i号灯的变化可以影响i号灯
高斯消元求解方程,会得到r个解,剩下的n-r就是自由变元,其实意思就是可以随便取,比如0*x=0,那么x就是自由的了。
对于r个解,他们是按0下还是1下是已经固定了的,那么方案数就只有看自由变元里,由于自由变元取0或1都无所谓,所以就是2^k种
无解判断,只要看全为0的那些行,最后一个是不是非0就够了。
red-book的模板
#include
#include
#include
#include
#include
#include
#include