From:phys.org 編譯:Kathy
變形蟲(也稱為阿米巴)是一種主要由凝膠狀原生質組成的單細胞生物。雖然看起來微不足道,但最新的研究表明它有望解決計算機領域最為挑戰的問題,並有可能和強大的超級計算機一拼高下!
近日研究人員創造性地利用變形蟲來解決旅行商問題(Traveling Salesman Problem ,TSP),通過這種「阿米巴計算機」,研究人員可以獲得TSP問題高質量的近似解,更重要的是,這種算法所需的計算時間只會隨著TSP中城市的數量呈線性增長。研究人員在4-8個城市的問題中驗證了算法的有效性,並發現解的質量不會隨著搜索空間的擴大而下降。
TSP是一個方案優化問題但同時也是最具代表性的NP-Hard問題,其目標是找到幾個城市之間最短的路線,這樣每個城市都只被訪問一次,且回到出發點。
隨著城市數量的增加,計算機解決問題所需的時間呈指數級增長。大量可選路線導致了其複雜性。例如,對於四個城市,只有三條可能的路線。但是對於八個城市來說,可能的路線數量增加到2520條。
在最新研究中,研究人員發現變形蟲可以在短時間內找到TSP的合理(幾乎最優)解決方案,隨著城市數量從4個增加到8個,TSP問題的求解時間只會線性增長。儘管傳統計算機也可以在線性時間內找到近似解,但變形蟲的方法與傳統算法完全不同。科學家解釋說,變形蟲以恆定的速度不斷地將身體凝膠成分重新分布在非固定形態體內,並通過並行而非串行的方法處理光學反饋來研究空間問題。雖然傳統的計算機,特別是對於小問題上,仍然可以比變形蟲更快地解決TSP問題,但是這一新的發現可能會導致新型模擬計算機的發展。
研究中採用的變形蟲是一種瘧原蟲或「真黏液黴菌」,重約12毫克,以燕麥薄片為食。這種變形蟲以大約1毫米/秒的速度反覆釋放和收回凝膠,不斷變形。實驗中,研究人員將變形蟲放在星狀晶片的中心,晶片是有64個向外突出的狹窄通道的圓板,然後將晶片放在瓊脂板上。變形蟲被限制在晶片內,但仍然可以進入64個通道。為了最大限度地吸收營養,變形蟲試圖在晶片內部擴張,與儘可能多的瓊脂接觸。然而,變形蟲不喜歡光。光可以選擇性的照亮任一通道,從而迫使變形蟲從被照亮的通道中退出。
為了模擬TSP,星狀晶片中的每個通道代表銷售人員路線中的一個城市。例如,在標記為A - D的四個城市的情況下,如果變形蟲佔據了通道A4、B2、C1和D3,那麼TSP的相應解決方案是C、B、D、A、C
上圖描述了變形蟲在解決4-8TSP問題時的表現
引導變形蟲走向最佳或接近最佳的解決方案,關鍵在於控制光線。研究人員使用了一個神經網絡模型,系統每六秒鐘更換一次照亮的通道。該模型結合了每對城市之間距離的信息,以及變形蟲在通道中當前位置的反饋。
該模型可以通過幾種方法確保變形蟲找到TSP的有效解決方案。例如,一旦變形蟲佔據了特定通道的某一部分,比如A3,那麼通道A1、A2和所有其他「A」通道就會被照亮,以防止城市A被訪問兩次。此外,B3、C3、D3和所有其他「3」頻道被點亮,以禁止同時訪問多個城市。
實驗中的變形蟲
更容易點亮的通道代表距離更遠的城市而非距離近的城市。例如,假設變形蟲佔據了B2通道,並且已經開始等量侵入C3和D3通道,城市B和C之間的距離是100,而城市B和D之間的距離是50。B和C之間的距離更長,更促使系統照亮通道C3,使變形蟲從該通道後退,但變形蟲仍可以繼續進入D3。
總的來說,利用變形蟲的自然傾向來建立TSP模型,找到穩態平衡。由於代表較短路線的通道不太可能被點亮,變形蟲可能會在這些通道中擴散開,並繼續探索其他未被點亮的通道,以最大化其在瓊脂板上的表面積。
除了開發真實的變形蟲計算晶片外,研究人員還開發了一種名為變形蟲的計算機模擬系統,模擬變形蟲解決問題的主要策略,如凝膠以恆定的速度並從不同的通道輸出和回收時,要保持凝膠的持續流動。
Aono告訴接受採訪時說 :「星狀晶片解決N城市TSP問題的模型中,當變形蟲最終找到最接近的解決方案時,變形蟲身體的總面積變成了N。似乎存在一個『定律』,變形蟲利用凝膠在非照明通道以恆定速度x運動。即使部分凝膠從點亮的通道退回來,該定律也維持不變。」擴大身體面積到n來解決問題的時間變成了n/x。這種機制是前文提到的以線性時間解決問題的原因,可以被計算機模型模擬重現。
目前研究人員對這種「阿米巴計算機」如何保證近似解質量的機制還不確定,不過阿米巴在每個分支間的空時關係也許就是保證求解質量的關鍵所在。每一個分支都會在對應的通道中振蕩,其中包含了它被光照的「記憶」。這些分支間會表現出協同和失協的過程,並在這一過程中共享信息。
在接下來的研究中,研究人員計劃繼續改進阿米巴計算機的計算能力。他們將探索如何利用這種複雜的空時振蕩動力學來提高計算能力,在更短的時間內找到更高質量的解。這個問題的研究將有助於模擬計算機利用電路中電流的空時動力學,建立起更加有效的計算理論和裝置。在未來,研究人員將建立更大的「阿米巴計算機」,將這一裝置將應用在上百個城市TSP問題的求解中,上萬個通道的阿米巴計算機將會十分壯觀!
Ref:
Paper:https://royalsocietypublishing.org/doi/10.1098/rsos.180396
From:https://phys.org/news/2018-12-amoeba-approximate-solutions-np-hard-problem.html
logofrom:https://mikrobenzirkus.com/
-The End-
將門是一家以技術創新為切入口的早期創新發掘機構,旗下設有將門創新服務、將門技術社群以及將門投資基金。
將門創新服務專注於使創新的技術落地於真正的應用場景,激活和實現全新的商業價值,服務於行業領先企業和技術創新型創業公司。
將門技術社群專注於幫助技術創新型的創業公司提供來自產、學、研、創領域的核心技術專家的技術分享和學習內容,使創新成為持續的核心競爭力。
將門投資基金專注於投資通過技術創新激活商業場景,實現商業價值的初創企業,關注技術領域包括機器智能、物聯網、自然人機互動、企業計算。在兩年的時間裡,將門投資基金已經投資了包括量化派、碼隆科技、禾賽科技、寬拓科技、杉數科技、迪英加科技等數十家具有高成長潛力的技術型創業公司。
如果您是技術領域的初創企業,不僅想獲得投資,還希望獲得一系列持續性、有價值的投後服務,歡迎發送或者推薦項目給我「門」: bp@thejiangmen.com
將門創投
讓創新獲得認可!
微信:thejiangmen
bp@thejiangmen.com