ACM Transactions on Algorithms最新文献

{"title":"PTAS for Sparse General-valued CSPs","authors":"Balázs F. Mezei, Marcin Wrochna, stanislav Živný","doi":"https://dl.acm.org/doi/10.1145/3569956","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3569956","url":null,"abstract":"<p>We study polynomial-time approximation schemes (PTASes) for constraint satisfaction problems (CSPs) such as Maximum Independent Set or Minimum Vertex Cover on sparse graph classes. </p><p>Baker’s approach gives a PTAS on planar graphs, excluded-minor classes, and beyond. For Max-CSPs, and even more generally, maximisation finite-valued CSPs (where constraints are arbitrary non-negative functions), Romero, Wrochna, and Živný [SODA’21] showed that the Sherali-Adams LP relaxation gives a simple PTAS for all fractionally-treewidth-fragile classes, which is the most general “sparsity” condition for which a PTAS is known. We extend these results to general-valued CSPs, which include “crisp” (or “strict”) constraints that have to be satisfied by every feasible assignment. The only condition on the crisp constraints is that their domain contains an element that is at least as feasible as all the others (but possibly less valuable).</p><p>For minimisation general-valued CSPs with crisp constraints, we present a PTAS for all <i>Baker</i> graph classes—a definition by Dvořák [SODA’20] that encompasses all classes where Baker’s technique is known to work, except for fractionally-treewidth-fragile classes. While this is standard for problems satisfying a certain monotonicity condition on crisp constraints, we show this can be relaxed to <i>diagonalisability</i>—a property of relational structures connected to logics, statistical physics, and random CSPs.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"8 3","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494890","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Approximation Schemes for Capacitated Vehicle Routing on Graphs of Bounded Treewidth, Bounded Doubling, or Highway Dimension","authors":"Aditya Jayaprakash, Mohammad R. Salavatipour","doi":"https://dl.acm.org/doi/10.1145/3582500","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3582500","url":null,"abstract":"<p>In this article, we present Approximation Schemes for Capacitated Vehicle Routing Problem (CVRP) on several classes of graphs. In CVRP, introduced by Dantzig and Ramser in 1959 [14], we are given a graph <i>G=(V,E)</i> with metric edges costs, a depot <i>r</i> ∈ <i>V</i>, and a vehicle of bounded capacity <i>Q</i>. The goal is to find a minimum cost collection of tours for the vehicle that returns to the depot, each visiting at most <i>Q</i> nodes, such that they cover all the nodes. This generalizes classic TSP and has been studied extensively. In the more general setting, each node <i>v</i> has a demand <i>d_v</i> and the total demand of each tour must be no more than <i>Q</i>. Either the demand of each node must be served by one tour (unsplittable) or can be served by multiple tours (splittable). The best-known approximation algorithm for general graphs has ratio α +2(1-ε) (for the unsplittable) and α +1-ε (for the splittable) for some fixed (ε gt frac{1}{3000}), where α is the best approximation for TSP. Even for the case of trees, the best approximation ratio is 4/3 [5] and it has been an open question if there is an approximation scheme for this simple class of graphs. Das and Mathieu [15] presented an approximation scheme with time <i>n</i>^{log^O(1/ε)n} for Euclidean plane ℝ². No other approximation scheme is known for any other class of metrics (without further restrictions on <i>Q</i>). In this article, we make significant progress on this classic problem by presenting Quasi-Polynomial Time Approximation Schemes (QPTAS) for graphs of bounded treewidth, graphs of bounded highway dimensions, and graphs of bounded doubling dimensions. For comparison, our result implies an approximation scheme for the Euclidean plane with run time <i>n^{O(log⁶n/ε⁵)}</i>.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"8 8","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Approximating (k,ℓ)-Median Clustering for Polygonal Curves","authors":"Maike Buchin, Anne Driemel, Dennis Rohde","doi":"https://dl.acm.org/doi/10.1145/3559764","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3559764","url":null,"abstract":"<p>In 2015, Driemel, Krivošija, and Sohler introduced the <i>k,ℓ</i>-median clustering problem for polygonal curves under the Fréchet distance. Given a set of input curves, the problem asks to find <i>k</i> median curves of at most ℓ vertices each that minimize the sum of Fréchet distances over all input curves to their closest median curve. A major shortcoming of their algorithm is that the input curves are restricted to lie on the real line. In this article, we present a randomized bicriteria-approximation algorithm that works for polygonal curves in ℝ<i>^d</i> and achieves approximation factor (1+ɛ) with respect to the clustering costs. The algorithm has worst-case running time linear in the number of curves, polynomial in the maximum number of vertices per curve (i.e., their complexity), and exponential in <i>d</i>, ℓ, 1/ɛ and 1/δ (i.e., the failure probability). We achieve this result through a shortcutting lemma, which guarantees the existence of a polygonal curve with similar cost as an optimal median curve of complexity ℓ, but of complexity at most 2ℓ -2, and whose vertices can be computed efficiently. We combine this lemma with the superset sampling technique by Kumar et al. to derive our clustering result. In doing so, we describe and analyze a generalization of the algorithm by Ackermann et al., which may be of independent interest.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"8 9","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Online Metric Algorithms with Untrusted Predictions","authors":"Antonios Antoniadis, Christian Coester, Marek Eliáš, Adam Polak, Bertrand Simon","doi":"https://dl.acm.org/doi/10.1145/3582689","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3582689","url":null,"abstract":"<p>Machine-learned predictors, although achieving very good results for inputs resembling training data, cannot possibly provide perfect predictions in all situations. Still, decision-making systems that are based on such predictors need not only benefit from good predictions, but should also achieve a decent performance when the predictions are inadequate. In this paper, we propose a prediction setup for arbitrary <i>metrical task systems (MTS)</i>\u0000(e.g., <i>caching</i>, <i><i>k</i>-server</i> and <i>convex body chasing</i>) and <i>online matching on the line</i>. We utilize results from the theory of online algorithms to show how to make the setup robust. Specifically for caching, we present an algorithm whose performance, as a function of the prediction error, is exponentially better than what is achievable for general MTS. Finally, we present an empirical evaluation of our methods on real world datasets, which suggests practicality.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"8 10","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494873","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Online Throughput Maximization on Unrelated Machines: Commitment is No Burden","authors":"Franziska Eberle, Nicole Megow, Kevin Schewior","doi":"https://dl.acm.org/doi/10.1145/3569582","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3569582","url":null,"abstract":"<p>We consider a fundamental online scheduling problem in which jobs with processing times and deadlines arrive online over time at their release dates. The task is to determine a feasible preemptive schedule on a single or multiple possibly unrelated machines that maximizes the number of jobs that complete before their deadline. Due to strong impossibility results for competitive analysis on a single machine, we require that jobs contain some <i>slack</i> ɛ &gt; 0, which means that the feasible time window for scheduling a job is at least 1+ɛ times its processing time on each eligible machine. Our contribution is two-fold: (i) We give the first non-trivial online algorithms for throughput maximization on unrelated machines, and (ii), this is the main focus of our paper, we answer the question on how to handle commitment requirements which enforce that a scheduler has to guarantee at a certain point in time the completion of admitted jobs. This is very relevant, e.g., in providing cloud-computing services, and disallows last-minute rejections of critical tasks. We present an algorithm for unrelated machines that is (Theta (frac{1}{varepsilon }))-competitive when the scheduler must commit upon starting a job. Somewhat surprisingly, this is the same optimal performance bound (up to constants) as for scheduling without commitment on a single machine. If commitment decisions must be made before a job’s slack becomes less than a δ-fraction of its size, we prove a competitive ratio of (mathcal {O}(frac{1}{varepsilon - delta })) for 0 &lt; δ &lt; ɛ. This result nicely interpolates between commitment upon starting a job and commitment upon arrival. For the latter commitment model, it is known that no (randomized) online algorithm admits any bounded competitive ratio. While we mainly focus on scheduling without migration, our results also hold when comparing against a migratory optimal solution in case of identical machines.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"1 4","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494869","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Competitive Algorithms for Generalized k-Server in Uniform Metrics","authors":"Nikhil Bansal, Marek Eliáš, Grigorios Koumoutsos, Jesper Nederlof","doi":"https://dl.acm.org/doi/10.1145/3568677","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3568677","url":null,"abstract":"<p>The generalized <i>k</i>-server problem is a far-reaching extension of the <i>k</i>-server problem with several applications. Here, each server <i>s_i</i> lies in its own metric space <i>M_i</i>. A request is a <i>k</i>-tuple <i>r</i> = (<i>r</i>₁,<i>r</i>₂,… ,<i>r_k</i>, which is served by moving some server <i>s_i</i> to the point <i>r_i ∈ M_i</i>, and the goal is to minimize the total distance traveled by the servers. Despite much work, no <i>f</i>(<i>k</i>)-competitive algorithm is known for the problem for <i>k</i> &gt; 2 servers, even for special cases such as uniform metrics and lines.</p><p>Here, we consider the problem in uniform metrics and give the first <i>f</i>(<i>k</i>)-competitive algorithms for general <i>k</i>. In particular, we obtain deterministic and randomized algorithms with competitive ratio <i>k</i> · 2<i>^k</i> and <i>O</i>(<i>k</i>³ log <i>k</i>), respectively. Our deterministic bound is based on a novel application of the polynomial method to online algorithms, and essentially matches the long-known lower bound of 2<i>^k</i>-1. We also give a 2^{2^<i>O(k)</i>}-competitive deterministic algorithm for weighted uniform metrics, which also essentially matches the recent doubly exponential lower bound for the problem.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"1 3","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494870","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Monotone Edge Flips to an Orientation of Maximum Edge-Connectivity à la Nash-Williams","authors":"Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-Ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki","doi":"https://dl.acm.org/doi/10.1145/3561302","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3561302","url":null,"abstract":"<p>We initiate the study of <i>k</i>-edge-connected orientations of undirected graphs through edge flips for <i>k</i> ≥ 2. We prove that in every orientation of an undirected <i>2k</i>-edge-connected graph, there exists a sequence of edges such that flipping their directions one by one does not decrease the edge connectivity, and the final orientation is <i>k</i>-edge connected. This yields an “edge-flip based” new proof of Nash-Williams’ theorem: A undirected graph <i>G</i> has a <i>k</i>-edge-connected orientation if and only if <i>G</i> is <i>2k</i>-edge connected. As another consequence of the theorem, we prove that the edge-flip graph of <i>k</i>-edge-connected orientations of an undirected graph <i>G</i> is connected if <i>G</i> is <i>(2k+2)</i>-edge connected. This has been known to be true only when <i>k=1</i>.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"1 2","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Linear-Time n0.4-Approximation for Longest Common Subsequence","authors":"Karl Bringmann, Vincent Cohen-Addad, Debarati Das","doi":"https://dl.acm.org/doi/10.1145/3568398","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3568398","url":null,"abstract":"<p>We consider the classic problem of computing the <b>Longest Common Subsequence (LCS)</b> of two strings of length <i>n</i>. The 40-year-old quadratic-time dynamic programming algorithm has recently been shown to be near-optimal by Abboud, Backurs, and Vassilevska Williams [FOCS’15] and Bringmann and Künnemann [FOCS’15] assuming the Strong Exponential Time Hypothesis. This has led the community to look for subquadratic <i>approximation</i> algorithms for the problem.</p><p>Yet, unlike the edit distance problem for which a constant-factor approximation in almost-linear time is known, very little progress has been made on LCS, making it a notoriously difficult problem also in the realm of approximation. For the general setting, only a naive <i>O</i>(<i>n</i>^ɛ/2-approximation algorithm with running time <i>OŠ</i>(<i>n^2-ɛ</i> has been known, for any constant 0 &lt; ɛ ≤ 1. Recently, a breakthrough result by Hajiaghayi, Seddighin, Seddighin, and Sun [SODA’19] provided a linear-time algorithm that yields a <i>O</i>(<i>n</i>^0.497956-approximation in expectation; improving upon the naive (O(sqrt {n}))-approximation for the first time.</p><p>In this paper, we provide an algorithm that in time <i>O</i>(<i>n</i>_2-ɛ) computes an <i>OŠ</i>(<i>n^2ɛ/5</i>-approximation with high probability, for any 0 &lt; ɛ ≤ 1. Our result (1) gives an <i>OŠ</i>(<i>n</i>^0.4-approximation in linear time, improving upon the bound of Hajiaghayi, Seddighin, Seddighin, and Sun, (2) provides an algorithm whose approximation scales with any subquadratic running time <i>O</i>(<i>n</i>^2-ɛ), improving upon the naive bound of <i>O</i>(<i>n</i>^ɛ/2) for any ɛ, and (3) instead of only in expectation, succeeds with high probability.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"46 1","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138516990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Counting Homomorphic Cycles in Degenerate Graphs","authors":"Lior Gishboliner, Yevgeny Levanzov, Asaf Shapira, Raphael Yuster","doi":"https://dl.acm.org/doi/10.1145/3560820","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3560820","url":null,"abstract":"<p>Since counting subgraphs in general graphs is, by and large, a computationally demanding problem, it is natural to try and design fast algorithms for restricted families of graphs. One such family that has been extensively studied is that of graphs of bounded degeneracy (e.g., planar graphs). This line of work, which started in the early 80’s, culminated in a recent work of Gishboliner et al., which highlighted the importance of the task of counting homomorphic copies of cycles (i.e., cyclic walks) in graphs of bounded degeneracy.</p><p>Our main result in this paper is a surprisingly tight relation between the above task and the well-studied problem of <i>detecting (standard) copies</i> of directed cycles in <i>general directed</i> graphs. More precisely, we prove the following:\u0000<p><ul><li><p>One can compute the number of homomorphic copies of <i>C_2k</i> and <i>C_2k+1</i> in <i>n</i>-vertex graphs of bounded degeneracy in time Õ(<i>n^d_k</i>), where the fastest <i>known</i> algorithm for detecting directed copies of <i>C_k</i> in general <i>m</i>-edge digraphs runs in time Õ(<i>m^d_k</i>).</p></li><li><p>Conversely, one can transform any <i>O(n^b_k)</i> algorithm for computing the number of homomorphic copies of <i>C_2k</i> or of <i>C_2k+1</i> in <i>n</i>-vertex graphs of bounded degeneracy, into an Õ(<i>m^b_k</i>) time algorithm for detecting directed copies of <i>C_k</i> in general <i>m</i>-edge digraphs.</p></li></ul></p></p><p>We emphasize that our first result does not use a black-box reduction (as opposed to the second result which does). Instead, we design an algorithm for computing the number of <i>C_k</i>-homomorphisms in degenerate graphs and show that one part of its <i>analysis</i> can be reduced to the analysis of the fastest known algorithm for detecting directed cycles in general digraphs, which was carried out in a recent breakthrough of Dalirrooyfard, Vuong and Vassilevska Williams. As a by-product of our algorithm, we obtain a new algorithm for detecting <i>k</i>-cycles in directed and undirected graphs of bounded degeneracy that is faster than all previously known algorithms for 7 ≤ <i>k</i> ≤ 11, and faster for all <i>k</i> ≥ 7 if the matrix multiplication exponent is 2.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"1 1","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Polynomial Kernel for Interval Vertex Deletion","authors":"Akanksha Agrawal, Daniel Lokshtanov, Pranabendu Misra, Saket Saurabh, Meirav Zehavi","doi":"https://dl.acm.org/doi/10.1145/3571075","DOIUrl":"https://doi.org/https://dl.acm.org/doi/10.1145/3571075","url":null,"abstract":"<p>Given a graph <i>G</i> and an integer <i>k</i>, the <span>Interval Vertex Deletion (IVD)</span> problem asks whether there exists a subset <i>S</i>⊆<i>V</i>(<i>G</i>) of size at most <i>k</i> such that <i>G</i> − <i>S</i> is an interval graph. This problem is known to be <sans-serif>NP</sans-serif>-complete [Yannakakis, STOC’78]. Originally in 2012, Cao and Marx showed that <span>IVD</span> is fixed parameter tractable: they exhibited an algorithm with running time (10^k n^{mathcal {O}(1)} ) [Cao and Marx, SODA’14]. The existence of a polynomial kernel for <span>IVD</span> remained a well-known open problem in Parameterized Complexity. In this paper, we settle this problem in the affirmative.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"1 5","pages":""},"PeriodicalIF":1.3,"publicationDate":"2023-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138494868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}