In view of the extended formulations (EFs) developments (e.g. "Fiorini, S., S. Massar, S. Pokutta, H.R. Tiwary, and R. de Wolf [2015]. Exponential Lower Bounds for Polytopes in Combinatorial Optimization. Journal of the ACM 62:2"), we focus in this paper on the question of whether it is possible to model an NP-Complete problem as a polynomial-sized linear program. For the sake of simplicity of exposition, the discussions are focused on the TSP. We show that a finding that there exists no polynomial-sized extended formulation of "the TSP polytope" does not (necessarily) imply that it is "impossible" for a polynomial-sized linear program to solve the TSP optimization problem. We show that under appropriate conditions the TSP optimization problem can be solved without recourse to the traditional city-to-city ("travel leg") variables, thereby side-stepping/"escaping from" "the TSP polytope" and hence, the barriers. Some illustrative examples are discussed.
翻译:鉴于扩展公式(EFs)的发展(例如“Fiorini, S., S. Massar, S. Pokutta, H.R. Tiwary, and R. de Wolf [2015]. 组合优化中多面体的指数下界. Journal of the ACM 62:2”),本文聚焦于是否可能将NP完全问题建模为多项式规模的线性规划这一议题。为简化论述,讨论以TSP问题为中心。我们证明,“TSP多面体”不存在多项式规模扩展公式的结论(未必)意味着“不可能”用多项式规模线性规划求解TSP优化问题。我们表明,在适当条件下,TSP优化问题可无需依赖传统城市间(“行程段”)变量求解,从而规避/“绕过”“TSP多面体”及其障碍。文中讨论了若干示例。