[理工] 離散 圖論6-1台大證明

看板Grad-ProbAsk作者 (A7777J)時間6年前 (2018/04/14 15:24), 編輯推噓8(808)
留言16則, 2人參與, 6年前最新討論串1/1
http://i.imgur.com/E98TdLk.jpg
想請問各位大大, 為什麼倒數第二行這樣就算產生矛盾呢?? 不太懂這解答的想法.. ----- Sent from JPTT on my Samsung SM-G950F. -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.200.41.53 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1523690667.A.731.html

04/14 19:08, 6年前 , 1F
我覺得這看起來像反證法
04/14 19:08, 1F

04/14 19:08, 6年前 , 2F

04/15 00:41, 6年前 , 3F
矛盾證法的好處是P也可以拿來用
04/15 00:41, 3F

04/15 00:45, 6年前 , 4F
所以disconnected下di+dj<=n-2與P:di+dj>=n-1矛盾
04/15 00:45, 4F

04/15 00:47, 6年前 , 5F
應該矛盾的好處是除了P以外可以拿其他的的東西來矛盾
04/15 00:47, 5F

04/15 00:48, 6年前 , 6F
除了P以外還可以拿其他東西來矛盾 少個字意思差很多XD
04/15 00:48, 6F

04/15 00:55, 6年前 , 7F
不過這題剛好反證也是很像
04/15 00:55, 7F

04/15 00:58, 6年前 , 8F
會跟j大一樣 記得改成只取某兩點就好
04/15 00:58, 8F

04/15 11:28, 6年前 , 9F

04/15 11:28, 6年前 , 10F
這題我也不知怎套矛盾證法的邏輯
04/15 11:28, 10F

04/15 12:31, 6年前 , 11F
一樣把前面設為真 後面設P is False
04/15 12:31, 11F

04/15 12:34, 6年前 , 12F
套入前面結果為false與"前面設為真"矛盾
04/15 12:34, 12F

04/15 12:34, 6年前 , 13F
不過這題我會直接畫真值表XD
04/15 12:34, 13F

04/15 12:47, 6年前 , 14F
如果有小黃的線代可以看課本0.2章有說明證明方法
04/15 12:47, 14F

04/15 12:47, 6年前 , 15F
看他舉的例子應該就懂了
04/15 12:47, 15F

04/15 14:55, 6年前 , 16F
了 不過這樣解答前面應該加個設di+dj>=n-1為真比較清楚
04/15 14:55, 16F
文章代碼(AID): #1QqQohSn (Grad-ProbAsk)