等待书生

原创 对于《由对称性解2-sat问题》和“拓扑排序”的学习理解

问题：微软笔试题——http://hihocoder.com/problemset/problem/1108 最初想法，仍有待验证：http://bbs.bccn.net/thread-441260-1-1.html 最初想法是：只有成对出现的约束，1     2      0，才能够对问题进行限制，对问题结果照成影响，因此只需要考虑成对出现的约束。对于成对出现的节点，在构图中有 1