[论文解读] How to choose what you lift

Amitabh Basu, Santanu S. Dey+1 more|arXiv (Cornell University)|May 21, 2016

Mathematical Dynamics and Fractals参考文献 14被引用 3

一句话总结

本文为在唯一提升性质不成立时的割生成函数中的提升发展了一般理论，引入了系统化方法以识别有效提升并刻画其结构。关键贡献是一个将提升扩展至非唯一情形的框架，从而在混合整数规划和割平面理论中实现更广泛的应用。

ABSTRACT

We explore the lifting question in the context of cut-generating functions. Most of the prior literature on lifting for cut-generating functions focuses on which cut-generating functions have the unique lifting property. Here we develop a general theory for under- standing how to do lifting for cut-generating functions which do not have the unique lifting property.

研究动机与目标

• 解决割生成函数在缺乏唯一提升性质时提升理论中的空白。
• 为在非唯一情形下识别和刻画有效提升建立系统化框架。
• 扩展提升技术在混合整数规划割生成中的适用性。
• 揭示当唯一性不成立时可能提升空间的结构洞见。

提出的方法

• 提出一种适用于不满足唯一提升性质的割生成函数的广义提升框架。
• 通过提升多面体的结构分析，刻画所有有效提升。
• 应用对偶性和多面体技术，分析可行提升系数的集合。
• 建立多个有效提升存在的条件，以及其与原始割生成函数的关系。
• 采用分解方法，将提升过程分解为可处理的组成部分。
• 利用次可加函数及其扩展的性质，建模提升行为。

实验结果

研究问题

• RQ1 当割生成函数不具有唯一提升时，如何系统地执行提升？
• RQ2 在非唯一情况下，哪些结构特性定义了所有有效提升的集合？
• RQ3 在缺乏唯一性时，提升割的系数与原始割生成函数之间有何关系？
• RQ4 在何种条件下可确保多个有效提升的存在，以及如何对其进行刻画？
• RQ5 能否发展一种通用理论，统一涵盖唯一与非唯一提升情形下的提升？

主要发现

• 开发了一种适用于缺乏唯一提升性质的割生成函数的通用提升框架。
• 所有有效提升的集合被刻画为一个多面体，从而可系统探索可能的扩展。
• 识别出多个不同提升存在的条件，扩展了经典唯一情形。
• 该理论揭示了原始割生成函数与其提升变体之间的结构关系。
• 通过探索非唯一提升路径，该方法可构造出更强的割。
• 该框架为将割平面方法扩展至更广泛的混合整数规划类别提供了基础。