当前期刊: ACM Transactions on Algorithms Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
  • Parameterized Hardness of Art Gallery Problems
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-19
    Édouard Bonnet; Tillmann Miltzow

    Given a simple polygon P on n vertices, two points x, y in P are said to be visible to each other if the line segment between x and y is contained in P. The Point Guard Art Gallery problem asks for a minimum set S such that every point in P is visible from a point in S. The Vertex Guard Art Gallery problem asks for such a set S subset of the vertices of P. A point in the set S is referred to as a guard

  • Symmetry Exploitation for Online Machine Covering with Bounded Migration
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-07-06
    Waldo Gálvez; José A. Soto; José Verschae

    Online models that allow recourse can be highly effective in situations where classical online models are too pessimistic. One such problem is the online machine covering problem on identical machines. In this setting, jobs arrive one by one and must be assigned to machines with the objective of maximizing the minimum machine load. When a job arrives, we are allowed to reassign some jobs as long as

  • Approximate Single-Source Fault Tolerant Shortest Path
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-07-06
    Surender Baswana; Keerti Choudhary; Moazzam Hussain; Liam Roditty

    Let G=(V,E) be an n-vertices m-edges directed graph with edge weights in the range [1,W] for some parameter W, and sϵ V be a designated source. In this article, we address several variants of the problem of maintaining the (1+ε)-approximate shortest path from s to each vϵ V{s} in the presence of a failure of an edge or a vertex. From the graph theory perspective, we show that G has a subgraph H with

  • Dynamic Parameterized Problems and Algorithms
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-07-06
    Josh Alman; Matthias Mnich; Virginia Vassilevska Williams

    Fixed-parameter algorithms and kernelization are two powerful methods to solve NP-hard problems. Yet so far those algorithms have been largely restricted to static inputs. In this article, we provide fixed-parameter algorithms and kernelizations for fundamental NP-hard problems with dynamic inputs. We consider a variety of parameterized graph and hitting set problems that are known to have f(k)n1+o(1)

  • The Non-Uniformk-Center Problem
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-19
    Deeparnab Chakrabarty; Prachi Goyal; Ravishankar Krishnaswamy

    In this article, we introduce and study the Non-Uniform k-Center (NUkC) problem. Given a finite metric space (X, d) and a collection of balls of radii { r1 ≥ … ≥ rk}, the NUkC problem is to find a placement of their centers in the metric space and find the minimum dilation α, such that the union of balls of radius α ⋅ ri around the ith center covers all the points in X. This problem naturally arises

  • A Colored Path Problem and Its Applications
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-19
    Eduard Eiben; Iyad Kanj

    Given a set of obstacles and two points in the plane, is there a path between the two points that does not cross more than k different obstacles? Equivalently, can we remove k obstacles so that there is an obstacle-free path between the two designated points? This is a fundamental NP-hard problem that has undergone a tremendous amount of research work. The problem can be formulated and generalized

  • Tree Edit Distance Cannot be Computed in Strongly Subcubic Time (Unless APSP Can)
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-07-06
    Karl Bringmann; Paweł Gawrychowski; Shay Mozes; Oren Weimann

    The edit distance between two rooted ordered trees with n nodes labeled from an alphabet Ʃ is the minimum cost of transforming one tree into the other by a sequence of elementary operations consisting of deleting and relabeling existing nodes, as well as inserting new nodes. Tree edit distance is a well-known generalization of string edit distance. The fastest known algorithm for tree edit distance

  • Approximating Spanners and Directed Steiner Forest
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-12
    Eden Chlamtáč; Michael Dinitz; Guy Kortsarz; Bundit Laekhanukit

    It was recently found that there are very close connections between the existence of additive spanners (subgraphs where all distances are preserved up to an additive stretch), distance preservers (subgraphs in which demand pairs have their distance preserved exactly), and pairwise spanners (subgraphs in which demand pairs have their distance preserved up to a multiplicative or additive stretch) [Abboud-Bodwin

  • Nearly ETH-tight Algorithms for Planar Steiner Tree with Terminals on Few Faces
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Sándor Kisfaludi-Bak; Jesper Nederlof; Erik Jan van Leeuwen

    The STEINER TREE problem is one of the most fundamental NP-complete problems, as it models many network design problems. Recall that an instance of this problem consists of a graph with edge weights and a subset of vertices (often called terminals); the goal is to find a subtree of the graph of minimum total weight that connects all terminals. A seminal paper by Erickson et al. [Math. Oper. Res., 1987{

  • The Complexity of Cake Cutting with Unequal Shares
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Ágnes Cseh; Tamás Fleiner

    An unceasing problem of our prevailing society is the fair division of goods. The problem of proportional cake cutting focuses on dividing a heterogeneous and divisible resource, the cake, among n players who value pieces according to their own measure function. The goal is to assign each player a not necessarily connected part of the cake that the player evaluates at least as much as her proportional

  • Periods of Iterations of Functions with Restricted Preimage Sizes
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Rodrigo S. V. Martins; Daniel Panario; Claudio Qureshi; Eric Schmutz

    Let [n{ = {1, …, n} and let Ωn be the set of all mappings from [n{ to itself. Let f be a random uniform element of Ωn and let T(f) and B(f) denote, respectively, the least common multiple and the product of the length of the cycles of f. Harris proved in 1973 that T converges in distribution to a standard normal distribution and, in 2011, Schmutz obtained an asymptotic estimate on the logarithm of

  • Tight Bounds on Online Checkpointing Algorithms
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Achiya Bar-On; Itai Dinur; Orr Dunkelman; Rani Hod; Nathan Keller; Eyal Ronen; Adi Shamir

    The problem of online checkpointing is a classical problem with numerous applications that has been studied in various forms for almost 50 years. In the simplest version of this problem, a user has to maintain k memorized checkpoints during a long computation, where the only allowed operation is to move one of the checkpoints from its old time to the current time, and his goal is to keep the checkpoints

  • Covering Small Independent Sets and Separators with Applications to Parameterized Algorithms
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Daniel Lokshtanov; Fahad Panolan; Saket Saurabh; Roohani Sharma; Meirav Zehavi

    We present two new combinatorial tools for the design of parameterized algorithms. The first is a simple linear time randomized algorithm that given as input a d-degenerate graph G and an integer k, outputs an independent set Y, such that for every independent set X in G of size at most k, the probability that X is a subset of Y is at least (((d+1)kk) . k(d+1))-1. The second is a new (deterministic)

  • An Improved Isomorphism Test for Bounded-tree-width Graphs
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Martin Grohe; Daniel Neuen; Pascal Schweitzer; Daniel Wiebking

    We give a new FPT algorithm testing isomorphism of n-vertex graphs of tree-width k in time 2kpolylog(k)n3, improving the FPT algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and Saurabh (FOCS 2014), which runs in time 2O(k5 log k)n5. Based on an improved version of the isomorphism-invariant graph decomposition technique introduced by Lokshtanov et al., we prove restrictions on the structure of the

  • Time- and Space-optimal Algorithm for the Many-visits TSP
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    André Berger; László Kozma; Matthias Mnich; Roland Vincze

    The many-visits traveling salesperson problem (MV-TSP) asks for an optimal tour of n cities that visits each city c a prescribed number kc of times. Travel costs may be asymmetric, and visiting a city twice in a row may incur a non-zero cost. The MV-TSP problem finds applications in scheduling, geometric approximation, and Hamiltonicity of certain graph families.

  • Structure Learning of H-Colorings
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Antonio Blanca; Zongchen Chen; Daniel Štefankoviè; Eric Vigoda

    We study the following structure learning problem for H-colorings. For a fixed (and known) constraint graph H with q colors, given access to uniformly random H-colorings of an unknown graph G=(V,E), how many samples are required to learn the edges of G? We give a characterization of the constraint graphs H for which the problem is identifiable for every G and show that there are identifiable constraint

  • Random Walks on Small World Networks
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Martin E. Dyer; Andreas Galanis; Leslie Ann Goldberg; Mark Jerrum; Eric Vigoda

    We study the mixing time of random walks on small-world networks modelled as follows: starting with the 2-dimensional periodic grid, each pair of vertices {u,v} with distance d> 1 is added as a “long-range” edge with probability proportional to d-r, where r≥ 0 is a parameter of the model. Kleinberg [33{ studied a close variant of this network model and proved that the (decentralised) routing time is

  • A PTAS for Euclidean TSP with Hyperplane Neighborhoods
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Antonios Antoniadis; Krzysztof Fleszar; Ruben Hoeksma; Kevin Schewior

    In the Traveling Salesperson Problem with Neighborhoods (TSPN), we are given a collection of geometric regions in some space. The goal is to output a tour of minimum length that visits at least one point in each region. Even in the Euclidean plane, TSPN is known to be APX-hard [27{, which gives rise to studying more tractable special cases of the problem. In this article, we focus on the fundamental

  • Enumerating Minimal Dominating Sets in Kt-free Graphs and Variants
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Marthe Bonamy; Oscar Defrain; Marc Heinrich; Michał Pilipczuk; Jean-Florent Raymond

    It is a long-standing open problem whether the minimal dominating sets of a graph can be enumerated in output-polynomial time. In this article we investigate this problem in graph classes defined by forbidding an induced subgraph. In particular, we provide output-polynomial time algorithms for Kt-free graphs and for several related graph classes. This answers a question of Kanté et al. about enumeration

  • Clustering in Hypergraphs to Minimize Average Edge Service Time
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Ori Rottenstreich; Haim Kaplan; Avinatan Hassidim

    We study the problem of clustering the vertices of a weighted hypergraph such that on average the vertices of each edge can be covered by a small number of clusters. This problem has many applications, such as for designing medical tests, clustering files on disk servers, and placing network services on servers. The edges of the hypergraph model groups of items that are likely to be needed together

  • Improved Dynamic Graph Coloring
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-06-01
    Shay Solomon; Nicole Wein

    This article studies the fundamental problem of graph coloring in fully dynamic graphs. Since the problem of computing an optimal coloring, or even approximating it to within n1-ε for any ε > 0, is NP-hard in static graphs, there is no hope to achieve any meaningful computational results for general graphs in the dynamic setting. It is therefore only natural to consider the combinatorial aspects of

  • Deterministic Sparse Suffix Sorting
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-05-06
    Johannes Fischer; Tomohiro I; Dominik Köppl

    Given a text T of length n, we propose a deterministic online algorithm computing the sparse suffix array and the sparse longest common prefix array of T in O(c (lg n)½ + m lg m lg n lg* n) time with O(m) words of space under the premise that the space of T is rewritable, where m d n is the number of suffixes to be sorted (provided online and arbitrarily), and c is the number of characters with m d

  • Test
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-04-30

    No abstract available.

  • Oblivious resampling oracles and parallel algorithms for the Lopsided Lovász Local Lemma
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-03-31
    David G Harris

    The Lov\'{a}sz Local Lemma (LLL) is a probabilistic tool which shows that, if a collection of ``bad' events $\mathcal B$ in a probability space are not too likely and not too interdependent, then there is a positive probability that no bad-events in $\mathcal B$ occur. Moser \& Tardos (2010) gave sequential and parallel algorithms which transformed most applications of the variable-assignment LLL into

  • Polylogarithmic Approximation Algorithms for Weighted-F-Deletion Problems
    ACM Trans. Algorithms (IF 0.758) Pub Date : 2020-03-20
    Akanksha Agrawal; Daniel Lokshtanov; Pranabendu Misra; Saket Saurabh; Meirav Zehavi

    For a family of graphs $\mathcal{F}$, the {\sc Weighted $\mathcal{F}$Vertex Deletion} problem, is defined as follows: given an $n$-vertex undirected graph $G$ and a weight function $w: V(G)\rightarrow\mathbb{R}$, find a minimum weight subset $S\subseteqV(G)$ such that $G-S$ belongs to $\cal{F}$. We devise a recursive scheme to obtain $\mathcal{O}(\log^{\mathcal{O}(1)}n)$-approximation algorithms for

Contents have been reproduced by permission of the publishers.
Springer Nature Live 产业与创新线上学术论坛
ACS ES&T Engineering
ACS ES&T Water