Polyhedral and Graph Theoretic Methods in Mixed Integer and Combinatorial Optimization

该项目涉及整数规划和组合优化的理论和计算方面，使用线性代数和图论的工具。它的重点是一种叫做“提升-项目”的方法，这种方法在上世纪90年代发展起来，最近被纳入了最先进的软件中。升降机和项目的削减是由涉及不平等组合的脱节产生的。研究的一个主题是如何同时优化切割下的分离中使用的不等式的加权组合，以及在所得到的切割的单轴强化中乘数的选择。另一个方向相同的课题提出了通过以明确定义的方式组合不等式来提高混合整数线性规划的Gomory切的性能。其他主题，旨在理解雷曼矩阵和几乎完全非模矩阵的结构，或在图中寻找奇洞的算法，涉及两类重要的问题：集填充和集覆盖。更好地理解这类问题是当前组合优化领域中非常活跃的研究的一个核心方面。从某种程度上说，这个项目将取得成功，它将推进混合整数和组合优化的最新技术，从而提高我们在从工业生产到物流和电信的广泛活动中解决问题的能力。这里创造的工具可能对改善国土安全同样有用，因为它们可能有助于加强我们的技术领先地位。从50年代末到90年代初，整数编程是一种几乎可以表述任何优化问题的方法，但可用的计算机代码只能处理小尺寸的玩具问题。在过去的十年中，技术水平发生了根本性的变化，今天超过一半的整数程序也可以被解决。预计该项目将显著加速这一变化。

This project addresses theoretical and computational aspects of integer programming and combinatorial optimization, using the tools of linear algebra and graph theory. It is focused on the approach called lift-and-project, developed in the nineties and recently incorporated into state-of-the-art software. Lift-and-project cuts are generated from a disjunction involving a combination of inequalities. One topic for investigation is how to simultaneously optimize the weighted combination of inequalities used in the disjunction underlying the cut, and the choice of multipliers in the monoidal strengthening of the resulting cut. Another topic in the same direction offers to improve the performance of Gomory cuts for mixed integer linear programs, by combining inequalities in well-defined ways. Other topics, aimed at understanding the structure of Lehman matrices and almost totally unimodular matrices, or an algorithm for finding an odd hole in a graph, are related to two important classes of problems: set packing and set covering. A better understanding of these classes of problems is a central aspect of the very active research currently occurring in the field of combinatorial optimization.To the extent that this project will be successful, it will advance the state of the art in mixed integer and combinatorial optimization, and thereby enhance our problem solving ability in a broad range of activities, from industrial production to logistics and telecommunications. The tools created here may be as useful in improving homeland security, as they may be instrumental in reinforcing our technological leadership. From the late fifties to the early nineties, integer programming was a way to formulate almost any optimization problem, yet the available computer codes could only handle toy problems of minuscule size. During the last decade the state of the art has radically changed, and today well over half of the integer programs formulated can also be solved. This project is expected to significantly accelerate this change.