算法合集之《由对称性解2-SAT问题》