<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
		>
<channel>
	<title>Comments on: 旅行中的商人與負世界</title>
	<atom:link href="http://mmdays.com/2007/10/05/travelling_salesman/feed/" rel="self" type="application/rss+xml" />
	<link>http://mmdays.com/2007/10/05/travelling_salesman/</link>
	<description>網路, 產業, 資訊, 觀察, 生活, 電影, 技術, 新知, 科技, 媒體, 趨勢, Web 2.0</description>
	<lastBuildDate>Thu, 09 Feb 2012 18:32:00 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0.1</generator>
	<item>
		<title>By: &#187; MMDays - Mr. Thursday - 二元樹在排序的應用</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-15960</link>
		<dc:creator>&#187; MMDays - Mr. Thursday - 二元樹在排序的應用</dc:creator>
		<pubDate>Sat, 15 Mar 2008 17:06:13 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-15960</guid>
		<description>[...] 旅行中的商人與負世界 [...]</description>
		<content:encoded><![CDATA[<p>[...] 旅行中的商人與負世界 [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Mr. Thursday</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-13178</link>
		<dc:creator>Mr. Thursday</dc:creator>
		<pubDate>Mon, 08 Oct 2007 16:16:19 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-13178</guid>
		<description>非常感謝morrison的補充
希望之後如果我在分享相關題目的時候
除了計算理論課本以外...也可以先參考演算法課本...
把一些詳細內容 或是可能錯誤的地方在研讀清楚一些
最近有空我也會去翻翻演算法課本!
先謝謝您寶貴的comment!
也同時謝謝Mr. Monday的鼓勵!</description>
		<content:encoded><![CDATA[<p>非常感謝morrison的補充<br />
希望之後如果我在分享相關題目的時候<br />
除了計算理論課本以外&#8230;也可以先參考演算法課本&#8230;<br />
把一些詳細內容 或是可能錯誤的地方在研讀清楚一些<br />
最近有空我也會去翻翻演算法課本!<br />
先謝謝您寶貴的comment!<br />
也同時謝謝Mr. Monday的鼓勵!</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Mr. Thursday</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-83334</link>
		<dc:creator>Mr. Thursday</dc:creator>
		<pubDate>Mon, 08 Oct 2007 16:16:00 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-83334</guid>
		<description>非常感謝morrison的補充
希望之後如果我在分享相關題目的時候
除了計算理論課本以外...也可以先參考演算法課本...
把一些詳細內容 或是可能錯誤的地方在研讀清楚一些
最近有空我也會去翻翻演算法課本!
先謝謝您寶貴的comment!
也同時謝謝Mr. Monday的鼓勵!</description>
		<content:encoded><![CDATA[<p>非常感謝morrison的補充<br />
希望之後如果我在分享相關題目的時候<br />
除了計算理論課本以外&#8230;也可以先參考演算法課本&#8230;<br />
把一些詳細內容 或是可能錯誤的地方在研讀清楚一些<br />
最近有空我也會去翻翻演算法課本!<br />
先謝謝您寶貴的comment!<br />
也同時謝謝Mr. Monday的鼓勵!</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: morrison</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-13179</link>
		<dc:creator>morrison</dc:creator>
		<pubDate>Sun, 07 Oct 2007 18:30:10 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-13179</guid>
		<description>嗯，關於這篇文章的一些地方，我有些意見分享一下。

第一點，NP-hard問題的難度「至少」和NP-complete是一樣的，換句話說，NP-hard至少跟NP-complete一樣難，而且在許多情況下NP-hard「更難」。所有的NP問題(包含NP-complete問題)都可以化約成NP-hard問題。所以文中所說『NP-hard是指某個問題可以化約成另外一個NP-complete的問題，就是NP-hard了。』剛好是相反的。

第二點，這篇文章所描述的TSP問題，有一個很重要的關鍵：「用最少的旅費」。這種TSP問題，可以在決定任何一條路徑之後，很快得知該路徑的旅費，但是卻要把所有的路徑都試完才能得知是否是「最少」。這個問題其實是一個NP-hard問題，而不是NP-complete問題。

第三點，文中的「化約關係的樹」圖，看起來很像Intro. to Algorithms書中的圖，不過有些差異。書中的「SUBSET-SUM」是接在「VERTEX-COVER」下面，而「HAM-CYCLE」則是接在「3-CNF-SAT」之下。實際上Hamilton-Cycle也的確不適用於化約成Vertex-Cover或是Clique，這兩類的問題定義上有較大的差別。

第四點，因為這張「化約關係的樹」圖的根是「CNF-SAT」，所以可以推知此圖是描述最後化約為NP-complete的化約關係。那麼這張圖上的TSP，應該可以化約為最原始的SAT，也就是NP-complete才對。關鍵在於，這張圖上的TSP問題與本文中描述的TSP問題是不太相同的。此圖的TSP問題，是一個「decision problem」，有一個重要的條件「不超過一個事先給定的旅費數目」，只要決定任何一條路徑，都可以很快做出「decision」是否「不超過特定值」，不需要把所有的路徑都試完才知道答案。所以圖中的TSP問題，是一個NP-Complete問題。另外補充，Hamilton-Cycle的一個特徵則是「每個城市間的旅費是相同的」，這個特性在決定「是否為最少旅費」時有關鍵性的作用。</description>
		<content:encoded><![CDATA[<p>嗯，關於這篇文章的一些地方，我有些意見分享一下。</p>
<p>第一點，NP-hard問題的難度「至少」和NP-complete是一樣的，換句話說，NP-hard至少跟NP-complete一樣難，而且在許多情況下NP-hard「更難」。所有的NP問題(包含NP-complete問題)都可以化約成NP-hard問題。所以文中所說『NP-hard是指某個問題可以化約成另外一個NP-complete的問題，就是NP-hard了。』剛好是相反的。</p>
<p>第二點，這篇文章所描述的TSP問題，有一個很重要的關鍵：「用最少的旅費」。這種TSP問題，可以在決定任何一條路徑之後，很快得知該路徑的旅費，但是卻要把所有的路徑都試完才能得知是否是「最少」。這個問題其實是一個NP-hard問題，而不是NP-complete問題。</p>
<p>第三點，文中的「化約關係的樹」圖，看起來很像Intro. to Algorithms書中的圖，不過有些差異。書中的「SUBSET-SUM」是接在「VERTEX-COVER」下面，而「HAM-CYCLE」則是接在「3-CNF-SAT」之下。實際上Hamilton-Cycle也的確不適用於化約成Vertex-Cover或是Clique，這兩類的問題定義上有較大的差別。</p>
<p>第四點，因為這張「化約關係的樹」圖的根是「CNF-SAT」，所以可以推知此圖是描述最後化約為NP-complete的化約關係。那麼這張圖上的TSP，應該可以化約為最原始的SAT，也就是NP-complete才對。關鍵在於，這張圖上的TSP問題與本文中描述的TSP問題是不太相同的。此圖的TSP問題，是一個「decision problem」，有一個重要的條件「不超過一個事先給定的旅費數目」，只要決定任何一條路徑，都可以很快做出「decision」是否「不超過特定值」，不需要把所有的路徑都試完才知道答案。所以圖中的TSP問題，是一個NP-Complete問題。另外補充，Hamilton-Cycle的一個特徵則是「每個城市間的旅費是相同的」，這個特性在決定「是否為最少旅費」時有關鍵性的作用。</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: morrison</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-83335</link>
		<dc:creator>morrison</dc:creator>
		<pubDate>Sun, 07 Oct 2007 18:30:00 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-83335</guid>
		<description>嗯，關於這篇文章的一些地方，我有些意見分享一下。

第一點，NP-hard問題的難度「至少」和NP-complete是一樣的，換句話說，NP-hard至少跟NP-complete一樣難，而且在許多情況下NP-hard「更難」。所有的NP問題(包含NP-complete問題)都可以化約成NP-hard問題。所以文中所說『NP-hard是指某個問題可以化約成另外一個NP-complete的問題，就是NP-hard了。』剛好是相反的。

第二點，這篇文章所描述的TSP問題，有一個很重要的關鍵：「用最少的旅費」。這種TSP問題，可以在決定任何一條路徑之後，很快得知該路徑的旅費，但是卻要把所有的路徑都試完才能得知是否是「最少」。這個問題其實是一個NP-hard問題，而不是NP-complete問題。

第三點，文中的「化約關係的樹」圖，看起來很像Intro. to Algorithms書中的圖，不過有些差異。書中的「SUBSET-SUM」是接在「VERTEX-COVER」下面，而「HAM-CYCLE」則是接在「3-CNF-SAT」之下。實際上Hamilton-Cycle也的確不適用於化約成Vertex-Cover或是Clique，這兩類的問題定義上有較大的差別。

第四點，因為這張「化約關係的樹」圖的根是「CNF-SAT」，所以可以推知此圖是描述最後化約為NP-complete的化約關係。那麼這張圖上的TSP，應該可以化約為最原始的SAT，也就是NP-complete才對。關鍵在於，這張圖上的TSP問題與本文中描述的TSP問題是不太相同的。此圖的TSP問題，是一個「decision problem」，有一個重要的條件「不超過一個事先給定的旅費數目」，只要決定任何一條路徑，都可以很快做出「decision」是否「不超過特定值」，不需要把所有的路徑都試完才知道答案。所以圖中的TSP問題，是一個NP-Complete問題。另外補充，Hamilton-Cycle的一個特徵則是「每個城市間的旅費是相同的」，這個特性在決定「是否為最少旅費」時有關鍵性的作用。</description>
		<content:encoded><![CDATA[<p>嗯，關於這篇文章的一些地方，我有些意見分享一下。</p>
<p>第一點，NP-hard問題的難度「至少」和NP-complete是一樣的，換句話說，NP-hard至少跟NP-complete一樣難，而且在許多情況下NP-hard「更難」。所有的NP問題(包含NP-complete問題)都可以化約成NP-hard問題。所以文中所說『NP-hard是指某個問題可以化約成另外一個NP-complete的問題，就是NP-hard了。』剛好是相反的。</p>
<p>第二點，這篇文章所描述的TSP問題，有一個很重要的關鍵：「用最少的旅費」。這種TSP問題，可以在決定任何一條路徑之後，很快得知該路徑的旅費，但是卻要把所有的路徑都試完才能得知是否是「最少」。這個問題其實是一個NP-hard問題，而不是NP-complete問題。</p>
<p>第三點，文中的「化約關係的樹」圖，看起來很像Intro. to Algorithms書中的圖，不過有些差異。書中的「SUBSET-SUM」是接在「VERTEX-COVER」下面，而「HAM-CYCLE」則是接在「3-CNF-SAT」之下。實際上Hamilton-Cycle也的確不適用於化約成Vertex-Cover或是Clique，這兩類的問題定義上有較大的差別。</p>
<p>第四點，因為這張「化約關係的樹」圖的根是「CNF-SAT」，所以可以推知此圖是描述最後化約為NP-complete的化約關係。那麼這張圖上的TSP，應該可以化約為最原始的SAT，也就是NP-complete才對。關鍵在於，這張圖上的TSP問題與本文中描述的TSP問題是不太相同的。此圖的TSP問題，是一個「decision problem」，有一個重要的條件「不超過一個事先給定的旅費數目」，只要決定任何一條路徑，都可以很快做出「decision」是否「不超過特定值」，不需要把所有的路徑都試完才知道答案。所以圖中的TSP問題，是一個NP-Complete問題。另外補充，Hamilton-Cycle的一個特徵則是「每個城市間的旅費是相同的」，這個特性在決定「是否為最少旅費」時有關鍵性的作用。</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Mr. Monday</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-13172</link>
		<dc:creator>Mr. Monday</dc:creator>
		<pubDate>Fri, 05 Oct 2007 17:16:46 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-13172</guid>
		<description>感謝 Mr. Thursday 的詳細介紹，我彷彿又回到了大學的課堂中:)</description>
		<content:encoded><![CDATA[<p>感謝 Mr. Thursday 的詳細介紹，我彷彿又回到了大學的課堂中:)</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Mr. Monday</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-83328</link>
		<dc:creator>Mr. Monday</dc:creator>
		<pubDate>Fri, 05 Oct 2007 17:16:00 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-83328</guid>
		<description>感謝 Mr. Thursday 的詳細介紹，我彷彿又回到了大學的課堂中:)</description>
		<content:encoded><![CDATA[<p>感謝 Mr. Thursday 的詳細介紹，我彷彿又回到了大學的課堂中:)</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Mr. Thursday</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-13173</link>
		<dc:creator>Mr. Thursday</dc:creator>
		<pubDate>Fri, 05 Oct 2007 13:13:52 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-13173</guid>
		<description>嗯...這一篇是從頭開始寫的...
以前上計算理論的時候大部分是交作業...比較少交報告囉...
-------------------------------------
不過用turing machine來估計演算法的時間複雜度
和NP是否等於P以及deterministic/non-deterministic
是有些差別...也許我還沒很清楚...也還沒辦法用白話文講出來...
只好在這邊先介紹一本課本
Michael Sipser, Introduction to the Theory of Computation
裡面的第7章有講到Turing Machine和Time Complexity的問題
主要是把時間複雜度也視為一種&quot;問題的CLASS&quot;,用TIME(t(n))來代表
-------------------------------------
我自己則是先把deterministic/non-deterministic對應到
deterministic/non-deterministic的finite state machine
然後我的想法是...non-deterministic要n個state的問題
在deterministic上面要有2^n個states
所以就可以對應到turing machine評估演算法時間複雜度的時候
deterministic/non-deterministic的差異
-------------------------------------
不過正確的定義還是參考課本裡面的描述比較好
不過因為課本的定義有的會參考前幾章的定義
全部寫出來或許也不大可能
就只好請有興趣繼續研究的讀者先翻閱參考書囉...
-------------------------------------
and...我是Mr. Thursday ^^;
-------------------------------------
negative information也滿有趣的
有空我也會再研究研究! 多謝補充!
附上google到的連結
http://www.damtp.cam.ac.uk/user/jono/negative-information.html</description>
		<content:encoded><![CDATA[<p>嗯&#8230;這一篇是從頭開始寫的&#8230;<br />
以前上計算理論的時候大部分是交作業&#8230;比較少交報告囉&#8230;<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
不過用turing machine來估計演算法的時間複雜度<br />
和NP是否等於P以及deterministic/non-deterministic<br />
是有些差別&#8230;也許我還沒很清楚&#8230;也還沒辦法用白話文講出來&#8230;<br />
只好在這邊先介紹一本課本<br />
Michael Sipser, Introduction to the Theory of Computation<br />
裡面的第7章有講到Turing Machine和Time Complexity的問題<br />
主要是把時間複雜度也視為一種&#8221;問題的CLASS&#8221;,用TIME(t(n))來代表<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
我自己則是先把deterministic/non-deterministic對應到<br />
deterministic/non-deterministic的finite state machine<br />
然後我的想法是&#8230;non-deterministic要n個state的問題<br />
在deterministic上面要有2^n個states<br />
所以就可以對應到turing machine評估演算法時間複雜度的時候<br />
deterministic/non-deterministic的差異<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
不過正確的定義還是參考課本裡面的描述比較好<br />
不過因為課本的定義有的會參考前幾章的定義<br />
全部寫出來或許也不大可能<br />
就只好請有興趣繼續研究的讀者先翻閱參考書囉&#8230;<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
and&#8230;我是Mr. Thursday ^^;<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
negative information也滿有趣的<br />
有空我也會再研究研究! 多謝補充!<br />
附上google到的連結<br />
<a href="http://www.damtp.cam.ac.uk/user/jono/negative-information.html" rel="nofollow">http://www.damtp.cam.ac.uk/user/jono/negative-information.html</a></p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Mr. Thursday</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-83329</link>
		<dc:creator>Mr. Thursday</dc:creator>
		<pubDate>Fri, 05 Oct 2007 13:13:00 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-83329</guid>
		<description>嗯...這一篇是從頭開始寫的...
以前上計算理論的時候大部分是交作業...比較少交報告囉...
-------------------------------------
不過用turing machine來估計演算法的時間複雜度
和NP是否等於P以及deterministic/non-deterministic
是有些差別...也許我還沒很清楚...也還沒辦法用白話文講出來...
只好在這邊先介紹一本課本
Michael Sipser, Introduction to the Theory of Computation
裡面的第7章有講到Turing Machine和Time Complexity的問題
主要是把時間複雜度也視為一種&quot;問題的CLASS&quot;,用TIME(t(n))來代表
-------------------------------------
我自己則是先把deterministic/non-deterministic對應到
deterministic/non-deterministic的finite state machine
然後我的想法是...non-deterministic要n個state的問題
在deterministic上面要有2^n個states
所以就可以對應到turing machine評估演算法時間複雜度的時候
deterministic/non-deterministic的差異
-------------------------------------
不過正確的定義還是參考課本裡面的描述比較好
不過因為課本的定義有的會參考前幾章的定義
全部寫出來或許也不大可能
就只好請有興趣繼續研究的讀者先翻閱參考書囉...
-------------------------------------
and...我是Mr. Thursday ^^;
-------------------------------------
negative information也滿有趣的
有空我也會再研究研究! 多謝補充!
附上google到的連結
http://www.damtp.cam.ac.uk/user/jono/negative-information.html</description>
		<content:encoded><![CDATA[<p>嗯&#8230;這一篇是從頭開始寫的&#8230;<br />
以前上計算理論的時候大部分是交作業&#8230;比較少交報告囉&#8230;<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
不過用turing machine來估計演算法的時間複雜度<br />
和NP是否等於P以及deterministic/non-deterministic<br />
是有些差別&#8230;也許我還沒很清楚&#8230;也還沒辦法用白話文講出來&#8230;<br />
只好在這邊先介紹一本課本<br />
Michael Sipser, Introduction to the Theory of Computation<br />
裡面的第7章有講到Turing Machine和Time Complexity的問題<br />
主要是把時間複雜度也視為一種&#8221;問題的CLASS&#8221;,用TIME(t(n))來代表<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
我自己則是先把deterministic/non-deterministic對應到<br />
deterministic/non-deterministic的finite state machine<br />
然後我的想法是&#8230;non-deterministic要n個state的問題<br />
在deterministic上面要有2^n個states<br />
所以就可以對應到turing machine評估演算法時間複雜度的時候<br />
deterministic/non-deterministic的差異<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
不過正確的定義還是參考課本裡面的描述比較好<br />
不過因為課本的定義有的會參考前幾章的定義<br />
全部寫出來或許也不大可能<br />
就只好請有興趣繼續研究的讀者先翻閱參考書囉&#8230;<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
and&#8230;我是Mr. Thursday ^^;<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
negative information也滿有趣的<br />
有空我也會再研究研究! 多謝補充!<br />
附上google到的連結<br />
<a href="http://www.damtp.cam.ac.uk/user/jono/negative-information.html" rel="nofollow">http://www.damtp.cam.ac.uk/user/jono/negative-information.html</a></p>
]]></content:encoded>
	</item>
	<item>
		<title>By: pyridine</title>
		<link>http://mmdays.com/2007/10/05/travelling_salesman/comment-page-1/#comment-13174</link>
		<dc:creator>pyridine</dc:creator>
		<pubDate>Fri, 05 Oct 2007 09:42:52 +0000</pubDate>
		<guid isPermaLink="false">http://mmdays.com/2007/10/05/travelling_salesman/#comment-13174</guid>
		<description>有一天我跟我的指導教授說我在雜誌上讀到一些物理學家把量子物理跟 information theory 結合, 結果發展出了 negative information 的概念. 他說: &quot;這我能體會. 我每次教課, 學生越聽越迷糊. 等到學期結束, 他們反而懂得比原來少.&quot;</description>
		<content:encoded><![CDATA[<p>有一天我跟我的指導教授說我在雜誌上讀到一些物理學家把量子物理跟 information theory 結合, 結果發展出了 negative information 的概念. 他說: &#8220;這我能體會. 我每次教課, 學生越聽越迷糊. 等到學期結束, 他們反而懂得比原來少.&#8221;</p>
]]></content:encoded>
	</item>
</channel>
</rss>

