【澳門管家婆2024年資料大全】
【今晚澳門最快開獎(jiǎng)】
【2024澳門新資料大全免費(fèi)劉半仙】
【天天有好彩正版資料一1】
【2024澳門今晚開獎(jiǎng)記錄圖片】
【澳門精準(zhǔn)資料大全免費(fèi)】
【香港二四六944cc資料免費(fèi)】
【打開澳門免費(fèi)資料大全1】
【4949澳門免費(fèi)資料大全鳳凰網(wǎng)】
【管家婆三肖三碼100君中特】
【2024澳門馬今晚開獎(jiǎng)記錄】
【管家婆一肖一碼100%100】
【香港六合彩權(quán)威資料】
【新澳火麒麟2024資料大全】
【四肖八碼期期準(zhǔn)精選資料一頁(yè)】
【今晚澳門必中三肖三碼網(wǎng)站】
【四肖八碼期期準(zhǔn)免費(fèi)資料精選圖】
【香港三肖三碼查詢黃大仙三肖三查日】
【二四六天天好彩了308k】
【澳門正版資料大全免費(fèi)歇后語(yǔ)】
【2024年奧門開獎(jiǎng)直播現(xiàn)場(chǎng)】
【今期新澳門開獎(jiǎng)結(jié)果查詢】
【246正版馬會(huì)免費(fèi)資料香港王中王】
【2024澳門今晚開獎(jiǎng)結(jié)果直播視頻下載大全】
【香港正版資料免費(fèi)大全下載】

金磊 發(fā)自 凹非寺

量子位 | 公眾號(hào) QbitAI

迄今為止最快近乎完美網(wǎng)絡(luò)流(Network Flow)算法,來(lái)了!

有多快?

對(duì)于任何類型的網(wǎng)絡(luò),計(jì)算速度幾乎與數(shù)學(xué)理論一樣快。

而且還是以最低成本計(jì)算最大運(yùn)輸流量的那種。

這就是來(lái)自蘇黎世聯(lián)邦理工學(xué)院計(jì)算機(jī)系Rasmus Kyng(下文簡(jiǎn)稱“京爺”)團(tuán)隊(duì)最新研究:

其實(shí)早在兩年前,京爺團(tuán)隊(duì)所做的“前代”研究就已經(jīng)在圈內(nèi)走紅,曾被Quanta Magazine評(píng)為當(dāng)年的計(jì)算機(jī)科學(xué)十大發(fā)現(xiàn)之一。

網(wǎng)絡(luò)流算法先驅(qū)Daniel A. Spielman也給出了相當(dāng)高的評(píng)價(jià):

快得離譜,像保時(shí)捷超跑一樣。

而就在最近,他們?cè)贏CM計(jì)算理論研討會(huì)(STOC)中帶來(lái)了“進(jìn)化版”研究——

不論是網(wǎng)絡(luò)里增加或刪除了什么路徑,依舊能夠以最低成本、最大傳輸流量的“姿勢(shì)”,用幾乎線性的速度進(jìn)行計(jì)算。

就好比徒步旅行一樣,管你道路變多了還是變陡峭了,我依舊保持高速前行、順利抵達(dá)終點(diǎn)。

蘇黎世聯(lián)邦理工學(xué)院官方給出的評(píng)價(jià)是:

超快算法為未來(lái)高效計(jì)算超大型動(dòng)態(tài)變化的網(wǎng)絡(luò)奠定了基礎(chǔ),有望改變整個(gè)研究領(lǐng)域。

那么京爺?shù)膱F(tuán)隊(duì)又是如何做到這一點(diǎn)的呢?

迄今最快的網(wǎng)絡(luò)流算法

網(wǎng)絡(luò)流,是圖論中的一種理論與方法,研究網(wǎng)絡(luò)上的一類最優(yōu)化問(wèn)題。

這個(gè)問(wèn)題早在1955年,由T.E.哈里斯在研究鐵路最大通量時(shí),為了尋求兩點(diǎn)間最大運(yùn)輸量而被提出。

在1956年,L.R.福特和D.R.富爾克森等人給出了解決這類問(wèn)題的算法,從而建立了網(wǎng)絡(luò)流理論。

并且網(wǎng)絡(luò)流算法在解決現(xiàn)實(shí)問(wèn)題時(shí)有很大的應(yīng)用價(jià)值。

例如你在使用歐洲運(yùn)輸網(wǎng)絡(luò)的時(shí)候,希望尋找最快、最便宜的路線,將盡可能多的貨物從哥本哈根運(yùn)送到米蘭,這時(shí)候網(wǎng)絡(luò)流算法就能發(fā)揮作用了。

對(duì)于這個(gè)問(wèn)題,以前計(jì)算最佳流量所需的時(shí)間甚至比處理網(wǎng)絡(luò)數(shù)據(jù)的時(shí)間要長(zhǎng)得多。

而隨著網(wǎng)絡(luò)變得越來(lái)越大,越來(lái)越復(fù)雜,相對(duì)而言,所需的計(jì)算時(shí)間比計(jì)算問(wèn)題的實(shí)際規(guī)模增長(zhǎng)得快得多。

這也就是為什么我們還能看到計(jì)算機(jī)有時(shí)都無(wú)法對(duì)網(wǎng)絡(luò)中的流量進(jìn)行計(jì)算的原因。

但京爺團(tuán)隊(duì)所提出的算法,就一舉打破了這一局面——

