AC_Dreameng

.Ancient CipherTime Limit: 3000MS Memory Limit: Unknown 64bit IO Format: %lld & %lluSubmit StatusDescription题意:给;两个长度相同的字符串,判断他们之间的26个字母是否

Tian Ji -- The Horse RacingTime Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)Total Submission(s): 25009    Accepted Submission(s): 7289Problem Description

题目链接(Virtual Judge):http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=33603https://icpcarchive.ecs.baylor.edu/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=890

题意：　　给出N个命题，要求你证明这N个命题的等价性　　比如有4个命题a,b,c,d，我们证明a<->b, b<->c,c<->d，每次证明都是双向的，因此一共用了6次推导 如果换成证明a->b,b->c,c->d,d->a,每次证明都是单向的，而只需4次就可以证明所有命题的等价性 现在给出M个命题证明，问还需要证明几个，才可以保证N个命题等价。分析：　　缩点后求DAG中入度为0和出度为0的联通块的较大值。此题在刘汝佳《算法竞赛入门经典训练指南》P322此题和POJ1236差不多