Mixed-Integer Linear Programming (MILP) plays an important role across a range of scientific disciplines and within areas of strategic importance to society. The MILP problems, however, suffer from combinatorial complexity. Because of integer decision variables, as the problem size increases, the number of possible solutions increases super-linearly thereby leading to a drastic increase in the computational effort. To efficiently solve MILP problems, a "price-based" decomposition and coordination approach is developed to exploit 1. the super-linear reduction of complexity upon the decomposition and 2. the geometric convergence potential inherent to Polyak's stepsizing formula for the fastest coordination possible to obtain near-optimal solutions in a computationally efficient manner. Unlike all previous methods to set stepsizes heuristically by adjusting hyperparameters, the key novel way to obtain stepsizes is purely decision-based: a novel "auxiliary" constraint satisfaction problem is solved, from which the appropriate stepsizes are inferred. Testing results for large-scale Generalized Assignment Problems (GAP) demonstrate that for the majority of instances, certifiably optimal solutions are obtained. For stochastic job-shop scheduling as well as for pharmaceutical scheduling, computational results demonstrate the two orders of magnitude speedup as compared to Branch-and-Cut (B&C). The new method has a major impact on the efficient resolution of complex Mixed-Integer Programming (MIP) problems arising within a variety of scientific fields.
翻译:混合线性计划(MILP)在一系列科学学科和对社会具有重要战略意义的领域中发挥着重要作用。但是,MILP问题具有组合复杂性。由于整数决定变量,随着问题规模的增加,可能的解决办法的数量会增加超线性,从而导致计算努力的急剧增加。为了有效解决MILP问题,正在开发一种“基于价格”的分解和协调办法,以便利用1. 分解后复杂程度的超线性降低,2. 聚氨酯分解方案为尽可能以计算效率的方式获得接近最佳的解决方案而逐步采用的公式所固有的几何趋同性趋同潜力。 与以前所有通过调整超参数而使步骤化的方法不同,获得分级的关键新颖方法完全是基于决定的:解决了一个新的“增量”制约性满意度问题,从中可以推断出适当的分级。 大规模通用任务问题的测试结果(GAP)表明,对于多数情况来说,在快速协调的情况下,在快速的科学-优化协调模式下,将快速的解决方案化后,将快速化的系统化后,将获得两个层次的系统化方法。