不僅讀取網(wǎng)絡(luò)數(shù)據(jù)到解決方案所需的“額外”計(jì)算時(shí)間現(xiàn)在可以忽略不計(jì),即便是重新設(shè)計(jì)路由(Route)還是添加新路由,都可以忽略不計(jì)。

原則上,所有計(jì)算方法都面臨著必須多次迭代分析網(wǎng)絡(luò)的挑戰(zhàn),以此來(lái)找到最佳流量和最低成本路線。

在京爺團(tuán)隊(duì)之前,研究人員傾向于在兩種關(guān)鍵策略之間做選擇:

一種方法是以鐵路網(wǎng)絡(luò)為模型,在每次迭代中對(duì)整個(gè)網(wǎng)絡(luò)進(jìn)行計(jì)算,并對(duì)交通流量進(jìn)行修改。

另一種方法則是受電網(wǎng)中電力流的啟發(fā),在每次迭代中計(jì)算整個(gè)網(wǎng)絡(luò),但對(duì)網(wǎng)絡(luò)每個(gè)部分的修改流量使用統(tǒng)計(jì)平均值。

京爺團(tuán)隊(duì)的做法則是——成年人不做選擇題,二者的優(yōu)勢(shì)統(tǒng)統(tǒng)都要,組合打造新方法:

我們的方法基于許多小的、高效的和低成本的計(jì)算步驟,這些步驟加在一起比幾個(gè)大的計(jì)算步驟要快得多。

這在開發(fā)幾乎線性時(shí)間算法方面發(fā)揮了關(guān)鍵作用。

最新的這項(xiàng)研究,提出了一系列針對(duì)增量圖(incremental graphs)問(wèn)題的幾乎線性時(shí)間算法。

(增量圖指的是隨時(shí)間變化而動(dòng)態(tài)變化的有向圖,主要通過(guò)邊的插入操作來(lái)改變。)

論文中提出的算法主要解決以下幾個(gè)問(wèn)題:

環(huán)檢測(cè)(Cycle Detection):檢測(cè)圖中是否存在環(huán)。

強(qiáng)連通分量維護(hù)(Strongly Connected Component Maintenance, SCCs):維護(hù)圖中的強(qiáng)連通分量。

單源最短路徑(s-t Shortest Path):計(jì)算圖中單源到單目標(biāo)的最短路徑。

最小成本流(Minimum-Cost Flow):在滿足容量限制的情況下,找到成本最小的流。

論文的主要技術(shù)貢獻(xiàn)是提出了一種確定性數(shù)據(jù)結(jié)構(gòu),能夠在完全動(dòng)態(tài)圖中,對(duì)于每次更新,以攤銷的幾乎線性時(shí)間返回一個(gè)近似最小比率環(huán)。

結(jié)合Brand-Liu-Sidford(STOC 2023)的內(nèi)點(diǎn)方法框架,論文給出了第一個(gè)決定增量圖中最小成本流達(dá)到給定閾值的算法。

除此之外,團(tuán)隊(duì)還使用和設(shè)計(jì)了新的數(shù)學(xué)工具,進(jìn)一步加快了他們的算法速度。

結(jié)果顯示,論文的算法在理論上提供了對(duì)增量圖問(wèn)題的有效解決方案,這些算法在時(shí)間復(fù)雜度上顯著優(yōu)于以往的算法。

然而,像京爺團(tuán)隊(duì)這種為解決以前無(wú)法有效計(jì)算的非常大規(guī)模問(wèn)題奠定的基礎(chǔ),也還只是這些顯著更快的網(wǎng)絡(luò)流算法的影響之一。

更深層一些的,它們還改變了計(jì)算機(jī)計(jì)算復(fù)雜任務(wù)的方式。

正如加州大學(xué)伯克利分校的一個(gè)國(guó)際研究小組所評(píng)價(jià)的那般:

在過(guò)去的十年里,在理論計(jì)算機(jī)科學(xué)的基礎(chǔ)問(wèn)題上,為了獲得可證明的快速算法,在理論基礎(chǔ)上發(fā)生了一場(chǎng)革命。

關(guān)于團(tuán)隊(duì)

這項(xiàng)研究有三位來(lái)自蘇黎世聯(lián)邦理工學(xué)院的作者。

其中的京爺,Rasmus Kyng是蘇黎世聯(lián)邦理工學(xué)院計(jì)算機(jī)科學(xué)系的助理教授,研究重點(diǎn)是圖問(wèn)題和凸優(yōu)化的快速算法、概率和差異理論、細(xì)粒度復(fù)雜性理論以及機(jī)器學(xué)習(xí)中的應(yīng)用。

△Rasmus Kyng

另外一位研究貢的主要獻(xiàn)者是Maximilian Probst博士,他是京爺小組的高級(jí)助理,主攻方向是圖算法、優(yōu)化和數(shù)據(jù)結(jié)構(gòu)。

△Maximilian Probst

除此之外,這項(xiàng)研究中還有兩位華人作者,他們分別是來(lái)自CMU的Li Chen,以及普林斯頓的Yang P. Liu。

若是對(duì)這項(xiàng)研究感興趣,可戳下方鏈接進(jìn)一步了解。

參考鏈接:

[1]https://ethz.ch/en/news-and-events/eth-news/news/2024/06/researchers-at-eth-zurich-develop-the-fastest-possible-flow-algorithm.html

[2]https://dl.acm.org/doi/10.1145/3618260.3649745

[3]https://news.ycombinator.com/item?id=40829459

[4]https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2023/07/frontiers-of-science-awards-for-rasmus-kyng-and-maximilian-probst.html