推 nnf:某長輩明明就是故意發這種文引發爭議 卻也真的給他達成目的了 07/06 21:00
推 ddavid:黑白棋、五子棋都是被窮舉搞定的棋類,深藍也是靠計算能力 07/06 22:11
→ ddavid:硬幹棋王,象棋也靠大量的開局殘局資料庫及線上棋局資料庫 07/06 22:12
→ ddavid:來達到減少計算量啊。 07/06 22:12
→ ddavid:沒錯,現今電腦的計算能力還是不足以算完圍棋,所以確實不 07/06 22:13
→ ddavid:得不「嘗試」導入人類的各種思考觀念。勢、連接能力(一位 07/06 22:14
→ ddavid:學長的論文就做圍棋連接性的概念)等等。但是你需要知道一 07/06 22:15
→ ddavid:點很重要的事:其實教會電腦這些概念往往比直接嘗試提高計 07/06 22:15
→ ddavid:算力還困難XD 07/06 22:15
→ ddavid:至於你前文中有謬誤或不足之處,其他人提出修正或補充本來 07/06 22:23
→ ddavid:就很合理,更何況你的謬誤還是這種句子:「如果你的程式只 07/06 22:23
→ ddavid:能建立在窮舉的基礎上,的確做不出什麼好東西」 07/06 22:24
→ ddavid:「如果是把重點放在"變化量"上的設計者,我敢說出產的永遠 07/06 22:25
→ ddavid:都是一個爛作品。」 07/06 22:25
→ ddavid:你自己這篇還說「到底誰才是真理,誰也沒把握。」然而你卻 07/06 22:28
→ ddavid:能用這種武斷的字句去批評,那如果你是了解很深入講得很對 07/06 22:30
→ ddavid:是真理那也就罷了(雖然就跟你自己這篇那句矛盾了),要是 07/06 22:31
→ ddavid:講得有錯有不足,那被更了解的人「補充」也是很合理的事。 07/06 22:32
推 fatbird:五子棋並沒有被窮舉搞定 至少在比賽規則上來說... 07/06 22:44
推 kohttp:五子棋不斷的新增修改奇怪規則,就是因為被搞定再修改... 07/06 22:53
推 ddavid:其實正式的幾套比賽規則,不管是禁手、限制開局、交換或五 07/06 22:54
→ ddavid:手兩打等等規則都只是限制讓黑方無法完全下出最強著手而達 07/06 22:55
→ ddavid:成必勝,事實上這只是更縮小了搜尋空間,仍然沒有脫出被窮 07/06 22:56
→ ddavid:舉完的tree。而我前文有提到,五子棋做了這些限制後造成的 07/06 22:56
→ ddavid:結果是和局變多了,為什麼?因為必勝的Path都被拿掉了,所 07/06 22:57
→ ddavid:以雙方只要不失誤走出被限制後的最佳著手就會往和局走。 07/06 22:58
→ ddavid:那為什麼被窮舉完的一個遊戲還能拿來人類比賽?很簡單,因 07/06 22:59
→ ddavid:為雖然電腦窮舉完了,但人類不可能背起來所有下法,所以還 07/06 22:59
→ ddavid:是會下錯而造成勝負的出現。當你用兩部已經有著窮舉完成資 07/06 23:00
→ ddavid:料庫的電腦,採用限制規則來下時只會有兩種可能:1.還是有 07/06 23:01
→ ddavid:輸贏,這代表該套限制不夠,某一方還是有必勝著手。2.怎麼 07/06 23:02
推 fatbird:五子棋變化量跟圍棋差很多 的確很可能被窮舉沒錯 07/06 23:02
→ ddavid:下都和局,這代表該套限制真的很完美地把必勝著手都擋下了 07/06 23:02
→ fatbird:只是可能挑戰性不足 沒有聽說有什麼電腦軟體已經或是正在 07/06 23:03
→ fatbird:努力破解五子棋 XD 07/06 23:03
推 ddavid:我再詳細的確認了一下,五子棋是在1993年被Louis Victor 07/06 23:10
→ ddavid:Allis以程式窮舉在無限制規則下找出了先手的最佳著手規則, 07/06 23:12
→ ddavid:能保證先手不敗(意思是後手若應出最佳著手,其實還是可能 07/06 23:12
→ ddavid:逼和)。但應該並非真的把整棵對局樹算完存下來成資料庫了 07/06 23:13
→ ddavid:,所以事實上算是理論上的破解而非徹底窮舉完成,這樣我應 07/06 23:15
→ ddavid:該修正一下內容。因為窮舉對局數不存在,那用cut處理直接適 07/06 23:15
→ ddavid:應限制規則的手法當然也就還不存在。 07/06 23:16
推 fatbird:無限制規則的情況下後手怎麼可能逼和?這是那位博士的結論? 07/06 23:17
→ ddavid:所以現行國際賽事棋規下的五子棋可以說是還沒有破解沒錯, 07/06 23:18
→ ddavid:為之前這部分的謬誤向各位抱歉。被破解的只有原始五子棋。 07/06 23:19
→ ddavid:應該這樣講,他設計的程式可以用一套規則,黑子下起來一定 07/06 23:19
→ ddavid:至少不輸。但是很明顯地這套規則是利用一些數學論證輔助的 07/06 23:21
→ ddavid:,並非走出最佳著手而只是確定不敗而已。 07/06 23:21
→ ddavid:所以這以可以看出他並沒有真正硬窮舉完,因為真的窮舉完應 07/06 23:22
→ ddavid:該只會得到某方必勝或必和兩類結果之一。 07/06 23:22
→ ddavid:我猜他是做一定量的分割窮舉,中間輔以某些嚴謹證明來確保 07/06 23:24
推 fatbird:謝謝 了解:) 那看來他的程式還比黑石弱的多了 XD 07/06 23:24
→ ddavid:在任何情況下都是對的,整理成一套不輸著手規則這樣。 07/06 23:24
→ ddavid:黑石畢竟是針對了三手交換、五手兩打且有禁手等等的規則下 07/06 23:26
→ ddavid:去設計的,不過黑石的設計理念還是窮舉法XD 07/06 23:27
→ ddavid:而且黑石目前仍然有弱點,它在一次五子棋程式比賽的解題組 07/06 23:29
→ ddavid:中被另一個程式Renju Solver以大比分擊敗XD 07/06 23:29
推 kohttp:回原PO,從最後一段文字明顯你尚未看完別人的回文及推文 07/06 23:41
→ kohttp:因為在dd大之前詳細的解釋後只有你還把不同的東西搞在一起 07/06 23:41
→ kohttp:另外從5577,80二篇我只看到一個沒有基本知識就引用錯誤例子 07/06 23:45
→ kohttp:在酸人的人,不可能讓你理直氣壯的誤導板眾 07/06 23:46
推 kohttp:不管你程式九段的朋友是誰,你對近幾年的AI觀念完全錯誤 07/06 23:49
推 librevie:老實說,看原po的文章,真的會讓人覺得傲慢,感到不快.. 07/07 10:20
→ librevie:無冒犯之意,但竊以為沒有這種必要..只是討論問題嘛~ 07/07 10:21
→ dogswang:請問ddavid, 黑白棋是被窮舉完了嗎??請問結果是?? 07/08 13:29
推 aoc229001:非常同意librevie... 07/11 06:32