会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
棉花糖
菜园子
Powered by
博客园
博客园
|
首页
|
新随笔
|
联系
|
订阅
|
管理
2022年10月28日
[学习笔记] 差分约束系统
摘要: 解决问题 解不等式方程。 形如$x_i\le x_j+w$ ps.等式可以化为两个不等式 解决方法。 相当于每条有向边松弛后的柿子。 所以跑最短路即可。 但有可能负权,而且要判无解(有负环)。 跑spfa即可 code 点击查看代码 #include <bits/stdc++.h> using na
阅读全文
posted @ 2022-10-28 20:01 Crazy!!!
阅读(12)
评论(0)
推荐(1)
编辑
[学习笔记]2-sat
摘要: 参考 因为时间有限,算法竞赛,会用就好,后面再补充正确性证明 问题解决类型: 求解一些bool型0/1变量,要满足一些形如\(x_i=a\)则\(x_j=b\)的关系。 流程 每个变量拆点为,\(x_0\)和\(x_1\),分别表示值取\(0/1\)。 强联通分量缩点,每个分量里面的变量值相同。如果
阅读全文
posted @ 2022-10-28 19:36 Crazy!!!
阅读(1)
评论(0)
推荐(1)
编辑
poj2942(点双)
摘要: 题意 给一张图,问你存在于至少一个奇环中的点数。 思路 引理:一个点双联通分量如果存在奇环(不是二分图),那所有连通分量内所有点都在奇环中。 证明:如果该点双存在一个奇环,那么非奇环上的点一定存在两条路径到达奇环的不同点上,否则会存在割点。而两个交点会把奇环分成长度分别为一奇一偶的两条路径,这样跟该
阅读全文
posted @ 2022-10-28 18:49 Crazy!!!
阅读(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(
阅读全文
posted @ 2022-10-28 14:56 Crazy!!!
阅读(12)
评论(1)
推荐(1)
编辑