English
Related papers

Related papers: A (1.999999)-approximation ratio for vertex cover …

200 papers

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

It is a celebrated result in early combinatorics that, in bipartite graphs, the size of maximum matching is equal to the size of a minimum vertex cover. K\H{o}nig's proof of this fact gave an algorithm for finding a minimum vertex cover…

Combinatorics · Mathematics 2020-04-22 Jacob Turner

A matching in a graph is induced if no two of its edges are joined by an edge, and finding a large induced matching is a very hard problem. Lin et al. (Approximating weighted induced matchings, Discrete Applied Mathematics 243 (2018)…

Combinatorics · Mathematics 2018-12-17 Julien Baste , Maximilian Fürst , Dieter Rautenbach

Treewidth is a useful tool in designing graph algorithms. Although many NP-hard graph problems can be solved in linear time when the input graphs have small treewidth, there are problems which remain hard on graphs of bounded treewidth. In…

Data Structures and Algorithms · Computer Science 2024-01-22 Huairui Chu , Bingkai Lin

In this note we study the greedy algorithm for combinatorial auctions with submodular bidders. It is well known that this algorithm provides an approximation ratio of $2$ for every order of the items. We show that if the valuations are…

Computer Science and Game Theory · Computer Science 2015-02-10 Shahar Dobzinski , Ami Mor

In this paper, we use a new method to decrease the parameterized complexity bound for finding the minimum vertex cover of connected max-degree-3 undirected graphs. The key operation of this method is reduction of the size of a particular…

Data Structures and Algorithms · Computer Science 2015-03-17 Weiya Yue , John Franco , Weiwei Cao

A mixed dominating set of a graph $G = (V, E)$ is a mixed set $D$ of vertices and edges, such that for every edge or vertex, if it is not in $D$, then it is adjacent or incident to at least one vertex or edge in $D$. The mixed domination…

Data Structures and Algorithms · Computer Science 2019-06-27 Mingyu Xiao

In this paper, we study Ranking, a well-known randomized greedy matching algorithm, for general graphs. The algorithm was originally introduced by Karp, Vazirani, and Vazirani [STOC 1990] for the online bipartite matching problem with…

Data Structures and Algorithms · Computer Science 2025-11-11 Mahsa Derakhshan , Mohammad Roghani , Mohammad Saneian , Tao Yu

In this paper we introduce randomized branching as a tool for parameterized approximation and develop the mathematical machinery for its analysis. Our algorithms improve the best known running times of parameterized approximation algorithms…

Data Structures and Algorithms · Computer Science 2025-06-10 Ariel Kulik , Hadas Shachnai

We consider the distributed optimization problem for the sum of convex functions where the underlying communications network connecting agents at each time is drawn at random from a collection of directed graphs. Building on an earlier work…

Optimization and Control · Mathematics 2020-09-16 Pouya Rezaeinia , Bahman Gharesifard

We give a parameterized algorithm for weighted vertex cover on graphs with maximum degree 3 whose time complexity is $O^*(1.402^t)$, where $t$ is the minimum size of a vertex cover of the input graph.

Data Structures and Algorithms · Computer Science 2018-11-01 Dekel Tsur

We introduce and study two natural generalizations of the Connected VertexCover (VC) problem: the $p$-Edge-Connected and $p$-Vertex-Connected VC problem (where $p \geq 2$ is a fixed integer). Like Connected VC, both new VC problems are FPT,…

Data Structures and Algorithms · Computer Science 2022-08-23 Carl Einarson , Gregory Gutin , Bart M. P. Jansen , Diptapriyo Majumdar , Magnus Wahlstrom

In this paper, we consider the unconstrained submodular maximization problem. We propose the first algorithm for this problem that achieves a tight $(1/2-\varepsilon)$-approximation guarantee using $\tilde{O}(\varepsilon^{-1})$ adaptive…

Data Structures and Algorithms · Computer Science 2018-11-20 Lin Chen , Moran Feldman , Amin Karbasi

The Steiner tree problem is one of the classic and most fundamental $\mathcal{NP}$-hard problems: given an arbitrary weighted graph, seek a minimum-cost tree spanning a given subset of the vertices (terminals). Byrka \emph{et al}. proposed…

Data Structures and Algorithms · Computer Science 2018-11-02 Chi-Yeh Chen

As massive graphs become more prevalent, there is a rapidly growing need for scalable algorithms that solve classical graph problems, such as maximum matching and minimum vertex cover, on large datasets. For massive inputs, several…

Data Structures and Algorithms · Computer Science 2018-12-31 Sepehr Assadi , MohammadHossein Bateni , Aaron Bernstein , Vahab Mirrokni , Cliff Stein

We investigate semi-streaming algorithms for the Traveling Salesman Problem (TSP). Specifically, we focus on a variant known as the $(1,2)$-TSP, where the distances between any two vertices are either one or two. Our primary emphasis is on…

Data Structures and Algorithms · Computer Science 2025-01-30 Sharareh Alipour , Ermiya Farokhnejad , Tobias Mömke

The \emph{Tree Augmentation Problem (TAP)} is given a tree $T=(V,E_T)$ and additional set of {\em links} $E$ on $V\times V$, find $F \subseteq E$ such that $T \cup F$ is $2$-edge-connected, and $|F|$ is minimum. The problem is APX-hard…

Computational Complexity · Computer Science 2026-03-06 Guy Kortsarz

We consider the precedence-constrained scheduling problem to minimize the total weighted completion time. For a single machine several $2$-approximation algorithms are known, which are based on linear programming and network flows. We show…

Data Structures and Algorithms · Computer Science 2023-09-22 Sven Jäger , Philipp Warode

Trevisan [SICOMP 2012] presented an algorithm for Max-Cut based on spectral partitioning techniques. This is the first algorithm for Max-Cut with an approximation guarantee strictly larger than 1/2 that is not based on semidefinite…

Data Structures and Algorithms · Computer Science 2014-12-03 José Soto

Let $H$ be a fixed undirected graph on $k$ vertices. The $H$-hitting set problem asks for deleting a minimum number of vertices from a given graph $G$ in such a way that the resulting graph has no copies of $H$ as a subgraph. This problem…

Data Structures and Algorithms · Computer Science 2020-12-01 Noah Brüstle , Tal Elbaz , Hamed Hatami , Onur Kocer , Bingchan Ma