English
Related papers

Related papers: Polynomial size linear programs for problems in P

200 papers

For the General Factor problem we are given an undirected graph $G$ and for each vertex $v\in V(G)$ a finite set $B_v$ of non-negative integers. The task is to decide if there is a subset $S\subseteq E(G)$ such that $deg_S(v)\in B_v$ for…

Computational Complexity · Computer Science 2021-10-20 Dániel Marx , Govind S. Sankar , Philipp Schepper

In this paper, we present a new exact algorithm for counting perfect matchings, which relies on neither inclusion-exclusion principle nor tree-decompositions. For any bipartite graph of $2n$ nodes and $\Delta n$ edges such that $\Delta \geq…

Data Structures and Algorithms · Computer Science 2012-08-14 Taisuke Izumi , Tadashi Wadayama

Recent work has pinned down the existentially optimal size bounds for vertex fault-tolerant spanners: for any positive integer $k$, every $n$-node graph has a $(2k-1)$-spanner on $O(f^{1-1/k} n^{1+1/k})$ edges resilient to $f$ vertex…

Data Structures and Algorithms · Computer Science 2020-11-03 Greg Bodwin , Michael Dinitz , Caleb Robelle

We propose a convex-concave programming approach for the labeled weighted graph matching problem. The convex-concave programming formulation is obtained by rewriting the weighted graph matching problem as a least-square problem on the set…

Computer Vision and Pattern Recognition · Computer Science 2008-10-27 Mikhail Zaslavskiy , Francis Bach , Jean-Philippe Vert

A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices. Then G is w-well-covered if all maximal independent sets are of the same weight. For…

Discrete Mathematics · Computer Science 2012-10-26 Vadim Levit , David Tankus

Efficiently finding the maximum a posteriori (MAP) configuration of a graphical model is an important problem which is often implemented using message passing algorithms. The optimality of such algorithms is only well established for…

Artificial Intelligence · Computer Science 2012-05-14 Tony S. Jebara

The problem of extending partial geometric graph representations such as plane graphs has received considerable attention in recent years. In particular, given a graph $G$, a connected subgraph $H$ of $G$ and a drawing $\mathcal{H}$ of $H$,…

Computational Geometry · Computer Science 2020-07-13 Eduard Eiben , Robert Ganian , Thekla Hamm , Fabian Klute , Martin Nöllenburg

We consider the following stochastic matching problem on both weighted and unweighted graphs: A graph $G(V, E)$ along with a parameter $p \in (0, 1)$ is given in the input. Each edge of $G$ is realized independently with probability $p$.…

Data Structures and Algorithms · Computer Science 2018-11-09 Soheil Behnezhad , Alireza Farhadi , MohammadTaghi Hajiaghayi , Nima Reyhani

Let $G=(V, E)$ be a graph where $V(G)$ and $E(G)$ are the vertex and edge sets, respectively. In a graph $G$, two edges $e_1, e_2\in E(G)$ are said to have a \emph{common edge} $e\neq e_1, e_2$ if $e$ joins an endpoint of $e_1$ to an…

Combinatorics · Mathematics 2025-11-11 Kamal Santra

In this paper, we study the exact learning problem for weighted graphs, where we are given the vertex set, $V$, of a weighted graph, $G=(V,E,w)$, but we are not given $E$. The problem, which is also known as graph reconstruction, is to…

Data Structures and Algorithms · Computer Science 2025-11-20 Michael T. Goodrich , Songyu Liu , Ioannis Panageas

We consider hypergraph network design problems where the goal is to construct a hypergraph that satisfies certain connectivity requirements. For graph network design problems where the goal is to construct a graph that satisfies certain…

Data Structures and Algorithms · Computer Science 2024-02-19 Kristóf Bérczi , Karthekeyan Chandrasekaran , Tamás Király , Shubhang Kulkarni

We consider problems of finding a maximum size/weight $t$-matching without forbidden subgraphs in an undirected graph $G$ with the maximum degree bounded by $t+1$, where $t$ is an integer greater than $2$. Depending on the variant forbidden…

Data Structures and Algorithms · Computer Science 2024-05-02 Katarzyna Paluch , Mateusz Wasylkiewicz

The aim of this note is to provide a reduction of the Exact Matching problem to the Top-$k$ Perfect Matching Problem. Together with earlier work by El Maalouly, this shows that the two problems are polynomial-time equivalent. The Exact…

Data Structures and Algorithms · Computer Science 2022-09-21 Nicolas El Maalouly , Lasse Wulf

As shown by Robertson and Seymour, deciding whether the complete graph $K_t$ is a minor of an input graph $G$ is a fixed parameter tractable problem when parameterized by $t$. From the approximation viewpoint, the gap to fill is quite…

Data Structures and Algorithms · Computer Science 2025-05-12 Romain Bourneuf , Julien Cocquet , Chaoliang Tang , Stéphan Thomassé

Zwick's $(1+\varepsilon)$-approximation algorithm for the All Pairs Shortest Path (APSP) problem runs in time $\widetilde{O}(\frac{n^\omega}{\varepsilon} \log{W})$, where $\omega \le 2.373$ is the exponent of matrix multiplication and $W$…

Data Structures and Algorithms · Computer Science 2019-07-26 Karl Bringmann , Marvin Künnemann , Karol Węgrzycki

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation…

Computational Complexity · Computer Science 2019-02-12 Massimo Equi , Roberto Grossi , Alexandru I. Tomescu , Veli Mäkinen

Consider the Maximum Weight Independent Set problem for rectangles: given a family of weighted axis-parallel rectangles in the plane, find a maximum-weight subset of non-overlapping rectangles. The problem is notoriously hard both in the…

Data Structures and Algorithms · Computer Science 2016-11-22 Michał Pilipczuk , Erik Jan van Leeuwen , Andreas Wiese

We consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates the integer points…

Logic in Computer Science · Computer Science 2019-01-24 Albert Atserias , Anuj Dawar , Joanna Ochremiak

We consider the problem of counting matchings in planar graphs. While perfect matchings in planar graphs can be counted by a classical polynomial-time algorithm, the problem of counting all matchings (possibly containing unmatched vertices,…

Computational Complexity · Computer Science 2016-07-28 Radu Curticapean

We present a general technique, based on parametric search with some twist, for solving a variety of optimization problems on a set of semi-algebraic geometric objects of constant complexity. The common feature of these problems is that…

Computational Geometry · Computer Science 2022-07-15 Matthew J. Katz , Micha Sharir