摘要： 2-SAT SAT是适定性(Satisfiability)问题的简称。一般形式为k-适定性问题简称 k-SAT。可以证明，当k>2时，k-SAT是NP完全的.因此一般讨论的是k=2的情况，即2-SAT问题 适定性问题 数学术语适定性问题来自于哈达玛所给出的定义。他认为物理现象中的数学模型应该具备下述 阅读全文

摘要： 二分图判定 怎么判定一个图是否为二分图 从其中一个定点开始，将跟它邻接的点染成与其不同的颜色，最后如果邻接的点有相同颜色，则说明不是二分图，每次用bfs遍历即可。 #include<iostream> #include<cstdio> #include<algorithm> #include<cst 阅读全文

摘要： 二分图最大匹配 模板 #include <bits/stdc++.h> using namespace std; struct augment_path { vector<vector<int> > g; vector<int> pa; // 匹配 vector<int> pb; vector<in 阅读全文