Programming by optimisation: Computer-aided design of high-performance algorithms for hard combinatorial problems

优化编程：针对硬组合问题的高性能算法的计算机辅助设计

• 批准号: 238788-2010
• 负责人: Hoos, HolgerH
• 金额: $ 4.37万
• 依托单位: University of British Columbia
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=524449
• 关键词: Programming; optimisation; Computer; aided; design

High-performance algorithms for solving hard computational problems are found at the core of many complex software systems used in real-world applications. The overall goal of my research is to develop and establish a paradigm for the development of such algorithms that I call "programming by optimisation (PBO)". The key idea behind this paradigm is for human experts to specify not an algorithm, but a potentially large design space of algorithms, and to use automated methods to find performance-optimised algorithms within this space. This approach allows human experts to focus on the creative task of thinking about possible mechanisms for solving given problems; at the same time, once a rich and potentially large design space has been specified, the automated search for a performance-optimised algorithm within it can be specific to a particular type of input, such that custom-optimised designs for different application situations can be obtained with minimal human effort.

解决困难计算问题的高性能算法被发现是现实世界应用中使用的许多复杂软件系统的核心。我的研究的总体目标是开发和建立一个范例，用于开发这种算法，我称之为“优化编程（PBO）”。这种范式背后的关键思想是，人类专家指定的不是一种算法，而是一个潜在的大的算法设计空间，并使用自动化方法在这个空间内找到性能优化的算法。这种方法允许人类专家专注于思考解决给定问题的可能机制的创造性任务;同时，一旦指定了丰富且潜在的大设计空间，则可以针对特定类型的输入自动搜索其中的性能优化算法，从而可以以最小的人力获得针对不同应用情况的定制优化设计。