Hardness and approximation of submodular minimum linear ordering problems

IF 2.2 2区 数学 Q2 COMPUTER SCIENCE, SOFTWARE ENGINEERING Mathematical Programming Pub Date : 2023-12-14 DOI:10.1007/s10107-023-02038-z
Majid Farhadi, Swati Gupta, Shengding Sun, Prasad Tetali, Michael C. Wigal
{"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}
引用次数: 0

Abstract

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.

Abstract Image

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
亚模态最小线性排序问题的难度和近似性
最小线性排序问题(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 松弛的积分差距,这可能是我们感兴趣的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
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.
期刊最新文献
Did smallpox cause stillbirths? Maternal smallpox infection, vaccination, and stillbirths in Sweden, 1780-1839. Fast convergence to non-isolated minima: four equivalent conditions for $${\textrm{C}^{2}}$$ functions Complexity of chordal conversion for sparse semidefinite programs with small treewidth Recycling valid inequalities for robust combinatorial optimization with budgeted uncertainty Accelerated stochastic approximation with state-dependent noise
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1