看板 [ Gossiping ]
討論串[爆卦] 電腦科學家證明MIP*=RE
共 4 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[爆卦] 電腦科學家證明MIP*=RE
推噓240(253推 13噓 58→)留言324則，0人參與, 4年前最新作者jackliao1990 (jack)時間4年前 (2020/03/06 22:03), 4年前編輯資訊
0
0
1
內容預覽:
https://arxiv.org/pdf/2001.04383.pdf. 五位學者發表了標題為MIP*=RE的論文.從計算複雜性的角度來說,等式被證明成立也表示我們能用多方量子交互式證明來驗證圖靈停機問題.可說是計算複雜性理論四十多年來最為深刻的結果之一. 多方量子交互式證明系統(MIP*). 學
(還有1375個字)
#2
Re: [爆卦] 電腦科學家證明MIP*=RE
推噓2(2推 0噓 9→)留言11則，0人參與, 4年前最新作者king786945 (你看不見我)時間4年前 (2020/03/07 00:41), 編輯資訊
2
0
0
內容預覽:
有沒有人解釋一下這到底在供三小啊. 八卦板臥虎藏龍應該大部分都看的懂了啦. 小弟想求教一下. --. --. --. ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 101.12.47.94 (臺灣). ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.15
#3
Re: [爆卦] 電腦科學家證明MIP*=RE
推噓11(12推 1噓 9→)留言22則，0人參與, 4年前最新作者freeunixer (離自相空她相)時間4年前 (2020/03/07 06:47), 4年前編輯資訊
0
0
2
內容預覽:
本來想跳過這篇文的,結果看到有人發問,. 只好犧牲一點打王者把妹子師父的時間來胡謅一下.. 一句話講,這是數學證明問題.. MIP* = RE 是說 多方量子交互式證明系統(MIP*) 等同 遞迴可枚舉語言(RE). 行內意義則是,以 數學式 證明 量子糾纏程度可不可計算. 他們以兩個賭牌但不能互相
(還有244個字)
#4
Re: [爆卦] 電腦科學家證明MIP*=RE
推噓3(3推 0噓 1→)留言4則，0人參與, 4年前最新作者shala (沙羅是轉換後的文字檔打m)時間4年前 (2020/03/07 08:40), 編輯資訊
0
0
0
內容預覽:
理論上的MIP*設備可以解決很多非常複雜的問題. 但我們想知道，最廣義的糾纏的量子系統之間的相關性到底有多強. 但現在證明，這個問題是不可計算的！. 也就是說，對於某些特定的問題來說，我們是真的無法知道答案！. 這證明了一個思路上的極限. 告訴你這種思路只能做到什麼地步. 超出某範圍的問題就不用浪費
首頁
上一頁
1
下一頁
尾頁