亚模态最小线性排序问题的难度和近似性

IF 2.2 2区 数学 Q2 COMPUTER SCIENCE, SOFTWARE ENGINEERING
Majid Farhadi, Swati Gupta, Shengding Sun, Prasad Tetali, Michael C. Wigal
{"title":"亚模态最小线性排序问题的难度和近似性","authors":"Majid Farhadi, Swati Gupta, Shengding Sun, Prasad Tetali, Michael C. Wigal","doi":"10.1007/s10107-023-02038-z","DOIUrl":null,"url":null,"abstract":"<p>The minimum linear ordering problem (MLOP) generalizes well-known combinatorial optimization problems such as minimum linear arrangement and minimum sum set cover. MLOP seeks to minimize an aggregated cost <span>\\(f(\\cdot )\\)</span> due to an ordering <span>\\(\\sigma \\)</span> of the items (say [<i>n</i>]), i.e., <span>\\(\\min _{\\sigma } \\sum _{i\\in [n]} f(E_{i,\\sigma })\\)</span>, where <span>\\(E_{i,\\sigma }\\)</span> is the set of items mapped by <span>\\(\\sigma \\)</span> to indices [<i>i</i>]. Despite an extensive literature on MLOP variants and approximations for these, it was unclear whether the graphic matroid MLOP was NP-hard. We settle this question through non-trivial reductions from mininimum latency vertex cover and minimum sum vertex cover problems. We further propose a new combinatorial algorithm for approximating monotone submodular MLOP, using the theory of principal partitions. This is in contrast to the rounding algorithm by Iwata et al. (in: APPROX, 2012), using Lovász extension of submodular functions. We show a <span>\\((2-\\frac{1+\\ell _{f}}{1+|E|})\\)</span>-approximation for monotone submodular MLOP where <span>\\(\\ell _{f}=\\frac{f(E)}{\\max _{x\\in E}f(\\{x\\})}\\)</span> satisfies <span>\\(1 \\le \\ell _f \\le |E|\\)</span>. Our theory provides new approximation bounds for special cases of the problem, in particular a <span>\\((2-\\frac{1+r(E)}{1+|E|})\\)</span>-approximation for the matroid MLOP, where <span>\\(f = r\\)</span> is the rank function of a matroid. We further show that minimum latency vertex cover is <span>\\(\\frac{4}{3}\\)</span>-approximable, by which we also lower bound the integrality gap of its natural LP relaxation, which might be of independent interest.</p>","PeriodicalId":18297,"journal":{"name":"Mathematical Programming","volume":"200 1","pages":""},"PeriodicalIF":2.2000,"publicationDate":"2023-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Hardness and approximation of submodular minimum linear ordering problems\",\"authors\":\"Majid Farhadi, Swati Gupta, Shengding Sun, Prasad Tetali, Michael C. Wigal\",\"doi\":\"10.1007/s10107-023-02038-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The minimum linear ordering problem (MLOP) generalizes well-known combinatorial optimization problems such as minimum linear arrangement and minimum sum set cover. MLOP seeks to minimize an aggregated cost <span>\\\\(f(\\\\cdot )\\\\)</span> due to an ordering <span>\\\\(\\\\sigma \\\\)</span> of the items (say [<i>n</i>]), i.e., <span>\\\\(\\\\min _{\\\\sigma } \\\\sum _{i\\\\in [n]} f(E_{i,\\\\sigma })\\\\)</span>, where <span>\\\\(E_{i,\\\\sigma }\\\\)</span> is the set of items mapped by <span>\\\\(\\\\sigma \\\\)</span> to indices [<i>i</i>]. Despite an extensive literature on MLOP variants and approximations for these, it was unclear whether the graphic matroid MLOP was NP-hard. We settle this question through non-trivial reductions from mininimum latency vertex cover and minimum sum vertex cover problems. We further propose a new combinatorial algorithm for approximating monotone submodular MLOP, using the theory of principal partitions. This is in contrast to the rounding algorithm by Iwata et al. (in: APPROX, 2012), using Lovász extension of submodular functions. We show a <span>\\\\((2-\\\\frac{1+\\\\ell _{f}}{1+|E|})\\\\)</span>-approximation for monotone submodular MLOP where <span>\\\\(\\\\ell _{f}=\\\\frac{f(E)}{\\\\max _{x\\\\in E}f(\\\\{x\\\\})}\\\\)</span> satisfies <span>\\\\(1 \\\\le \\\\ell _f \\\\le |E|\\\\)</span>. Our theory provides new approximation bounds for special cases of the problem, in particular a <span>\\\\((2-\\\\frac{1+r(E)}{1+|E|})\\\\)</span>-approximation for the matroid MLOP, where <span>\\\\(f = r\\\\)</span> is the rank function of a matroid. We further show that minimum latency vertex cover is <span>\\\\(\\\\frac{4}{3}\\\\)</span>-approximable, by which we also lower bound the integrality gap of its natural LP relaxation, which might be of independent interest.</p>\",\"PeriodicalId\":18297,\"journal\":{\"name\":\"Mathematical Programming\",\"volume\":\"200 1\",\"pages\":\"\"},\"PeriodicalIF\":2.2000,\"publicationDate\":\"2023-12-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Programming\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s10107-023-02038-z\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Programming","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s10107-023-02038-z","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0

摘要

最小线性排序问题(MLOP)概括了众所周知的组合优化问题,如最小线性排列和最小和集覆盖。MLOP 寻求最小化由于项目(比如 [n])的排序造成的总成本(f(\cdot )\),即(\min _{\sigma }\sum _{i\in [n]} f(E_{i,\sigma })\),其中 \(E_{i,\sigma }\) 是由\(\sigma \)映射到索引 [i] 的项集。尽管有大量关于 MLOP 变体和近似的文献,但还不清楚图形 matroid MLOP 是否是 NP-hard。我们通过从最小延迟顶点覆盖和最小和顶点覆盖问题的非难还原解决了这个问题。我们进一步提出了一种新的组合算法,利用主分区理论逼近单调子模 MLOP。这与 Iwata 等人(载于:APPROX, 2012)使用子模函数的 Lovász 扩展的舍入算法截然不同。我们展示了单调子模 MLOP 的近似((2-\frac{1+\ell _{f}}{1+|E|}),其中 \(\ell _{f}=\frac{f(E)}{max _{x\in E}f(\{x\})}\) 满足 \(1 \le \ell _f \le |E|\)。我们的理论为问题的特殊情况提供了新的近似边界,特别是为矩阵 MLOP 提供了 \((2-\frac{1+r(E)}{1+|E|})\) 近似值,其中 \(f = r\) 是矩阵的秩函数。我们进一步证明了最小延迟顶点覆盖是 \(\frac{4}{3}\)-可近似的,通过它,我们还降低了其自然 LP 松弛的积分差距,这可能是我们感兴趣的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。

Hardness and approximation of submodular minimum linear ordering problems

Hardness and approximation of submodular minimum linear ordering problems

The minimum linear ordering problem (MLOP) generalizes well-known combinatorial optimization problems such as minimum linear arrangement and minimum sum set cover. MLOP seeks to minimize an aggregated cost \(f(\cdot )\) due to an ordering \(\sigma \) of the items (say [n]), i.e., \(\min _{\sigma } \sum _{i\in [n]} f(E_{i,\sigma })\), where \(E_{i,\sigma }\) is the set of items mapped by \(\sigma \) to indices [i]. Despite an extensive literature on MLOP variants and approximations for these, it was unclear whether the graphic matroid MLOP was NP-hard. We settle this question through non-trivial reductions from mininimum latency vertex cover and minimum sum vertex cover problems. We further propose a new combinatorial algorithm for approximating monotone submodular MLOP, using the theory of principal partitions. This is in contrast to the rounding algorithm by Iwata et al. (in: APPROX, 2012), using Lovász extension of submodular functions. We show a \((2-\frac{1+\ell _{f}}{1+|E|})\)-approximation for monotone submodular MLOP where \(\ell _{f}=\frac{f(E)}{\max _{x\in E}f(\{x\})}\) satisfies \(1 \le \ell _f \le |E|\). Our theory provides new approximation bounds for special cases of the problem, in particular a \((2-\frac{1+r(E)}{1+|E|})\)-approximation for the matroid MLOP, where \(f = r\) is the rank function of a matroid. We further show that minimum latency vertex cover is \(\frac{4}{3}\)-approximable, by which we also lower bound the integrality gap of its natural LP relaxation, which might be of independent interest.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Mathematical Programming
Mathematical Programming 数学-计算机:软件工程
CiteScore
5.70
自引率
11.10%
发文量
160
审稿时长
4-8 weeks
期刊介绍: Mathematical Programming publishes original articles dealing with every aspect of mathematical optimization; that is, everything of direct or indirect use concerning the problem of optimizing a function of many variables, often subject to a set of constraints. This involves theoretical and computational issues as well as application studies. Included, along with the standard topics of linear, nonlinear, integer, conic, stochastic and combinatorial optimization, are techniques for formulating and applying mathematical programming models, convex, nonsmooth and variational analysis, the theory of polyhedra, variational inequalities, and control and game theory viewed from the perspective of mathematical programming.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信