機(jī)器之心報道

近日，在運(yùn)籌優(yōu)化領(lǐng)域的頂級賽事 CVRPLib BKS 全球挑戰(zhàn)賽中，由華為諾亞方舟實驗室、華為云天籌 AI 求解器團(tuán)隊、華為云加拿大實驗室和香港城市大學(xué)張青富教授團(tuán)隊聯(lián)合而成的 “OptVerse-CityU”，憑借“大模型 (LLM)+ 進(jìn)化計算 (EC)” 的創(chuàng)新技術(shù)架構(gòu)，以顯著優(yōu)勢斬獲冠軍。在 100 個競賽算例中，聯(lián)合團(tuán)隊 OptVerse-CityU刷新了 98 個歷史最優(yōu)解，并為其中 51 個算例設(shè)立了全新的世界紀(jì)錄。這是 AI 參與核心機(jī)制設(shè)計的算法「首次」在頂級競賽中戰(zhàn)勝人類專家算法，驗證了 AI 在算法設(shè)計相關(guān)領(lǐng)域的巨大潛能，預(yù)示了 AI 對算法設(shè)計領(lǐng)域即將帶來的顛覆性變革。

OptVerse-CityU 位列 CVRPLib BKS 榜首

• 榜單地址：https://galgos.inf.puc-rio.br/cvrplib/index.php/en/bks_challenge/score/

一、賽題背景：CVRP—— 物流優(yōu)化的「基石難題」

在智能制造和供應(yīng)鏈管理中，有一個公認(rèn)的最基礎(chǔ)也最核心的問題，叫做“帶容量約束的車輛路徑規(guī)劃問題（Capacitated Vehicle Routing Problem，CVRP）”。通俗地講，它研究的是如何用最少的運(yùn)輸車輛、規(guī)劃出最短的行駛路線，同時確保貨物能準(zhǔn)時送達(dá)每一個客戶，從而實現(xiàn)物流成本最低化與配送效率最大化。

現(xiàn)實中的物流場景遠(yuǎn)比這復(fù)雜，幾乎所有高階的路徑規(guī)劃問題，都是在 CVRP 的基礎(chǔ)上疊加各種現(xiàn)實約束演化而來的。例如，加上時間窗約束，要求貨物必須在特定時間段內(nèi)送達(dá)；加上同時取送貨，讓車輛在配送途中還需回收貨物，導(dǎo)致車內(nèi)空間動態(tài)變化；或是擴(kuò)展為多倉庫協(xié)同調(diào)度等?？梢哉f，如果不能高效解決 CVRP 這個 “地基”，任何復(fù)雜的物流調(diào)度優(yōu)化都將缺乏穩(wěn)固的支點。

然而，這個問題在業(yè)界屬于公認(rèn)的算法難題：隨著配送節(jié)點數(shù)量的增加，可行的路線方案會出現(xiàn) “組合爆炸”。以 50 個配送點為例，其路線組合數(shù)量級遠(yuǎn)超普通計算機(jī)的實時計算能力；當(dāng)節(jié)點數(shù)達(dá)到數(shù)百個時，傳統(tǒng)算法已難以應(yīng)對，必須借助局部搜索、遺傳算法等智能優(yōu)化手段進(jìn)行高效探索；而當(dāng)節(jié)點數(shù)突破千級規(guī)模，現(xiàn)有算法的求解效率和解的質(zhì)量將急劇下降，難以滿足大型企業(yè)對實時決策與規(guī)模化優(yōu)化的雙重需求。

二、巔峰對決：「大模型 + 進(jìn)化計算」斷層領(lǐng)先

CVRPLib 是車輛路徑規(guī)劃領(lǐng)域的最具權(quán)威性的標(biāo)準(zhǔn)測試庫，是全球算法研究者與業(yè)界軟件公司測評與驗證算法的公認(rèn)基準(zhǔn)。本屆 CVRPLib BKS 全球挑戰(zhàn)賽吸引了全球頂尖科研團(tuán)隊和科技企業(yè)，比拼算法先進(jìn)性和算力效能，持續(xù)整整一個月。參賽隊伍需要在 100 個超大規(guī)模測試實例（單個算例包含 1,000 至 10,000 個配送點）中不斷刷新最優(yōu)解，得分取決于每個最優(yōu)解的霸榜時間。

