PTT推薦

[爆卦] 數學家證明雙層床猜想是錯的

看板Gossiping標題[爆卦] 數學家證明雙層床猜想是錯的作者
jackliao1990
(j)
時間推噓64 推:65 噓:1 →:31

https://www.math.ucla.edu/~pak/papers/BunkBed4.pdf

雙層床猜想於1980年代初由Kasteleyn提出:

"對於隨機子圖,在同一層上連接兩個頂點的概率應大於或等於跨層連接兩個頂點的概率"

儘管這個猜想看似顯然為真

但是Igor Pak團隊認為任何猜想都應該嘗試尋找反例

於是他們進行了大量的小圖計算機模擬並嘗試利用AI來尋找反例

但由於圖的規模較大,計算複雜度過高,這些嘗試未能產生明確的結果

他們意識到這樣的蒙特卡羅測試並不能提供嚴格的反例證明

後來在Nikita Gladkov(加州大學洛杉磯分校)和Alexandr Zimin(麻省理工)的幫助下

他們從Hollom的論文中選取了一個三超圖
https://reurl.cc/34pG9L

接著他們用n=1204 的裝置替換了每個黃色三角形,將a放在陰影頂點,而v1和vn放在三角形的其他頂點上(紅色路徑進入紅色路徑)

https://reurl.cc/1b7DaX
新圖有7523個頂點和15654條邊,u1和u10之間在同一層與不同層的路徑概率差異為負數
因此這就是他們尋找已久的反例!!


他們還反思了他們計算機測試的失敗,認為不應害怕公開未成功的嘗試,因為這樣可以避免他人重蹈覆轍。

--

※ PTT留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.166.15 (臺灣)
PTT 網址

vancepeng 10/04 14:14我當初也這樣想 但是我的指導教授說我

foolwind 10/04 14:14我想也是

bill403777 10/04 14:14嗯嗯 跟我想得差不多

preisner 10/04 14:14我十年前就知道了

a27588679 10/04 14:14我曾經也想過 但太忙了沒時間驗證

sniperxii 10/04 14:14對不起我文組QQ

EfiwymsiAros 10/04 14:14好 公三小

benson502 10/04 14:14跟我想的差不多

Winston13840 10/04 14:15我只知道黎曼猜想

kingtama 10/04 14:15我不是這方面的專家不過大概跟我想的差

kingtama 10/04 14:16不多

gay7788 10/04 14:16笑死,我之前講沒人信,還差點把我綁在

MeeToo 10/04 14:16我早就說我下舖是gay

gay7788 10/04 14:16木頭上燒毀

vowpool 10/04 14:16說真的 這個我不是很在意

ian1107 10/04 14:16前幾天就知道了,忙著防颱沒空理而已

King5566 10/04 14:16唉 我當初跟教授講還被罵

tsukasa107 10/04 14:16如果有時間想這些把戲 為什麼不把時

tsukasa107 10/04 14:17間拿去端正自己的品格呢

woaifafewen 10/04 14:18我也是這樣想的

LargerThanU 10/04 14:19雙層床系列 好澀喔

sexybox 10/04 14:19原來如此 我當初不應該用蒙地卡羅來算的

kobe9527 10/04 14:20這不是我國小實驗課提出的理論嗎 居然

kobe9527 10/04 14:20被證實了?

rogher3399 10/04 14:21嗯嗯 到底在工三毀

biolive40 10/04 14:21如果有時間想這些把戲 為什麼不把時間

op520 10/04 14:21早就說了

biolive40 10/04 14:21拿去加班呢

StarTouching 10/04 14:22抱歉 我該早點跟他們說別用蒙地卡羅

okletgo 10/04 14:22你為什麼不說中文?

callhek 10/04 14:22不要拿我的國小作業出來發論文好嗎

jackie955093 10/04 14:23好 我知道床是拿來睡的

MasterHsieh 10/04 14:23我早就知道

tudo0430 10/04 14:24https://i.imgur.com/cxBcthx.jpeg

圖 數學家證明雙層床猜想是錯的

shaon 10/04 14:25馬的 是在公沙小

StarTouching 10/04 14:26樓上不要不懂裝懂好嗎 床是拿來作愛

