2019年5月15日

2-sat——hdu3062

摘要： 对于怎么建边还是不太清楚 选了a，那么b c不选，所以连边 选了b或c，那么a必定不选 阅读全文

posted @ 2019-05-15 22:02 zsben 阅读(168) 评论(0) 推荐(0)

2-sat——hdu3062基础

摘要： hdu就是会卡cin，， 另一种建模方式，把点i拆成i*2，i*2+1，有时候这样会比较简单 阅读全文

posted @ 2019-05-15 20:20 zsben 阅读(120) 评论(0) 推荐(0)

2-sat——poj3678经典建图

摘要： 比较经典的建图，详见进阶指南 2-sat一般要用到tarjan来求强连通分量 阅读全文

posted @ 2019-05-15 16:35 zsben 阅读(163) 评论(0) 推荐(0)

SG函数博弈——poj2311

摘要： 关于SG函数的博弈 首先定义必败态 x : SG[x]=0 设任意一个状态y，到所有y能到达的状态连一条边，令这些后继为z y : SG[y]=mex(SG[z]) SG[y]==0 : y就是必败态 SG[y]!=0 : y就是必胜态 所以博弈时把状态转换成有向图即可 那么n个有向图的情况 SG= 阅读全文

posted @ 2019-05-15 15:11 zsben 阅读(183) 评论(0) 推荐(0)

导航