2016年6月25日
LA4287--tarjan
摘要： 题目大意： 在数学中，我们常常需要完成若干个命题的等价性证明。比如，有4个命题a,b,c,d，我们证明a↔b,然后b↔c，最后c↔d。注意每次证明都是双向的，因此一共完成了6次推导。另一种方法是a→b，然后b→c，接着c→d，最后d→a，只需4次。现在你的任务是证明n个命题全部等价，且你的朋友已经为 阅读全文
posted @ 2016-06-25 12:19 gjghfd 阅读(448) 评论(0) 推荐(1) 编辑