[理工] 離散 尤拉迴路證明

作者: ThereisBear (BearnoB)   2019-11-08 15:08:03
https://imgur.com/a/vK2kVxy
想請教版上大大,為什麼這個證明用數學歸納法,其中只需要證明 n = 1 和 n = 2 的
作者: realmanKG (各位觀眾,五支菸)   2019-11-08 16:15:00
死圖,無法解答QQ
作者: Ricestone (麥飯石)   2019-11-08 16:27:00
他把/a/直接改成/gallery/了
作者: mi981027 (呱呱竹)   2019-11-08 20:55:00
沒有只證1, 2啊 這是強數學歸納法第三行假設<m都成立,去推導=m也成立
作者: realmanKG (各位觀眾,五支菸)   2019-11-08 21:39:00
推樓上正解
作者: mi981027 (呱呱竹)   2019-11-09 02:05:00
想想原po應該是想問為什麼初始條件只要證1, 2?這其實沒有一定的準則 強數學歸納法在歸納假設時一次假設所有小於m的情況都成立,這個假設很強,讓推導 =m 的情況時好推很多卻可能有一個問題是雖然1成立了,1 -> 2卻不成立因為我們是一次假設所有小於的情況都成立,沒有保證到這種骨牌效應一定存在實際上要證幾個初始條件,要看需要證幾個才能讓這種骨牌效應連動以這題來說,1只能說明自己連自己(loop)的情況,需要證到2才會有跟別人連的情況,才能一路推導到m,大概是這樣
作者: b10007034 (Warren)   2019-11-09 09:54:00
https://i.imgur.com/9IPFlb9.png我其實我也有點困惑,推到n=3時我覺得黃色框框由前面1跟2推不出來,我觀念有錯嗎?
作者: mi981027 (呱呱竹)   2019-11-09 12:11:00
歸納時有說明 會先在G任取一個circuit C這種情況是C已經是Euler Circuit了 不需要靠歸納假設證另外你下面那個圖不算n=3的case 因為deg要求全是偶數
作者: b10007034 (Warren)   2019-11-09 12:33:00
每個點的deg都是偶數吧?更正,黃色框框的都是偶數吧?
作者: mi981027 (呱呱竹)   2019-11-09 12:41:00
下面那個
作者: b10007034 (Warren)   2019-11-09 12:56:00
懂你意思了,除了一跟二的其他case之外都會被這個algo.找到Euler circuit謝謝

Links booklink

Contact Us: admin [ a t ] ucptt.com