BZOJ 2199 && luguoP3007 [USACO11JAN]大陆议会The Continental Cowngress 2-sat

对板子有了更深刻的理解,只要2-sat存在,那么dfs函数求出的一个方案一定是一个合法解的子集。

发表评论