摘要：
```bash
#!/bin/bash
while true; do ./data ./std ./Todobe if diff std.out Todobe.out; then printf "AC\n" else printf "Wa\n" exit 0 fi
done
``` 阅读全文
摘要：
带修主席树 感谢YMY大佬非常非常详细的口糊和debug(v.) ,首先主席树是离线算法。 普通主席树是权值线段树，求区间里有几个数，就是用前缀和相减的方式。 其实带修主席树也大同小异。 算法实现 首先你需要离线所有的操作，主要是要将修改之后的值也离散进取 对于每次修改，用树状数组的方式每次加low 阅读全文
摘要：
关于two sat算法 两篇很好的论文 "由对称性解2 SAT问题(伍昱)" , "赵爽 2 sat解法浅析(pdf)" 。 一些题目的题解 "poj 3207" "poj 3678" "poj 3683" "poj 3648" "poj 2723" "poj 2749" 关于具体算法 首先此算法只 阅读全文
该文被密码保护。 阅读全文
摘要：
双联通分量 边双，对于任意两个点存在至少两条边不同的路径 点双，对于任意两个点存在至少两条点不同的路径 性质 显然如果是点双就一定是边双 求法 边双有很好的求法，根据定义如果此边为割边（dfn[v] low[u]）(即u点儿子v无法到达u，此边为割边)，那么一定不是边双，直接将割边去掉，剩下的联通快 阅读全文
摘要：
关于上下界网络流学习笔记 无源无汇可行流 首先对于无源无汇，也就是循环流，是没有最大流之说的。 对于每一条边有一个流量下界down，和流量上界up，那我们使得此边流量为up down，但这样因为每条边减少的流量不一样，所以会导致流量不守恒， 解决方式：因为流入每个点的流量都被剪掉了一个下界，所以从超 阅读全文
摘要：
网络流24题 餐巾纸计划 此题费用流很明显，但其难度在于建模。 首先说一下建模方式 先将每个点拆成两个，Xi和Yi 1.从源点向每个Xi连条流量为ri，0费用的边 2.从每个Yi向汇点连条流量为ri，0费用的边 3.从每个Xi向Xi+1连条流量无限，0费用的边 4.从每个Xi向Yi+m连流量无限，费 阅读全文