摘要：
一、前置技能 > Tarjan求割点 > 高中数学选修2-1 命题与逻辑关系（好像是这个名字） > 莓了 （本文用&&表示与 || 表示或 !x表示x的否命题 与正常的数学符号不同食用请注意） 二、k-SAT > Q: 为什么讲2-SAT之前要先讲k-SAT？ 因为k-SAT被证明是NP-完全问题 阅读全文
摘要：
Chapter I 强连通分量以及割点 T1 poj 3180 The Cow Prom Time cost: 35min 比较明显的板子题 缩点记录一下分量点数 注意除去点数少于2的情况 Code： 1 #include<cstdio> 2 #include<cstring> 3 #include 阅读全文