In this paper, we present a new network flow linear programming (LP) model of the standard Assignment Problem (AP) polytope. The model is not meant to be competitive with the existing standard, two-dimensional abstraction of the AP with respect to solution procedures, as it is very-large-scale, with a variable space of dimension m^9, where m is the number of assignments. However, it allows for hard combinatorial optimization problems (COPs) to be solved as "strict" linear programs. Because the size complexity of the model is O(m^9), it affirms "P=NP." Conditions which can be used to assess the validity (or guide the formulations) of other models are developed. Illustrative applications to hard COPs are provided for the Quadratic Assignment (QAP) and Traveling Salesman (TSP) problems. Issues pertaining to the extended formulations "barriers" for the LP modeling of hard COPs are not discussed because the developments in the paper are focused on the AP polytope only, and also because the applicability/non-applicability of those "barriers" in the context of the modeling framework used is thoroughly addressed in a separate paper*. Specific reasons why applications of the proposed modeling approach in variable spaces of dimension less than m^9 may not yield integral LP models are discussed (in an appendix), along with an illustrative numerical example. *: Diaby, M., M. Karwan, and L. Sun [2024]. On modeling NP-Complete problems as polynomial-sized linear programs: Escaping/Side-stepping the "barriers." Available at: arXiv:2304.07716 [cc.CC].


翻译:本文提出了一种用于标准指派问题多面体的新型网络流线性规划模型。该模型在求解过程方面并非旨在与现有的标准二维抽象模型竞争,因为它规模极大,变量空间维度为m^9,其中m为指派数量。然而,它允许将困难的组合优化问题作为“严格”线性规划来求解。由于模型的规模复杂度为O(m^9),这证实了“P=NP”。本文还提出了可用于评估其他模型有效性(或指导其构建)的条件。针对二次指派问题和旅行商问题,提供了在困难组合优化问题中的示例应用。本文未讨论关于困难组合优化问题线性规划建模中扩展公式“障碍”的相关问题,因为论文的进展仅聚焦于指派问题多面体,并且这些“障碍”在所采用建模框架背景下的适用性/非适用性已在另一篇独立论文*中得到彻底阐述。文中(在附录中)讨论了所提出的建模方法在维度小于m^9的变量空间中应用可能无法产生整数线性规划模型的具体原因,并附有说明性数值示例。*:Diaby, M., M. Karwan, and L. Sun [2024]. On modeling NP-Complete problems as polynomial-sized linear programs: Escaping/Side-stepping the "barriers." Available at: arXiv:2304.07716 [cc.CC].

0
下载
关闭预览

相关内容

UnHiPPO:面向不确定性的状态空间模型初始化方法
专知会员服务
11+阅读 · 2025年6月6日
【NeurIPS2024】几何轨迹扩散模型
专知会员服务
24+阅读 · 2024年10月20日
NeurIPS 2021 | 寻找用于变分布泛化的隐式因果因子
专知会员服务
17+阅读 · 2021年12月7日
专知会员服务
20+阅读 · 2020年12月9日
AAAI 2022 | ProtGNN:自解释图神经网络
专知
10+阅读 · 2022年2月28日
图节点嵌入(Node Embeddings)概述,9页pdf
专知
15+阅读 · 2020年8月22日
【NeurIPS2019】图变换网络:Graph Transformer Network
误差反向传播——CNN
统计学习与视觉计算组
30+阅读 · 2018年7月12日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
VIP会员
相关VIP内容
UnHiPPO:面向不确定性的状态空间模型初始化方法
专知会员服务
11+阅读 · 2025年6月6日
【NeurIPS2024】几何轨迹扩散模型
专知会员服务
24+阅读 · 2024年10月20日
NeurIPS 2021 | 寻找用于变分布泛化的隐式因果因子
专知会员服务
17+阅读 · 2021年12月7日
专知会员服务
20+阅读 · 2020年12月9日
相关资讯
AAAI 2022 | ProtGNN:自解释图神经网络
专知
10+阅读 · 2022年2月28日
图节点嵌入(Node Embeddings)概述,9页pdf
专知
15+阅读 · 2020年8月22日
【NeurIPS2019】图变换网络:Graph Transformer Network
误差反向传播——CNN
统计学习与视觉计算组
30+阅读 · 2018年7月12日
相关基金
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员