CF乱做
摘要:就整合成一篇文章吧,从2022/10/31日开始的cf题都放在这里了。 CF428D Random Function and Tree *2700 树形DP,容斥(正难则反) 这编号代表的是dfs序的奇偶性,所以状态:\(f[u][0/1]\):表示子树内sz的奇偶性,这个转化也很常规。 假如说只有
阅读全文
[学习笔记] 差分约束系统
摘要:解决问题 解不等式方程。 形如$x_i\le x_j+w$ ps.等式可以化为两个不等式 解决方法。 相当于每条有向边松弛后的柿子。 所以跑最短路即可。 但有可能负权,而且要判无解(有负环)。 跑spfa即可 code 点击查看代码 #include <bits/stdc++.h> using na
阅读全文
[学习笔记]2-sat
摘要:参考 因为时间有限,算法竞赛,会用就好,后面再补充正确性证明 问题解决类型: 求解一些bool型0/1变量,要满足一些形如\(x_i=a\)则\(x_j=b\)的关系。 流程 每个变量拆点为,\(x_0\)和\(x_1\),分别表示值取\(0/1\)。 强联通分量缩点,每个分量里面的变量值相同。如果
阅读全文
poj2942(点双)
摘要:题意 给一张图,问你存在于至少一个奇环中的点数。 思路 引理:一个点双联通分量如果存在奇环(不是二分图),那所有连通分量内所有点都在奇环中。 证明:如果该点双存在一个奇环,那么非奇环上的点一定存在两条路径到达奇环的不同点上,否则会存在割点。而两个交点会把奇环分成长度分别为一奇一偶的两条路径,这样跟该
阅读全文
[学习笔记] 基础数论合集
摘要:欧拉定理 & 费马小定理 $(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(
阅读全文
树上的数据结构[学习笔记]
摘要:Nauuo and Binary Tree(交互) 传送门 让你询问\(?\ u\ v\),反馈你两点间树上距离,让你在\(nlogn\)次询问内,能够得出树的结构。 先询问所有点到\(1\)的距离(\(dep\)),将所有点按\(dep\)排序,这样依次加入每个点找父亲。已知该点在\(u\)子树中
阅读全文