每天听简报,了解最新科技、AI、软件资讯
计算机科学里悬置近四十年的服务器调度猜想,被证明成立了。想象你管理几辆巡游出租车,乘客的呼叫接连冒出来,你得立刻派车去接,还不知道后面会来什么呼叫。上世纪末有学者猜想,存在一种调度办法,总跑动距离最多是提前知道所有呼叫的最优方案的固定倍数,而这个倍数正好等于车辆数。三位数学家现在证明了这一点,证明的正是几十年前就有人提出的那套算法真能做到。评论区一位老玩家回忆,当年为了看懂这套算法的早期结果熬过好多个通宵,这次终于等到猜想彻底解决。另有人称这是竞争分析领域的圣杯。这项成果目前还只是一份尚待同行评议确认的预印本。
进度保存在本设备 · 登录同步