
2-SAT
nike0good
这个作者很懒,什么都没留下…
展开
-
POJ 3683(Priest John's Busiest Day-强连通分量解决2-SAT)[Template:2-SAT]
Priest John's Busiest Day Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 8144 Accepted: 2769 Special Judge Description John is the only priest in his原创 2014-10-16 21:39:18 · 1441 阅读 · 0 评论 -
HDU 4115(Eliminate the Conflict-石头剪刀布,经典2sat问题)
有向图双联通性与逻辑判定 - 石头剪刀布 • 玩剪刀石头布,n把 • 给了A这n把都出了什么,问你B能否会赢 • 其中A会限制B某些局数出的要相同 • 某些局数出的要不同 • 只要B满足他的限制,并且没没有输掉任何一把就算赢A每局有2个状态,赢和平 令xi表示第i局A是否赢 2sat分8种情况讨论#include<bits/stdc++.h> using namespace std;原创 2016-08-05 22:26:29 · 570 阅读 · 0 评论