摘要：
题目大意：在一张无向图中，最大的节点集使得集合内任意两个节点都能到达对方。题目分析：找出所有的强连通分量，将每一个分量视作大节点，则原图变成了一张DAG。将每个分量中的节点个数作为节点权值，题目便转化为了在DAG中找一条有最大权值和的路径，可以DP解决。代码如下：# include# include... 阅读全文
摘要：
题目大意：有n个命题，已知其中的m个推导，要证明n个命题全部等价（等价具有传递性），最少还需要做出几次推导。题目分析：由已知的推导可以建一张无向图，则问题变成了最少需要增加几条边能使图变成强连通图。找出所有的强连通分量，将每一个连通分量视作一个大节点，则整张图变成了一张DAG。设出度为0的大节点个数... 阅读全文
摘要：
题目分析：在一张无向图中，将一些点涂上黑色，使得删掉图中任何一个点时，每个连通分量至少有一个黑点。问最少能涂几个黑点，并且在涂最少的情况下有几种方案。题目分析：显然，一定不能涂割点。对于每一个连通分量，如果有1个割点，则必须涂上分量内除割点之外的任意一个点，如果有多个（2个及以上）割点，则这个分量不... 阅读全文