- 博客(5)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 PRank3
窝太水了.. 搞不动了- - A QuicksumA\ Quicksum#include <cstdio> #include <cstring> #include <algorithm> using namespace std;const int MAX = 512; char buffer[MAX];int main() { int len; while (fgets(buffer
2015-07-18 16:12:58
732
原创 poj3073
比赛状态堪忧，笑看自己找不着北.. 把心态放好吧- - 反正窝从一开始就只是为了多学习才上道的 至少已经从学习和智商上给窝带来了一些帮助 智商带不动，好辛苦～～～～（＞＿＜）～～～～ 说说这题吧…这题就是个SBSB题，考虑前ii个字符能匹配的方案数，我们只需要考虑它后几位能否配上一组题目给出的字符即可，于是有dp[i]=∑j=1ndp[j](if.字符[j,i]匹配上了某一组给定字符)dp[i]=
2015-07-17 20:57:23
926
原创 【小结】SG生成函数(Grundy函数)
SG生成函数(Grundy函数)小结SG生成函数(Grundy函数)小结 转移到子游戏xx&yy，则sg[now]=sg[x]∧sg[y]sg[now]=sg[x] \land sg[y] 模板 #include <cstdio> #include <cstring> #include <algorithm> using namespace std;const int MAX = 100007; c
2015-07-17 20:50:12
979
原创 【小结】2-sat
2−sat2-sat 小结 2−sat2- sat解决的是可满足性问题，并且每个合取范式中的文字个数不多于22个。 形式为: (a∨¬b)∧(¬c∨¬d)∧(¬a∨d)⋯\left( a\lor \lnot b\right) \land \left( \lnot c\lor \lnot d\right)\land \left( \lnot a\lor d\right) \cdots 将所有a∨ba\
2015-07-17 20:35:18
741
原创 【小结】强联通分量分解
强联通分量 在一个有向图的顶点子集SS中，对∀(u,v)\forall (u,v)，如果都能找到一条从uu到vv的路径，那么就称SS是强联通的。如果向SS中加入任何一个其他顶点后SS都不再是强联通的，就称SS时原图的一个强联通分量。 显然，如果把所有的强联通分量都缩点，原图将变成一个DAGDAG SCCSCC的求解可通过两次dfsdfs实现，第一次在原图中后续遍历，标号；第二遍将所有边反向后，从编号
2015-07-17 20:17:02
877
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人