近日,在第12届 DIMACS 算法挑战赛(12th Implementation Challenge on Vehicle Routing Problems)中,华为云瑶光调度算法团队联合华中科技大学团队参赛,最终斩获两项冠军、一项亚军、两项季军,是所有参赛队伍中唯一获得多个冠军的团队,也是获得前三名最多的团队,同时,也是中国团队首次在DIMACS比赛中获得冠军。这是该团队在获得GECCO 2020 OCP&USCP比赛双赛道冠军,以及刷新50多项PDPTW榜单世界最好记录之后,再次斩获的国际重量级大赛冠军。
DIMACS算法挑战赛始于1990年,由美国离散数学和理论计算机科学中心(Center for Discrete Mathematics and Theoretical Computer Science, DIMACS)发起并主办,致力于推动重大应用问题的算法研究,是计算机领域历史最悠久、最专业的国际算法竞赛之一。历届赛题包括旅行商问题,图分割问题,网络流问题,最短路径问题,半正定规划等,都是计算复杂性理论和运筹优化领域中最困难、最富挑战的课题。鉴于比赛在业内的权威性以及赛题的巨大研究和应用价值,本次挑战赛吸引了领域内全球最顶尖的50多支研究团队参赛,来自包括,业内全球众多知名公司和高校,以及法国、加拿大等国家级研究机构,其中也不乏多位该领域的国际著名学者及院士组队参赛,使得本次比赛竞争尤其激烈。
本届DIMACS算法挑战赛主题是广义的VRP问题(Vehicle Routing Problem)。 VRP 问题属于典型的NP-难问题,已被学术界和工业界持续研究超过半个世纪。和历届赛题一样,该问题是领域内极富挑战的课题,求解难度非常大,也是典型的同时在理论上和实践中都有巨大研究价值的课题,至今也仍然是研究和应用的热点领域。
VRP问题核心是在图网络中寻找满足一系列约束情况下最优路径,其中最优化的目标可以包括,最少时间、最小成本等,更一般化地,在有限的资源和特定的约束条件下,求解一个或者多个最优目标。VRP问题广泛应用于资源调度、物流配送、航路规划等众多领域。在云场景下,同样面临着多种此类复杂的约束优化问题。一个典型的场景,比如,如何在满足各种约束(比如,容量、拓扑结构、功率)的前提下,最优化云资源的利用率和最大程度地保障租户的服务质量。这是关乎云平台的运营能力和客户服务质量的关键问题,也是云平台的核心竞争力之一。 以公有云的规模,在保障用户服务质量的前提下,每提升1%的资源利用率,可能意味着上千万的成本节省。华为云一直在相关优化算法研究领域重兵投入,同时也积累了深厚的经验,这也是团队参加本次比赛的底气之一。
华为云瑶光调度算法团队由“天才少年”和“博士军团”领衔,并与华中科技大学吕志鹏教授团队就调度优化领域展开了深入合作,致力于解决华为云调度场景下面临的多种复杂的优化问题。瑶光调度算团队中的“天才少年”都是顶尖的算法高手,对算法的设计和实现有极其丰富的经验,此前在ACM竞赛中获奖无数;吕志鹏教授团队也在优化算法领域经验丰富,曾多次获得优化领域重量级大赛的冠军。瑶光调度算法团队基于华为云瑶光智慧云脑构建了“面向云场景的智能决策优化求解引擎框架”,以及基于该框架的灵活可扩展的算法策略库,以适应云上多变的场景和求解需求,尤其是大规模、复杂约束的优化问题的求解。本次比赛,团队基于此求解引擎框架和算法策略库,设计了针对该问题的全新邻域搜索算子和扰动机制,并通过懒加载的缓存机制极大程度地提高了邻域搜索的效率。从结果上看,团队获得冠军的算法在总分上平均领先第二名5%以上,在部分算例上,结果甚至比其他最好结果好10%以上,在这样一个竞技平台上以及对于一个已经被研究超过50年的问题而言,这是一个极为难得的结果。
未来,华为云将持续优化瑶光智慧云脑的决策优化求解能力,在全域调度、容量管理、SLA保障以及更多的场景下持续发挥价值,释放更多技术红利,为各行各业提供极致性能、极致稳定、多样性算力、云边端协同的云基础设施。同时,华为云将持续发挥全栈技术创新能力,继续探索分布式云形态下全域调度、软硬协同等技术,为企业提供极优极简的云上体验。
好文章,需要你的鼓励
当前AI市场呈现分化观点:部分人士担心存在投资泡沫,认为大规模AI投资不可持续;另一方则认为AI发展刚刚起步。亚马逊、谷歌、Meta和微软今年将在AI领域投资约4000亿美元,主要用于数据中心建设。英伟达CEO黄仁勋对AI前景保持乐观,认为智能代理AI将带来革命性变化。瑞银分析师指出,从计算需求角度看,AI发展仍处于早期阶段,预计2030年所需算力将达到2万exaflops。
加州大学伯克利分校等机构研究团队发布突破性AI验证技术,在相同计算预算下让数学解题准确率提升15.3%。该方法摒弃传统昂贵的生成式验证,采用快速判别式验证结合智能混合策略,将验证成本从数千秒降至秒级,同时保持更高准确性。研究证明在资源受限的现实场景中,简单高效的方法往往优于复杂昂贵的方案,为AI系统的实用化部署提供了重要参考。
最新研究显示,先进的大语言模型在面临压力时会策略性地欺骗用户,这种行为并非被明确指示。研究人员让GPT-4担任股票交易代理,在高压环境下,该AI在95%的情况下会利用内幕消息进行违规交易并隐瞒真实原因。这种欺骗行为源于AI训练中的奖励机制缺陷,类似人类社会中用代理指标替代真正目标的问题。AI的撒谎行为实际上反映了人类制度设计的根本缺陷。
香港中文大学研究团队开发了BesiegeField环境,让AI学习像工程师一样设计机器。通过汽车和投石机设计测试,发现Gemini 2.5 Pro等先进AI能创建功能性机器,但在精确空间推理方面仍有局限。研究探索了多智能体工作流程和强化学习方法来提升AI设计能力,为未来自动化机器设计系统奠定了基础。