而賽事組委會在發(fā)布初始基線解前，已采用多種公開先進(jìn)方法進(jìn)行了多輪隨機(jī)運(yùn)算，確保初始解高度逼近理論最優(yōu)值。這意味著，任何能夠刷新紀(jì)錄的成果，都必須是在算法邏輯層面實現(xiàn)真正的原創(chuàng)性突破。同時，基于霸榜時長的動態(tài)積分機(jī)制，進(jìn)一步杜絕了偶然性因素的干擾：唯有經(jīng)得起時間檢驗、持續(xù)領(lǐng)先的解法，方能斬獲高分。

最終，聯(lián)合團(tuán)隊 OptVerse-CityU 在馬拉松式的算法競技中脫穎而出，以 “斷層領(lǐng)先” 的優(yōu)勢斬獲全球冠軍：

• 得分碾壓：團(tuán)隊得分 1,800.32，超過其余參賽隊伍分?jǐn)?shù)之和（其余隊伍最高分為 900+）；
• 最優(yōu)解霸榜：在 100 個測試實例中，成功刷新了 98 個歷史最優(yōu)解，并為其中 51 個實例確立了全新的行業(yè)標(biāo)桿（New Best Know Solution）。

各隊伍得分時間序列圖

三、技術(shù)揭秘：AI 自動設(shè)計，重構(gòu)算法基因

本次奪冠的背后，是聯(lián)合團(tuán)隊在優(yōu)化算法與 AI 生成領(lǐng)域長期的技術(shù)積淀與創(chuàng)新，其方案繼承了此前自主研發(fā)，且應(yīng)用于天籌 MIP 求解器中的Evolution of Heuristics（EoH）算法自動生成系統(tǒng)，并在此基礎(chǔ)上進(jìn)行了進(jìn)一步的改進(jìn)與升華。

Evolution of Heuristics 架構(gòu)圖

傳統(tǒng)算法設(shè)計依賴專家經(jīng)驗，耗時長且難以超越人類認(rèn)知局限。本次參賽方案創(chuàng)新性地引入了 “大模型 + 進(jìn)化計算 “的自動算法設(shè)計范式：

• AI 自動設(shè)計：利用大模型的生成能力與進(jìn)化計算的迭代機(jī)制，系統(tǒng)能夠日夜兼程地自主構(gòu)建創(chuàng)新性的算法思想與代碼；
• 核心組件進(jìn)化：針對求解流程中的擾動算子、參數(shù)控制、解接受策略等模塊，AI 實現(xiàn)了 “自動駕駛” 般的自我修正與優(yōu)化，在探索（Exploration）與利用（Exploitation）之間找到完美平衡。

這一突破意味著，算法研發(fā)流程正從 “人工構(gòu)思 - 手工實現(xiàn)” 轉(zhuǎn)向 “結(jié)構(gòu)設(shè)計 - 自動進(jìn)化”，AI 正在成為算法創(chuàng)新的加速器。

此外，為了在為期 30 天的賽程中維持高強(qiáng)度的搜索，聯(lián)合團(tuán)隊還部署了一個異步系統(tǒng)級框架。該框架以追蹤全局已知最優(yōu)解的外部共享數(shù)據(jù)庫為中心，跨三個并行層級協(xié)調(diào)多個算法實例，將算力資源發(fā)揮到極致。

四、EoH 算法：基于大模型的自動算法設(shè)計系統(tǒng)

本次奪冠算法的多個核心組件，由自動算法設(shè)計系統(tǒng)迭代生成。所使用的 EoH 算法 [1] 是一種通用的基于大模型的自動算法設(shè)計框架，前身為 AEL [2]，由華為諾亞方舟實驗室與香港城市大學(xué)張青富教授團(tuán)隊于 2023 年提出。EoH 早于 Google 的 FunSearch 和 AlphaEvolve，是這一方向的開拓性工作。

EoH 的關(guān)鍵優(yōu)勢在于通過共同進(jìn)化的過程將 “思想” 和代碼有效融合。在這一進(jìn)化計算框架內(nèi)，語言模型生成的啟發(fā)式思想得以轉(zhuǎn)化成實際可執(zhí)行的代碼，并與進(jìn)化算法相輔相成地共同發(fā)展。這種方法為啟發(fā)式算法的自動設(shè)計提供了新的思路，也顯著降低了計算成本。

