对于每个灯,我们用一个变量表示其决策,xu=0表示不选,xu=1表示选.因为每个灯最后必须都亮,所以每个等都对应一个异或方程. 解这个异或方程组,有几种情况: 1.存在唯一解(得到的上三角系数矩阵的主对角线上的元素全部为1) 2.无解(存在某行系数全为0,但等式右边不为0) 3.存在v个自由元(即主对角线上有v个0,我们枚举每个自由元的取值,有2v种情况) 我们统计所有合法解的最小的值作为答案. /*************************************************…