maple_算法
文章平均质量分 62
lsDNG
这个作者很懒,什么都没留下…
展开
-
强连通分量分解--Kosaraju算法分析与证明
参考资料:《挑战程序设计竞赛》,《算法导论》 参考资料:《挑战程序设计竞赛》,《算法导论》 相关题目:POJ2186,POj3180,POj1236 定义:在一个有向图的顶点子集V中,如果在V中任意选取两个顶点u和v均能找到一条从u到v的路径,那么称V是强连通的。 若在顶点集任意添加顶点集合后,不再是强连通,则称之为原图的一个强连通分量。 把所有分解后的强连通分量单独原创 2014-08-22 21:05:40 · 1511 阅读 · 0 评论 -
2-SAT算法
SAT:布尔方程的可满足性问题。 2—SAT:合取范式中的每个子句中的文字个数都不超过两个 2-SAT一般解决的是一类比较固定的问题,即类似于模板题,对这类题的描述为: 现有n个人,并且每个人都只能够从各自的两个选项中选择一个,然后两两的选择都会相互影响,问是否每个人选择一个之后,能够满足条件。 解决这类问题关键是建边,一般对第一个选项记为xi,对第二个选项记为非x原创 2014-08-27 20:30:59 · 2197 阅读 · 0 评论