摘要： 题意： 给一张有向图G，求一个结点数最大的结点集，使得该结点中任意两个结点 u 和 v满足：要么 u 可以到达 v， 要么 v 可以到达 u（u 和 v 相互可达也可以）。 分析： Tarjan求SCC缩点，SCC的节点数为新点点权，然后求DAG上权最大的的路径。 代码如下： 2016-03-17  阅读全文

摘要： 题意： 给出N个命题，要求你证明这N个命题的等价性 比如有4个命题a,b,c,d，我们证明a<->b, b<->c,c<->d，每次证明都是双向的，因此一共用了6次推导 如果换成证明a->b,b->c,c->d,d->a,每次证明都是单向的，而只需4次就可以证明所有命题的等价性 现在给出M个命题证明 阅读全文

摘要： 题目: 题意： 给了一个联通无向图，现在问去掉某个点，会让图变成几个联通块? 输出的按分出的从多到小，若相等，输出标号从小到大。输出M个。 分析： BCC求割点后联通块数量，Tarjan算法。 联通块的数目在找到一个low[y]>=dfn[x]时累加，最后加一即可。 代码如下： 2016-03-17 阅读全文