[理工] 离散图论6-1台大证明 st945732 PTT批踢踢实业坊

楼主: st945732 (A7777J) 2018-04-14 15:24:24

http://i.imgur.com/E98TdLk.jpg
想请问各位大大，
为什么倒数第二行这样就算产生矛盾呢？？
不太懂这解答的想法..

作者: jojojen (JJJ) 2018-04-14 19:08:00

我觉得这看起来像反证法https://i.imgur.com/OSa3NIX.jpg

作者: ILYY (毅力) 2018-04-15 00:41:00

矛盾证法的好处是P也可以拿来用所以disconnected下di+dj<=n-2与P:di+dj>=n-1矛盾应该矛盾的好处是除了P以外可以拿其他的的东西来矛盾除了P以外还可以拿其他东西来矛盾少个字意思差很多XD不过这题刚好反证也是很像会跟j大一样记得改成只取某两点就好

作者: jojojen (JJJ) 2018-04-15 11:28:00

https://i.imgur.com/GmCpcup.jpg这题我也不知怎套矛盾证法的逻辑

作者: ILYY (毅力) 2018-04-15 12:31:00

一样把前面设为真后面设P is False套入前面结果为false与"前面设为真"矛盾不过这题我会直接画真值表XD如果有小黄的线代可以看课本0.2章有说明证明方法看他举的例子应该就懂了

作者: jojojen (JJJ) 2018-04-15 14:55:00

了不过这样解答前面应该加个设di+dj>=n-1为真比较清楚

继续阅读