English
Related papers

Related papers: A simple local 3-approximation algorithm for verte…

200 papers

This paper is concerned with the recognition of approximate graph products with respect to the Cartesian product. Most graphs are prime, although they can have a rich product-like structure. The proposed algorithms are based on a local…

Discrete Mathematics · Computer Science 2014-07-14 Marc Hellmuth , Wilfried Imrich , Tomas Kupka

We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing…

Logic in Computer Science · Computer Science 2023-06-22 Robin Eßmann , Tobias Nipkow , Simon Robillard , Ujkan Sulejmani

We show how to compute a 20-approximation of a minimum dominating set in a planar graph in a constant number of rounds in the LOCAL model of distributed computing. This improves on the previously best known approximation factor of 52, which…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-30 Ozan Heydt , Sebastian Siebertz , Alexandre Vigny

This paper deals with the problem of finding a collection of vertex-disjoint paths in a given graph G=(V,E) such that each path has at least four vertices and the total number of vertices in these paths is maximized. The problem is NP-hard…

Data Structures and Algorithms · Computer Science 2023-04-26 Mingyang Gong , Zhi-Zhong Chen , Guohui Lin , Zhaohui Zhan

In this work, we initiate a thorough study of parameterized graph optimization problems in the distributed setting. In a parameterized problem, an algorithm decides whether a solution of size bounded by a \emph{parameter} $k$ exists and if…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-08-07 Ran Ben-Basat , Ken-ichi Kawarabayashi , Gregory Schwartzman

The CONNECTED VERTEX COVER problem asks for a vertex cover in a graph that induces a connected subgraph. The problem is known to be fixed-parameter tractable (FPT), and is unlikely to have a polynomial sized kernel (under complexity…

Data Structures and Algorithms · Computer Science 2018-10-08 R. Krithika , Diptapriyo Majumdar , Venkatesh Raman

A $k$-matching cover of a graph $G$ is a union of $k$ matchings of $G$ which covers $V(G)$. A matching cover of $G$ is optimal if it consists of the fewest matchings of $G$. In this paper, we present an algorithm for finding an optimal…

Combinatorics · Mathematics 2016-12-06 Xiumei Wang , Xiaoxin Song , Jinjiang Yuan

In the Partial Vertex Cover (PVC) problem, we are given an $n$-vertex graph $G$ and a positive integer $k$, and the objective is to find a vertex subset $S$ of size $k$ maximizing the number of edges with at least one end-point in $S$. This…

Data Structures and Algorithms · Computer Science 2022-01-12 Fahad Panolan , Hannane Yaghoubizade

Constructing a minimal vertex cover of a graph can be seen as a prototype for a combinatorial optimization problem under hard constraints. In this paper, we develop and analyze message passing techniques, namely warning and survey…

Statistical Mechanics · Physics 2007-05-23 Martin Weigt , Haijun Zhou

Plotting solution sets for particular equations may be complicated by the existence of turning points. Here we describe an algorithm which not only overcomes such problematic points, but does so in the most general of settings. Applications…

Numerical Analysis · Mathematics 2011-07-05 Steven Pollack , Daniel Badali , Jonathan Pollack

The problem of vertex guarding a simple polygon was first studied by Subir K. Ghosh (1987), who presented a polynomial-time $O(\log n)$-approximation algorithm for placing as few guards as possible at vertices of a simple $n$-gon $P$, such…

Computational Geometry · Computer Science 2019-07-03 Stav Ashur , Omrit Filtser , Matthew J. Katz

We propose a new algorithm to the problem of polygonal curve approximation based on a multiresolution approach. This algorithm is suboptimal but still maintains some optimality between successive levels of resolution using dynamic…

Computer Vision and Pattern Recognition · Computer Science 2007-05-23 Pierre-François Marteau , Gilbas Ménier

In this paper, we develop a distributed algorithm for solving a class of distributed convex optimization problems where the local objective functions can be a general nonsmooth function, and all equalities and inequalities are network-wide…

Optimization and Control · Mathematics 2026-04-14 Yeong-Ung Kim , Hyo-Sung Ahn

Finding a maximum cut is a fundamental task in many computational settings. Surprisingly, it has been insufficiently studied in the classic distributed settings, where vertices communicate by synchronously sending messages to their…

Data Structures and Algorithms · Computer Science 2017-07-27 Keren Censor-Hillel , Rina Levy , Hadas Shachnai

We present an algorithm for sampling tightly confined random equilateral closed polygons in three-space which has runtime linear in the number of edges. Using symplectic geometry, sampling such polygons reduces to sampling a moment…

Geometric Topology · Mathematics 2026-05-19 Clayton Shonkwiler , Kandin Theis

We study the problem of estimating the size of maximum matching and minimum vertex cover in sublinear time. Denoting the number of vertices by $n$ and the average degree in the graph by $\bar{d}$, we obtain the following results for both…

Data Structures and Algorithms · Computer Science 2022-03-03 Soheil Behnezhad

In this paper, we study two generalizations of Vertex Cover and Edge Cover, namely Colorful Vertex Cover and Colorful Edge Cover. In the Colorful Vertex Cover problem, given an $n$-vertex edge-colored graph $G$ with colors from $\{1,…

Data Structures and Algorithms · Computer Science 2023-08-31 Sayan Bandyapadhyay , Aritra Banik , Sujoy Bhore

The eternal vertex cover problem is a dynamic variant of the classical vertex cover problem. It is NP-hard to compute the eternal vertex cover number of graphs and known algorithmic results for the problem are very few. This paper presents…

Discrete Mathematics · Computer Science 2020-05-19 Jasine Babu , Veena Prabhakaran , Arko Sharma

The Local Computation Algorithms (LCA) model is a computational model aimed at problem instances with huge inputs and output. For graph problems, the input graph is accessed using probes: strong probes (SP) specify a vertex $v$ and receive…

Data Structures and Algorithms · Computer Science 2017-03-23 Uriel Feige , Boaz Patt-Shamir , Shai Vardi

Suppose we want to construct some structure on a bounded-degree graph, e.g., an almost maximum matching, and we want to decide about each edge depending only on its constant-radius neighborhood. We examine and compare the strengths of…

Combinatorics · Mathematics 2023-11-03 Endre Csóka