摘要：模拟网络流 对于一些题目，我们或许可以发现可以用网络流建模，但是一看数据范围网络流又跑不了的时候。就可以思考是否有特殊性质，用别的算法模拟网络流。 模拟最大流 最常用的套路就是最大流与最小割的互相转化。常用来模拟的算法有 \(dp\) 贪心甚至可以直接枚举。 CF724E Goods transpo 阅读全文

摘要：平面图 定义 可以在平面内画出一个图而边没有任何交叉（公共端点相交不算），则是平面图。这种画法叫平面表示。 性质 设 \(G\) 是带 \(e\) 条边和 \(v\) 个顶点的连通平面简单图。设 \(r\) 为平面图表示中的面数，则 \(r=e-v+2\) 。（具体证明见离散6.7.2） 每个平面图 阅读全文

摘要：前置知识 SET问题的标准定义：在计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY或SAT）是确定是否存在满足给定布尔公式的解释的问题。（全是废话） 说人话就是，你要给n个变量，n需要给他赋值使它满足给你一些形如(x1为1或x3为0或x4为3)的条件，你必 阅读全文

摘要：基础理解: 不是一种算法，而是一种思路，一种优化方式。用同余来构造某些状态，来优化时间空间复杂度（多用来优化dp） 最短路常用spfa，不会被卡，因为同余的特殊构造，可保证spfa的时间复杂度（听大佬说的，我不会证） 主要用于给定n个整数，求这n个整数能拼凑出多少的其他整数（n个整数可以重复取），以 阅读全文