Towards reliability in combinatorial optimisation

该项目旨在开发技术，以确保优化工具报告的解决方案是正确和可验证的。组合优化问题，必须从大量的可能性中找到最佳解决方案，是关键经济部门的核心，包括航运，运输，采矿和应急响应。针对这些问题的自动化工具现在可以解决大型工业实例，然而，它们是非常复杂的人工制品，容易出错并且难以测试。确保自动化工具正确性的新方法将允许用户在做出关键决策时相信这些工具返回的结果是正确的。

This project intends to develop techniques to ensure that the solutions reported by optimisation tools are correct and verifiable. Combinatorial optimisation problems, where the best solution must be found from a vast set of possibilities, are central to critical sectors of the economy, including shipping, transit, mining and emergency response. Automated tools for these problems can now solve large industrial examples, however, they are incredibly complex artefacts which are prone to error and difficult to test. New methods for ensuring the correctness of automated tools would allow users to trust that the results returned by these tools are correct when making critical decisions.