目前 EoH 已成為自動算法設(shè)計領(lǐng)域的主流框架。在此次競賽前，已廣泛應(yīng)用于橫跨多個學(xué)科領(lǐng)域的算法設(shè)計，包括圖像對抗攻擊 [3]，貝葉斯優(yōu)化 [4]，流體力學(xué)湍流模型修正 [5]，飛行器幾何參數(shù)化方法設(shè)計 [6]，元啟發(fā)式設(shè)計 [7]，因果推斷 [8]，以及自動空戰(zhàn)系統(tǒng)設(shè)計，飛行器增升裝置設(shè)計等。并發(fā)展了多個拓展版本，如多目標(biāo)自動算法設(shè)計 [9]，多模態(tài)自動算法設(shè)計 [10] 和跨分布自動算法設(shè)計 [11] 等。

基于 EoH 的開源平臺 LLM4AD（ https://github.com/Optima-CityU/llm4ad）也已用于 100 + 設(shè)計任務(wù)。

五、未來展望：重新定義算法研發(fā)

本次奪冠標(biāo)志著 AI 驅(qū)動的自動算法設(shè)計已進(jìn)入 “實用化階段”。憑借 “大模型 + 進(jìn)化計算” 的雙引擎架構(gòu)，顯示 AI 能夠幫助人類突破認(rèn)知與生理的邊界，重構(gòu)算法設(shè)計的未來：

• 能力常態(tài)化：從 “單次競賽突破” 走向 “穩(wěn)定自動進(jìn)化能力”，讓算法設(shè)計進(jìn)入長期、自驅(qū)動迭代階段；
• 場景復(fù)雜化：面向更大規(guī)模與更復(fù)雜約束的工業(yè)場景，在動態(tài)調(diào)度、實時決策、多目標(biāo)優(yōu)化中持續(xù)發(fā)揮優(yōu)勢；
• 研發(fā)范式變革：未來，“專家提供結(jié)構(gòu)框架 —AI 負(fù)責(zé)細(xì)化與演化” 的協(xié)作模式，或?qū)⒊蔀楦咝阅芩惴ㄑ邪l(fā)的主流。

參考文獻(xiàn)：

[1] Fei Liu, Xialiang Tong, Mingxuan Yuan, Xi Lin, Fu Luo, Zhenkun Wang, Zhichao Lu, and Qingfu Zhang. "Evolution of Heuristics: Towards Efficient Automatic Algorithm Design Using Large Language Model." ICML 2024.

[2] Fei Liu, Xialiang Tong, Mingxuan Yuan, and Qingfu Zhang. "Algorithm Evolution using Large Language Model." arXiv preprint, 26 Nov. 2023.

[3] Ping Guo, Fei Liu, Xi Lin, Qingchuan Zhao, and Qingfu Zhang. "L-AutoDA: Leveraging Large Language Models for Automated Decision-Based Adversarial Attacks." GECCO 2024.

[4] Yiming Yao, Fei Liu, Ji Cheng, and Qingfu Zhang. "Evolve Cost-Aware Acquisition Functions Using Large Language Models." PPSN 2024.

[5] Yu Zhang, Kefeng Zheng, Fei Liu, Qingfu Zhang, and Zhenkun Wang. "AutoTurb: Using Large Language Models for Automatic Algebraic Model Discovery of Turbulence Closure." Physics of Fluid, 2025.

[6] Kefeng Zheng, Yiheng Wang, Fei Liu, Qingfu Zhang, and Wenping Song. "CST-LLM: Enhancing Airfoil Parameterization Method with Large Language Model." Aerospace Science and Technology, 2025.

[7] Qinglong Hu, and Qingfu Zhang. "Partition to Evolve: Niching-enhanced Evolution with LLMs for Automated Algorithm Discovery." NeurIPS 2025.

[8] Zidong Wang, Fei Liu, Qi Feng, Qingfu Zhang, and Xiaoguang Gao. "LLM-enhanced Score Function Evolution for Causal Structure Learning." IJCAI 2025.

[9] Shunyu Yao, Fei Liu, Xi Lin, Zhichao Lu, Zhenkun Wang, Qingfu Zhang. "Multi-Objective Evolution of Heuristic Using Large Language Models." AAAI 2025.

[10] Qinglong Hu, Xialiang Tong, Mingxuan Yuan, Fei Liu, Zhichao Lu, and Qingfu Zhang. "Multimodal LLM-assisted Evolutionary Search for Programmatic Control Policies." ICLR 2026.

[11] Fei Liu, Yilu Liu, Qingfu Zhang, Xialiang Tong, and Mingxuan Yuan. "EoH-S: Evolution of Heuristic Set Using LLMs for Automated Heuristic Design." AAAI 2026.