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