阿里巴巴-达摩院-决策智能实验室研发的「MindOpt优化求解器」 发布了新版本:V0.15.0,增加了网络流求解模块,在类似水管网、电网、公路网的调度和设计场景中可丰富应用,优化资源的使用。10月4号MindOpt首次参加了Mittelmann教授维护的业界权威求解器软件榜单的 Large Network-LP Benchmark 评测,超越Gurobi和国内竞品,获得了第一。
网络流 Large Network-LP 是什么呢?MindOpt的新功能有什么作用呢?
网络是由节点和连线构成的图。网络流是一种类比于水流或者电流的通用数学建模方法,可用于设计和调度水管网、电网、公路网。此外,还能帮我们找到最短的旅行路径、最便捷的物流、最小延迟的通讯方式,甚至还能用于提高排班排产排程的效率和提升资源分配的公平性。所以,网络流方法是交通、能源、通信、物流等多个领域的一个基础优化工具。
数学上,网络流是指图中每条边上流量,须介于上下界之间,除了指定的输入输出节点之外,其余节点的流量必须守恒。通过对流量“收费”并找到最便宜的流量,我们能够找到最短路径,最大流/最小割,最小代价最大流,最小生成树等特殊解,并能够解决资源分配问题。如果,费用是线性的,网络流便属于一种特殊的线性规划问题。这个性规划的约束矩阵中,每一列只有两个非零元素:“1”和“-1”。这种结构带来了许多优势,比如,如果解存在,则多项式时间可获得一个整数解(无需添加整数约束)!此外,普通计算机使用专用的网络流算法,就能求解极其大规模的网络流问题,并且速度比普通线性规划要快得多。Simplex Method或者Interior-Point Method虽然依旧可用,但并不是网络流问题的最好选择。
阿里巴巴旗下的菜鸟网络早已实现了用于物流优化的网络流方法。这次达摩院-决策智能实验室发布的是通用网络流线性规划求解器。不但远快于Google的OR-Tools 和 LEMON开源求解器,更能媲美目前最好的商业求解器。经过Mittelmann教授的权威测试,MindOpt网络流线性规划已经达到世界领先水平,在包括有过万节点数和过千万边的问题的测评集上,获得第一,平均速度超过第二名37%。
榜单成绩截图:
重点!重点!重点!这个V0.15.0 新版本将上线在阿里云产品平台,而且依然是免费!免费!免费! 继元旦MindOpt团队在天池平台免费开放C/S后,收到了很多用户反馈需要单机运行版,MindOpt团队同学就将此版本发布到阿里云的产品平台,让广大开发者们可以自助下载求解器SDK包和获取授权码 。自助下载的MindOpt SDK升级了API,除了之前的C\C++\Python版本外,增加支持Java版本,并且在前两个版本还增加支持了建模工具 AMPL、Pyomo、PuLP。当前供下载的是V0.14.0内核,这个最新的V0.15.0版本在完成最后的评测和整理后也马上可以公开下载啦~
下载方式: 在阿里云上搜索“优化求解器”,或直通车地址:https://www.aliyun.com/product/ai/opt
同时,本次在阿里云的产品平台上,MindOpt优化求解器还发布了「黑盒优化」和「在线优化」算法,当前已支持线下输出,有需要的朋友们根据产品页面的“联系我们”了解和获取哟!