Remilia's

二分图匹配总结二分图匹配1、二分图最大匹配，求两个集合内，每个元素只能用一次，两集合间存在一些匹配关系，求最大匹配多少对，利用匈牙利算法，对于每个结点不断去找增广路去匹配有几个重要性质:1、最小点覆盖 = 最大匹配2、最大独立集 = 总结点 - 最大匹配模板：bool dfs(int u) { for (int i = 0; i < g[u].

2-sat总结2-sat问题，一般表现的形式为，每个点有两种方式a,b，要么选a，要么选b，并且点点之间有一些约束关系，例如：u和v至少一个选a，那么这就是一个表达式，把a当成真，b当成假，那就是u真或v真，2-sat的题目就是这样，给定这些约束，判断是否会矛盾注意表达式的转化形式，（其实就是离散数学中那几种转换方式）比如（u真且v真）或（u假且v假）就可以转化成（u真或v假）

【图论】网络流总结最大流部分网络流题目的关键：看出是网络流并且确定正确的模型最大流算法：用来解决从源点s到汇点t，整个网络最多能输送多少流量的题目模板：#include #include #include #include using namespace std;const int MAXNODE = 105 * 2;const int MAX

强连通总结定义：一个有向图中，一个图可以分成几个分支，每个分支的任意两个结点如果都有路径使得互相可达，那么称这个分支为强连通分支现在要给一个有向图，求出强连通分支，可以利用Tarjan发明的算法求出强连通分支之后，可以根据题目，把每个强连通分支进行缩点，缩点之后的图会变成一个有向无环图（DAG），就可以进行一些算法（如DP， 最短路，最小生成树之类的)模板：

双连通总结这类问题分为，边-双连通，点-双连通边双连通边双连通，求出来后，连接没一个双连通的分量的就是割边，因此可以缩点成一棵树，把问题转化为在树上搞，割边的定义为：去掉这条边后图将不连通基本这类题都一个解法，求双连通分量，然后缩点成树，进行操作或者就是直接要求割边，做跟割边相关的操作模板:#include #include #include