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