drownfish 10/04 14:26這可以拿來幹麻

veryGY 10/04 14:27...為什麼說是電腦算的 整篇全是理論證明

lancelot902 10/04 14:27為什麼要有這種猜想

pttian 10/04 14:28到底在公沙小 意思是雙層床不能買嗎?

k47100014 10/04 14:30還好我睡的是單層床

jerry22870 10/04 14:30我當時就曾經跟教授討論過這方向的

jarrodqq896 10/04 14:32我的床沒有雙層不用煩惱這個問題

ashilol 10/04 14:32雙層床只有當兵時睡過

soulXdancer 10/04 14:34我曾經指出這個猜想的錯誤,但被教

soulXdancer 10/04 14:34授打臉

gn01693664 10/04 14:35跟我想的差不多

gap03052034 10/04 14:37恩 你說得對

xfaw4d35t 10/04 14:37嗯嗯 單層床才是正確的

lastphil 10/04 14:37用鍍鋅方鋼和膨脹螺絲

fishfish1314 10/04 14:38嗯嗯

help1268 10/04 14:41當兵的時候我就知道雙層床不

v612138 10/04 14:42誰能翻譯翻譯?

ashrum 10/04 14:42從蒙地卡羅跑數學證明那裡開始就進入異世

ashrum 10/04 14:42界了

a069275235 10/04 14:42誰會講概率啦= =

Cll7do9k 10/04 14:45我都睡單層的床 難怪沒發現

YeaPa 10/04 14:48我上過圖論為什麼我連題目都看不懂

kikujiro 10/04 14:49可惜高雄停電我的論文發不出去 晚了

sppmg 10/04 14:49用中文說好嗎!

wolve 10/04 14:50國小科展就做過了 沒什麼

GGinler 10/04 14:51我就說吧

funster 10/04 14:53喔喔喔 看不懂

GARRETH 10/04 14:57樓下當兵時每晚都幫士官長暖床

ericno153 10/04 14:57跟我前幾天上廁所寫在衛生紙上面的差不

ericno153 10/04 14:57

lightKevin 10/04 14:58我連命題都看不懂 但跟我想得差不多

TsaiIngWen 10/04 14:58跟我

kaltu 10/04 15:02支言支語

deray 10/04 15:07跟我想的差不多 但是我懶得說明就一直擱置

chysh 10/04 15:08嗯嗯,我連題目都看不懂,所以就沒證明了

Vincent233 10/04 15:12我當兵時的原住民班長已經證明過了

ching6940 10/04 15:15這我很久以前就說過了,當時沒人信啊

weltschmerz 10/04 15:15需要水精靈或是阿月紅茶冰==

WFSGT 10/04 15:16我講話比較直白一點 供三小?

sqr 10/04 15:19能不能算出樹3是多少

Deltak 10/04 15:24我大學的時候就發現了

blueweak 10/04 15:25當然啦 這很直覺 有誰可以翻譯一下嗎?

john2355 10/04 15:25曾經躺過 確實不適合

Beltran 10/04 15:35不講Wood 用AI蒙地卡羅模型硬幹找解,1

Beltran 10/04 15:35980的人也只能吞了

lingarden 10/04 15:36雙層床下舖真的很吵

CDing 10/04 15:40跟我想的差不多 這種簡單的問題需要煞有其

CDing 10/04 15:40事的發一篇?

gg86300 10/04 15:43

ds361007 10/04 15:46雙人床要找軟一點的 誤

hanmas 10/04 15:51有趣推 但你這寫的比原文paper 還難懂XD

t8756321 10/04 15:59我早就跟他們說過了 要三層啊!

niburger1001 10/04 16:03嗯嗯 跟我想的差不多

discoveryray 10/04 16:05知道了 跪安吧

mc2834 10/04 16:09你看吧,這就證明了為什麼獨立筒比較貴

create8 10/04 16:14看—不—懂—凸

Gsun 10/04 16:17共三小

CityRanger 10/04 16:30gigachad

exile9340 10/04 16:36跟我的猜想差不多

reaturn 10/04 16:37看不懂啦,幹

DuoDuokk77 10/04 16:47我都睡下舖