摘要：
好好写2-sat 如果a1-->b1矛盾则连边a1-->b2和b1-->a2 我定了一个ccnt和cnt变量，结果少打一个c，wa了好多次(lll￢ω￢) By：大奕哥 阅读全文
摘要：
本题可以看出来是2-sat。 难点在于输出一种可行解。 我们想tarjan在这里的作用是什么？缩点。 何为缩点，即把点都放到一个强连通分量里视为一个块，然后对块跑拓扑即可。 阅读全文
摘要：
开始学习2-sat的姿势 http://blog.csdn.net/jarjingx/article/details/8521690 这篇文章写的真好 算法的过程如下： 构图 更具体的后面再说缩点 Tarjan算法缩点，将所有的边反过来（ 为什么？后面有嗯 ）判可行 枚举集合的两个元素，看其是否处于 阅读全文
摘要：
这题上来看以为是dp，其实是搜索，我顺便把搜索的路径存下来了(这样才看明白样例......)。 —— by VANE 阅读全文
摘要：
看到博弈论，大力推一下sg，发现和NIM一样嘛，sg(x)=x,然后发现sg(1)和sg(0)有点怪，然后发现sg带进去不对，发现如果石子全是1的话就不对，然后一脸懵逼，开始质疑sg的正确性，找到了题解发现是sj函数！！果然是我土鳖了，看了一下论文，这个问题是Anti-NIM游戏，是由JZH提出的结 阅读全文