首页 > 其他 > 详细

2-SAT学习整理

时间:2017-11-18 10:21:17      阅读:38      评论:0      收藏:0      [点我收藏+]

标签:拓扑序   相同   思路   核心   tar   关于   sat   整理   题目   

关于2-SAT 问题给出的证明和思路就不再赘述

核心是对于问题给出的条件建图,然后跑tarjan缩点

(在一个强联通分量里bool值是相同的)

看集合两个元素是否在一个强联通分量来判断是否合法

利用强联通分量是拓扑序的逆序可以进行方案的选择

2-SAT 问题代码一般比较短,重点是建图

一般来说对于一对点(i,i+n)可以表示为一个集合里的两个点,或者一对矛盾的点

这样对于题目给出的关系就可以建图了

建图方法参见数学的充要条件

 

2-SAT学习整理

标签:拓扑序   相同   思路   核心   tar   关于   sat   整理   题目   

原文:http://www.cnblogs.com/mrsheep/p/7855811.html

(0)
(0)
   
举报
评论 一句话评论(0
0条  
登录后才能评论!
© 2014 bubuko.com 版权所有 鲁ICP备09046678号-4
打开技术之扣,分享程序人生!
             

鲁公网安备 37021202000002号