2-sat——hdu3062
摘要：
对于怎么建边还是不太清楚 选了a，那么b c不选，所以连边 选了b或c，那么a必定不选 阅读全文
posted @ 2019-05-15 22:02 zsben 阅读(161) 评论(0) 推荐(0) 编辑
2-sat——hdu3062基础
摘要：
hdu就是会卡cin，， 另一种建模方式，把点i拆成i*2，i*2+1，有时候这样会比较简单 阅读全文
posted @ 2019-05-15 20:20 zsben 阅读(101) 评论(0) 推荐(0) 编辑
2-sat——poj3678经典建图
摘要：
比较经典的建图，详见进阶指南 2-sat一般要用到tarjan来求强连通分量 阅读全文
posted @ 2019-05-15 16:35 zsben 阅读(149) 评论(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 阅读(167) 评论(0) 推荐(0) 编辑