[算法思考]关于2-sat判定求解中“同一组内必须选择”问题的思考
来源:互联网 发布:php 文件上传ajax代码 编辑:程序博客网 时间:2024/06/16 06:12
转载地址:http://blog.sina.com.cn/s/blog_68629c7701010gf1.html
在2-sat判定问题中我们经常会遇到这样一种情况,在一组相互矛盾的点Si和Si'中,必须选择Si而不能选择Si'。比如在poj 3678中有“每个数都是0或者是1,但是如果a&&b==1,则a和b都必须是1才可以满足”,在poj 3648有妻子必须坐在左侧,等等……。
如果在1和2之间必须要选择2的话,则连接一条从1指向2的边,该图的不受任何影响。
该图中包括第一组在内的所有组中的两个点都不属于同一个强连通分量,符合2-sat,但是观察点1和点2后会发现从2出发可以到达1,但是从1出发却无法抵达2点,从逻辑上来说就是如果2发生则1必须会发生(由于1和2是对立事件,也就是说选择2的话会产生矛盾)。但是由于1并不能推出2,所以第一组仍然符合2-sat。这个时候如果规定在第一组中必须选择2。也就是加一条1-->2的边后就会使得1和2处于同一个强连通分量中,被判定无解。
- [算法思考]关于2-sat判定求解中“同一组内必须选择”问题的思考
- 关于2-sat判定求解中“同一组内必须选择”问题的思考
- 关于2-sat判定求解中“同一组内必须选择”问题的思考
- 关于判定表的一点思考
- 关于算法的思考
- 关于思考的思考
- 关于思考的思考
- 关于项目算法的思考
- 关于分类算法的思考
- 关于算法单元测试的思考
- 关于算法的一点思考。。。
- 关于最大公约数算法的思考
- 关于算法的时间复杂度问题的思考
- 关于性能问题的思考
- 关于闰年问题的思考
- 对算法问题的思考
- 关于选择生意的朴素思考
- 关于选择、冒泡排序的思考
- 单片机下最小多任务程序
- Makefile中赋值运算符 = 与 := 的区别
- 链接、装载与库
- HDOJ题目分类
- ASP.NET MVC 验证方式
- [算法思考]关于2-sat判定求解中“同一组内必须选择”问题的思考
- 【SQL】查询重复人名的次数并列出
- 有关Mogodb的安装与学习
- MVC分页
- ArrayList和数组之间的一些转换
- scrap安装——Windows
- Easyui中Datagrid显示二级对象即点连接对象、Form表单load数据中二级对象的问题!!!!
- ZED Board从入门到精通(三):从传统ARM开发到PS开发的转变
- Camera服务之--架构浅析