- 博客(5)
- 资源 (2)
- 收藏
- 关注
原创 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 769
原创 poj3073
比赛状态堪忧,笑看自己找不着北..把心态放好吧- -反正窝从一开始就只是为了多学习才上道的至少已经从学习和智商上给窝带来了一些帮助智商带不动,好辛苦~~~~(>_<)~~~~ 说说这题吧…这题就是个SBSB题,考虑前ii个字符能匹配的方案数,我们只需要考虑它后几位能否配上一组题目给出的字符即可,于是有dp[i]=∑j=1ndp[j](if.字符[j,i]匹配上了某一组给定字符)dp[i]=
2015-07-17 20:57:23 952
原创 【小结】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 1003
原创 【小结】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 788
原创 【小结】强联通分量分解
强联通分量在一个有向图的顶点子集SS中,对∀(u,v)\forall (u,v),如果都能找到一条从uu到vv的路径,那么就称SS是强联通的。如果向SS中加入任何一个其他顶点后SS都不再是强联通的,就称SS时原图的一个强联通分量。显然,如果把所有的强联通分量都缩点,原图将变成一个DAGDAGSCCSCC的求解可通过两次dfsdfs实现,第一次在原图中后续遍历,标号;第二遍将所有边反向后,从编号
2015-07-17 20:17:02 893
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人