摘要：对于 \((a-b)\ mod\ P\) 即使保证 \(a\ge b\) 也需要先加 \(mod\) 再 模 \(mod\) 因为 \(a>b\) 在模意义下不一定仍然成立 阅读全文

摘要：强连通: 如果有向图中存在一个点集 使得其中任意两个点都可以相互到达, 那么这个集合就是强连通的 强连通分量: 如果一个强连通的集合是尽可能大的集合 那么可以称为强连通分量 任意有向图都可以分解成若干个不相干的强连通分量, 把分解之后的强连通分量缩成一个顶点, 就得到了一个有向无环图 Kosaraj 阅读全文

摘要：2-SAT HDU 3062 有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？ 因为一对夫妻中只有一个可以出席, 所以可以将女方出席 阅读全文