> 由于取余为4，而4不是素数,也就是在高斯消元时乘以2将会扩大解集。
> 而如果在初等行变化中不使用% 4，那么在解x的时候也要使用% 4，那么同样无法确定求出的解是不是正确的。
> 最后求出的x解集是不是还需要枚举其中的最优解，因为不一定是唯一解。
> 想了好几天...一直没有想通，请路过的大牛指点下...谢谢...

不明白说的扩大了解集是怎么回事……