[理工] 离散 尤拉回路证明

楼主: 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