PTT
Submit
Submit
选择语言
正體中文
简体中文
PTT
Grad-ProbAsk
[理工] Hamiltonian path
楼主:
angel861047
(FB不放大头贴的神经质人)
2017-02-25 21:59:30
https://i.imgur.com/gfajoIg.png
https://i.imgur.com/cnGzOjL.png
大家好,想请问一下为何这个证明的倒数第二行
d1 + d2 <= n-2就说是矛盾啊?
如果要和题目的叙述相反来证明矛盾,范围不是包含在 d1 + d2 < n-1 就可以了吗
这题放放放到忘记问了,先谢谢大家看完问题!
祝大家金榜题名!
作者:
h42318
(五两三)
2017-02-25 22:16:00
<n-1就是<=n-2
楼主:
angel861047
(FB不放大头贴的神经质人)
2017-02-26 00:01:00
可是这样不就没有矛盾了吗0.0......
作者:
lwlt1995
(seyaku)
2017-02-26 00:07:00
>=n -1才有Hamilton path
楼主:
angel861047
(FB不放大头贴的神经质人)
2017-02-26 00:13:00
可是我们一开始不是假设two components了吗,这样本来就不会有 haimiltonian path吧,这样<=n-2也合理啊
作者:
h42318
(五两三)
2017-02-26 00:45:00
这里说的矛盾是说跟>=n-1矛盾而不是跟<=n-2矛盾
作者: Gabino (YenC)
2017-02-28 12:19:00
原命题等价于否逆命题证出了否逆命题 就证明了原命题
楼主:
angel861047
(FB不放大头贴的神经质人)
2017-03-01 14:17:00
寄信询问h大和g大后,大概了了,这算是另一种证明方式,而不是矛盾证法。谢谢大家回复!
继续阅读
[理工] [离散]生成函数-关于加法
shownlin
[理工] [离散]生成函数-97元智资工
shownlin
黄子嘉 线代-子空间
ddd23236
[理工] 105 北科资工 计概&程设
jcyz
[理工] 103 清大计科 集合
jerry900287
[理工] 电子学 怎么知道何时求极&零
freeblizzard
[理工] 104交大离散
DZASHIANG
[理工]清大102计科
h9638512
Re: [理工] 计组 branch stall的位置
Transfat
[理工] 计组 snooping protocol
hopward
Links
booklink
Contact Us: admin [ a t ] ucptt.com