Re: [討論] 深度學習未來軟體可否寫軟體

看板Soft_Job作者 (http://0rz.tw/301tk )時間8年前 (2016/05/29 22:30), 編輯推噓13(13推 0噓 50→)
留言63則, 12人參與, 最新討論串3/3 (看更多)
※ 引述《ripple0129 (perry tsai)》之銘言： : 深度學習透過讓機器大量的參與可以擁有歸納規則的能力， : 設計模式中也只是透過大量遇到code常見的問題所歸納產生的解決方法。 : 換而言之，讓軟體大量觀察程式碼或許未來真的可以靠機器自己寫軟體？ 43 最近在研究深度學習 有去上了一天搞懂深度學習 https://www.youtube.com/watch?v=ZrEsLwCjdxY
原本以為machine learning是很神的東西 上完之後，發現也沒多神 不只沒多神，還有許多困難要突破 後來我跟我弟（machine learning的博士）聊了一下天 才知道原來所謂deep learning算是這幾年比較新興的一個方法 回歸原本問題：或許未來真的可以靠機器自己寫軟體？ 的確有可能，但在目前deep learning也只能從圍棋上證明是有機會超越人腦 而且需要一個很好的演算法及好的資料以及大量機器 要到能夠取代工程師，我看還要很久 可能到NP-complete都解出來了的時候～ML都不見得能取代工程師(一樣都是演算法的問題) -- http://blog.xuite.net/tbpfs1/1 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 59.125.120.131 ※ 文章網址: https://www.ptt.cc/bbs/Soft_Job/M.1464532223.A.4E9.html
→
05/29 22:52, , 1F
一天就懂了 超神
05/29 22:52, 1F
推
05/29 23:02, , 2F
本來就沒新東西，通常都是換個名稱再出發
05/29 23:02, 2F
推
05/29 23:41, , 3F
現在ML只是歸納跟try error 距離生物的學習還有一道本質
05/29 23:41, 3F
→
05/29 23:42, , 4F
上不同的牆 生物會為了得到獎勵或者為了滿足自身需求去
05/29 23:42, 4F
→
05/29 23:42, , 5F
做出一些行為 而這些行為不需要被定義scope 所以才有了
05/29 23:42, 5F
→
05/29 23:42, , 6F
創意 創造力
05/29 23:42, 6F
推
05/30 00:21, , 7F
其實真的做到無定義下就能產code才是可怕的地方，或許
05/30 00:21, 7F
→
05/30 00:21, , 8F
還是必須規範在定義出需求才能產code比較妥當。
05/30 00:21, 8F
推
05/30 00:22, , 9F
去年的pointer network可解決簡單的售貨員問題(NP-Hard)
05/30 00:22, 9F
→
05/30 00:23, , 10F
跟本不需產出code啊…直接給結果就好
05/30 00:23, 10F
→
05/30 04:06, , 11F
簡單解決是指?若TSP 可以非指數時間被解出,表示NP=P
05/30 04:06, 11F
→
05/30 04:07, , 12F
但這等大事沒新聞, 就表示??
05/30 04:07, 12F
推
05/30 07:11, , 13F
碼農的新聞年代之類的應該不屑看吧，或許不知道哪邊
05/30 07:11, 13F
→
05/30 07:11, , 14F
的有
05/30 07:11, 14F
→
05/30 08:47, , 15F
將NP=P這等大事當小事看，就真的是只有碼農了。
05/30 08:47, 15F
推
05/30 15:03, , 16F
"簡單"指的是在點<50時比某些近似演算法來得強
05/30 15:03, 16F
→
05/30 15:04, , 17F
另外P?=NP只有理論上有那麼一點點價值，算不上什麼大事
05/30 15:04, 17F
推
05/30 15:06, , 18F
把這個當重要指標才是死讀書的碼農
05/30 15:06, 18F
→
05/30 15:28, , 19F
碼農的點果然是不同凡響。
05/30 15:28, 19F
推
05/30 15:37, , 20F
噗 我把論文的標題都告訴你了，還在拿神龕亂噴
05/30 15:37, 20F
→
05/30 15:38, , 21F
在書上看到這np這幾個難字就以為是cs最重要的事了？
05/30 15:38, 21F
→
05/30 15:51, , 22F
一步步走 每個點都突破後會有新的點要突破.取代到負責創造
05/30 15:51, 22F
→
05/30 15:52, , 23F
的工程師? 這不知道要幾千年的演化了吧 =_=
05/30 15:52, 23F
→
05/30 17:26, , 24F
CS什麼都不重要，你的"簡單"最重要囉。
05/30 17:26, 24F
→
05/30 17:39, , 25F
書呆子以管窺天. nn 都能解掉比 np-hard 更難的圖形辨認
05/30 17:39, 25F
→
05/30 17:40, , 26F
和語音辨認了, 模擬個 np-hard 算什麼大事
05/30 17:40, 26F
→
05/30 17:42, , 27F
重點在於現在 nn "似乎"可以計算離散的邏輯問題, 而不是
05/30 17:42, 27F
→
05/30 17:43, , 28F
要證明或否證那個虛無飄渺的理論問題
05/30 17:43, 28F
推
05/30 20:34, , 29F
假設 P=NP 而且解 NPC 問題的複雜度常數夠小的話
05/30 20:34, 29F
→
05/30 20:36, , 30F
可知的是大部分的加密法都可以輕易破解(例如 RSA)
05/30 20:36, 30F
→
05/30 20:36, , 31F
除此之外不知還有什麼有趣的現象會發生 (?)
05/30 20:36, 31F
推
05/30 20:41, , 32F
https://goo.gl/4tODf3 這裡好像是說在數學上會比較有用
05/30 20:41, 32F
→
05/30 20:42, , 33F
因為任何存在長度不大的證明的 theorem 都可以被電腦解決
05/30 20:42, 33F
→
05/30 20:42, , 34F
所以數學家就不用一直找證明了，不過乍看之下也無法理解
05/30 20:42, 34F
→
05/30 20:42, , 35F
這樣的重要性
05/30 20:42, 35F
→
05/30 21:14, , 36F
P=NP 只是說所有NP問題都"存在"個P時間的解法, 至於怎麼
05/30 21:14, 36F
→
05/30 21:15, , 37F
那個解法是另一個問題. 而且這個P時間還要是"非確定型圖
05/30 21:15, 37F
→
05/30 21:16, , 38F
靈機"才能夠實現, 現在跟本就沒這種機器. 若 P!=NP，最
05/30 21:16, 38F
→
05/30 21:18, , 39F
多只能確定"存在一個NP問題它不屬於P問題", 其他的還是
05/30 21:18, 39F
→
05/30 21:19, , 40F
要一一檢驗, 但這不需要P?=NP的結論也可以做.
05/30 21:19, 40F
→
05/30 21:20, , 41F
而就算你確定某個問題沒有P時間的解, 演算法還是需要改
05/30 21:20, 41F
→
05/30 21:22, , 42F
進, 還是需要研究找出更好的近似. 所以我說 P?=NP 的價
05/30 21:22, 42F
→
05/30 21:23, , 43F
值只在理論上, 重要性很低.
05/30 21:23, 43F
→
05/30 21:28, , 44F
拿P?=NP來驗證某個成果更是蠢到爆炸
05/30 21:28, 44F
推
05/31 06:15, , 45F
假設 P=NP 就表示確定型圖靈機可以在 polynomial time
05/31 06:15, 45F
→
05/31 06:15, , 46F
模擬非確定型圖靈機了吧
05/31 06:15, 46F
→
05/31 06:16, , 47F
(只是說就像你說的，只是存在這模擬方法，距離找到
05/31 06:16, 47F
→
05/31 06:16, , 48F
還有距離
05/31 06:16, 48F
→
05/31 06:19, , 49F
因此只要P=NP 且找到那個存在的 P 時間演算法
05/31 06:19, 49F
→
05/31 06:20, , 50F
只要用目前的機器就可以實現了，因為他們可以模擬 NTM
05/31 06:20, 50F
→
05/31 06:21, , 51F
相反的，如果有人做出神奇的「非確定型圖靈機」
05/31 06:21, 51F
→
05/31 06:22, , 52F
就算P!=NP，用非確定型圖靈機還是可以在 P 時間解NP問題
05/31 06:22, 52F
→
05/31 06:26, , 53F
因為實在很難想像 DTM 怎麼在 P 時間模擬 NTM
05/31 06:26, 53F
→
05/31 06:26, , 54F
所以真的覺得如果 P=NP 還滿厲害的 !
05/31 06:26, 54F
→
05/31 11:03, , 55F
哇，扯好遠呢，NP=P重不重要，CaptianH你就來一篇高
05/31 11:03, 55F
→
05/31 11:03, , 56F
論說，解了也不重要吧。
05/31 11:03, 56F
→
05/31 11:03, , 57F
省得你在這NN解什麼的，扯一堆。
05/31 11:03, 57F
→
05/31 11:04, , 58F
TSP 是NP 問題。
05/31 11:04, 58F
推
05/31 11:27, , 59F
感覺是NP的問題不過她有個Heuristic的解法 而不是真的
05/31 11:27, 59F
→
05/31 11:27, , 60F
解掉
05/31 11:27, 60F
推
05/31 12:43, , 61F
笑死了PNP重要性只在理論上XDDDD這已經不是有沒唸書的問題
05/31 12:43, 61F
→
06/01 08:16, , 62F
nn 可以解比np hard 還難的問題。嗯。我也還可以提出一
06/01 08:16, 62F
→
06/01 08:16, , 63F
個常數時間解所有 np hard 的演算法，只是都亂解而已。
06/01 08:16, 63F
‣ 更多 tbpfs 的文章
文章代碼(AID): #1NIlp_Jf (Soft_Job)
‣ 更多 tbpfs 的文章
文章代碼(AID): #1NIlp_Jf (Soft_Job)