摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3631 题目中给定两种操作：一种是将某一个点做标记，一种是查询两点之间经过标记点的最小值。由于智能经过标记点，而且两点之间如果有最短的路径的话一定是通过这些标记点作为中转点的，所以可以在每次新标记一个点的 阅读全文
摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1599 最小环的定义：经过一条简单路径（除起点每点只经过一次）回到起点成为环，并且环的总长度最小称为最小环。 关于floyd算法路径的计算方式参考博客：http://blog.sina.com.cn/s/ 阅读全文
摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1269 2-SAT问题：2-satisfiability问题（可满足性问题）也就是有n个布尔变量，给出一些不能同时存在的情况，询问是否存在满足条件的一组boolean变量的解。做法是运用原命题与逆否命题之 阅读全文
摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1269 以下内容为原创，转载请声明。 强连通分量SCC（Strongly Connected Component）：一个图的子图，如果任何两个点都互相可达且满足最大性，该子图就是原图的SCC。 对于有向图 阅读全文