Codeforces Round #441 (Div. 2, by Moscow Team Olympiad) E. National Property (2-SAT问题)
第一次接触2-sat,突然感觉自己学的离散数学和一些数学中关于逻辑的东西有了用处,开始我在做这个题的时候,我在想应该怎么做呢,如果能有一个判断逻辑的算法,而且能直接算出他们的解或者推翻自己的逻辑输出错误,那该有多好。赛后题解就发现了2-sat。我却有懒得要命,只想会用,连原理都不想弄通,多嘲讽啊。即将去比赛是理由?【题意】对于一个数字如3,那么3'<3,且加了'的数均小于没有加'的数,对于两...
原创
2017-10-18 20:26:06 ·
316 阅读 ·
0 评论