BZOJ 1997: [Hnoi2010]Planar|2-SAT|二分图染色
一道比较奇怪的题用二分图染色和2-SAT都可以建模想了一下为什么二分图染色是找出矛盾的关系连边2-SAT是找出“必须”的关系连边而此题恰好都满足--------------------------------------------------2-SAT做法:一组边a,b在环构成的圆内相交 那么在圆外的a‘,b'也相交”必须“关系有 a-->b' a'-->
原创
2016-01-07 09:05:35 ·
973 阅读 ·
0 评论