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.
期刊介绍:
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.