2022年10月28日

摘要： 解决问题 解不等式方程。 形如$x_i\le x_j+w$ ps.等式可以化为两个不等式 解决方法。 相当于每条有向边松弛后的柿子。 所以跑最短路即可。 但有可能负权，而且要判无解（有负环）。 跑spfa即可 code 点击查看代码 #include <bits/stdc++.h> using na 阅读全文

摘要： 参考 因为时间有限，算法竞赛，会用就好，后面再补充正确性证明 问题解决类型： 求解一些bool型0/1变量，要满足一些形如\(x_i=a\)则\(x_j=b\)的关系。 流程 每个变量拆点为，\(x_0\)和\(x_1\)，分别表示值取\(0/1\)。 强联通分量缩点，每个分量里面的变量值相同。如果 阅读全文

摘要： 题意 给一张图，问你存在于至少一个奇环中的点数。 思路 引理：一个点双联通分量如果存在奇环（不是二分图），那所有连通分量内所有点都在奇环中。 证明：如果该点双存在一个奇环，那么非奇环上的点一定存在两条路径到达奇环的不同点上，否则会存在割点。而两个交点会把奇环分成长度分别为一奇一偶的两条路径，这样跟该 阅读全文

摘要： 欧拉定理 & 费马小定理 $(a,p)=1$，则 $a^{\varphi(p)} \equiv 1 \pmod{p}$ 若$p$为质数，$(a,p)=1$，则 $a^{p-1}\equiv1\pmod{p}$ ex_gcd 求解形如：$ax+by=gcd(a,b)$ 由于$gcd(a,b)=gcd( 阅读全文