English
Related papers

Related papers: Approximately: Independence Implies Vertex Cover

200 papers

We present the first polynomial-time approximation schemes, i.e., (1 + {\epsilon})-approximation algorithm for any constant {\epsilon} > 0, for the minimum three-edge connected spanning subgraph problem and the minimum three-vertex…

Data Structures and Algorithms · Computer Science 2017-01-31 Baigong Zheng

Consider a point set D with a measure function w : D -> R. Let A be the set of subsets of D induced by containment in a shape from some geometric family (e.g. axis-aligned rectangles, half planes, balls, k-oriented polygons). We say a range…

Computational Geometry · Computer Science 2008-05-09 Jeff M. Phillips

We design a fully polynomial time approximation scheme (FPTAS) for counting the number of matchings (packings) in arbitrary 3-uniform hypergraphs of maximum degree three, referred to as $(3,3)$-hypergraphs. It is the first polynomial time…

Combinatorics · Mathematics 2017-10-26 Andrzej Dudek , Marek Karpinski , Andrzej Ruciński , Edyta Szymańska

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 define a proportionally dense subgraph (PDS) as an induced subgraph of a graph with the property that each vertex in the PDS is adjacent to proportionally as many vertices in the subgraph as in the graph. We prove that the problem of…

Computational Complexity · Computer Science 2020-06-11 Cristina Bazgan , Janka Chlebíková , Clément Dallard , Thomas Pontoizeau

The goal in the stochastic vertex cover problem is to obtain an approximately minimum vertex cover for a graph $G^\star$ that is realized by sampling each edge independently with some probability $p\in (0, 1]$ in a base graph $G = (V, E)$.…

Data Structures and Algorithms · Computer Science 2026-03-31 Jan van den Brand , Inge Li Gørtz , Chirag Pabbaraju , Debmalya Panigrahi , Clifford Stein , Miltiadis Stouras , Ola Svensson , Ali Vakilian

In the $d$-Scattered Set problem we are asked to select at least $k$ vertices of a given graph, so that the distance between any pair is at least $d$. We study the problem's (in-)approximability and offer improvements and extensions of…

Computational Complexity · Computer Science 2019-10-15 Ioannis Katsikarelis , Michael Lampis , Vangelis Th. Paschos

We consider the following basic problem: given an $n$-variate degree-$d$ homogeneous polynomial $f$ with real coefficients, compute a unit vector $x \in \mathbb{R}^n$ that maximizes $|f(x)|$. Besides its fundamental nature, this problem…

Data Structures and Algorithms · Computer Science 2017-04-25 Vijay Bhattiprolu , Mrinalkanti Ghosh , Venkatesan Guruswami , Euiwoong Lee , Madhur Tulsiani

We study the geometric knapsack problem in which we are given a set of $d$-dimensional objects (each with associated profits) and the goal is to find the maximum profit subset that can be packed non-overlappingly into a given…

Computational Geometry · Computer Science 2024-12-24 Pritam Acharya , Sujoy Bhore , Aaryan Gupta , Arindam Khan , Bratin Mondal , Andreas Wiese

Optimization problems consist of either maximizing or minimizing an objective function. Instead of looking for a maximum solution (resp. minimum solution), one can find a minimum maximal solution (resp. maximum minimal solution). Such…

Data Structures and Algorithms · Computer Science 2018-11-08 Kaveh Khoshkhah , Mehdi Khosravian Ghadikolaei , Jerome Monnot , Florian Sikora

The VertexCover problem is proven to be computationally hard in different ways: It is NP-complete to find an optimal solution and even NP-hard to find an approximation with reasonable factors. In contrast, recent experiments suggest that on…

Data Structures and Algorithms · Computer Science 2020-02-20 Thomas Bläsius , Philipp Fischbeck , Tobias Friedrich , Maximilian Katzmann

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

It is shown in this note that approximating the number of independent sets in a $k$-uniform linear hypergraph with maximum degree at most $\Delta$ is NP-hard if $\Delta\geq 5\cdot 2^{k-1}+1$. This confirms that for the relevant sampling and…

Computational Complexity · Computer Science 2023-09-29 Guoliang Qiu , Jiaheng Wang

This article is concerned with the approximation of unbounded convex sets by polyhedra. While there is an abundance of literature investigating this task for compact sets, results on the unbounded case are scarce. We first point out the…

Optimization and Control · Mathematics 2023-05-04 Daniel Dörfler

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

The (\textsc{Weighted}) \textsc{Subset Feedback Vertex Set} problem is a generalization of the classical \textsc{Feedback Vertex Set} problem and asks for a vertex set of minimum (weighted) size that intersects all cycles containing a…

Data Structures and Algorithms · Computer Science 2018-05-21 Charis Papadopoulos , Spyridon Tzimas

We present an algorithm that takes as input a graph $G$ with weights on the vertices, and computes a maximum weight independent set $S$ of $G$. If the input graph $G$ excludes a path $P_k$ on $k$ vertices as an induced subgraph, the…

Data Structures and Algorithms · Computer Science 2020-06-09 Peter Gartland , Daniel Lokshtanov

We propose an $\widetilde{O}(n + 1/\eps)$-time FPTAS (Fully Polynomial-Time Approximation Scheme) for the classical Partition problem. This is the best possible (up to a polylogarithmic factor) assuming SETH (Strong Exponential Time…

Data Structures and Algorithms · Computer Science 2024-04-09 Lin Chen , Jiayi Lian , Yuchen Mao , Guochuan Zhang

We study a class of reachability problems in weighted graphs with constraints on the accumulated weight of paths. The problems we study can equivalently be formulated in the model of vector addition systems with states (VASS). We consider a…

Logic in Computer Science · Computer Science 2020-09-08 Shaull Almagor , Nathann Cohen , Guillermo A. Pérez , Mahsa Shirmohammadi , James Worrell

Answering a question of Gamarnik and Smedira, we give a polynomial time algorithm that approximately computes the volume of a truncation of a relaxation of the independent set polytope, improving on their quasi-polynomial time algorithm.…

Combinatorics · Mathematics 2024-04-15 Ferenc Bencs , Guus Regts