随笔分类 -  图论-强联通SCC

摘要：1051: [HAOI2006]受欢迎的牛 Description 每一头牛的愿望就是变成一头最受欢迎的牛。现在有N头牛，给你M对整数(A,B)，表示牛A认为牛B受欢迎。 这 种关系是具有传递性的，如果A认为B受欢迎，B认为C受欢迎，那么牛A也认为牛C受欢迎。你的任务是求出有多少头 牛被所有的牛认为 阅读全文

摘要：题意： 给一张有向图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个命题证明 阅读全文