English
Related papers

Related papers: On the Descriptive Complexity of Vertex Deletion P…

200 papers

Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of Dyck reachability problems in directed and undirected graphs, where updates may add or delete…

Computational Complexity · Computer Science 2017-04-18 Patricia Bouyer , Vincent Jugé

We study the parameterized complexity of a broad class of problems called "local graph partitioning problems" that includes the classical fixed cardinality problems as max k-vertex cover, k-densest subgraph, etc. By developing a technique…

Computational Complexity · Computer Science 2013-06-11 Edouard Bonnet , Bruno Escoffier , Vangelis Th. Paschos , Emeric Tourniaire

Many differentially private and classical non-private graph algorithms rely crucially on determining whether some property of each vertex meets a threshold. For example, for the $k$-core decomposition problem, the classic peeling algorithm…

Data Structures and Algorithms · Computer Science 2025-08-05 Laxman Dhulipala , Monika Henzinger , George Z. Li , Quanquan C. Liu , A. R. Sricharan , Leqi Zhu

The learning complexity of special sets of vertices in graphs is studied in the model(s) of exact learning by (extended) equivalence and membership queries. Polynomial-time learning algorithms are described for vertex covers, independent…

Combinatorics · Mathematics 2016-09-06 Lane H. Clark , Patricia A. Evans , Michael R. Fellows , Walter D. Wallis

A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if…

Discrete Mathematics · Computer Science 2022-09-02 Gyula Y Katona , István Kovács , Kitti Varga

We study the fine-grained complexity of graph connectivity problems in unweighted undirected graphs. Recent development shows that all variants of edge connectivity problems, including single-source-single-sink, global, Steiner,…

Data Structures and Algorithms · Computer Science 2023-04-18 Zhiyi Huang , Yaowei Long , Thatchaphol Saranurak , Benyu Wang

The class of graph deletion problems has been extensively studied in theoretical computer science, particularly in the field of parameterized complexity. Recently, a new notion of graph deletion problems was introduced, called deletion to…

Data Structures and Algorithms · Computer Science 2026-05-20 Ashwin Jacob , Diptapriyo Majumdar , Meirav Zehavi

The Nemhauser-Trotter local optimization theorem applies to the NP-hard Vertex Cover problem and has applications in approximation as well as parameterized algorithmics. We present a framework that generalizes Nemhauser and Trotter's result…

Computational Complexity · Computer Science 2009-02-13 Michael R. Fellows , Jiong Guo , Hannes Moser , Rolf Niedermeier

Let F be a finite family of graphs. In the F-Deletion problem, one is given a graph G and an integer k, and the goal is to find k vertices whose deletion results in a graph with no minor from the family F. This may be regarded as a…

Data Structures and Algorithms · Computer Science 2026-01-21 Roohani Sharma , Michał Włodarczyk

This work establishes the complexity class of several instances of the S-packing coloring problem: for a graph G, a positive integer k and a non decreasing list of integers S = (s\_1 , ..., s\_k ), G is S-colorable, if its vertices can be…

Discrete Mathematics · Computer Science 2015-01-30 Nicolas Gastineau

We define the $k$-cut complex of a graph $G$ with vertex set $V(G)$ to be the simplicial complex whose facets are the complements of sets of size $k$ in $V(G)$ inducing disconnected subgraphs of $G$. This generalizes the Alexander dual of a…

The splitting number of a graph $G=(V,E)$ is the minimum number of vertex splits required to turn $G$ into a planar graph, where a vertex split removes a vertex $v \in V$, introduces two new vertices $v_1, v_2$, and distributes the edges…

Computational Geometry · Computer Science 2022-09-09 Martin Nöllenburg , Manuel Sorge , Soeren Terziadis , Anaïs Villedieu , Hsiang-Yun Wu , Jules Wulms

The Satisfactory Partition problem consists in deciding if the set of vertices of a given undirected graph can be partitioned into two nonempty parts such that each vertex has at least as many neighbours in its part as in the other part.…

Data Structures and Algorithms · Computer Science 2020-07-29 Ajinkya Gaikwad , Soumen Maity , Shuvam Kant Tripathi

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be…

We study first-order model checking, by which we refer to the problem of deciding whether or not a given first-order sentence is satisfied by a given finite structure. In particular, we aim to understand on which sets of sentences this…

Logic in Computer Science · Computer Science 2014-07-15 Hubie Chen

Given a graph $G=(V,E)$ with two distinguished vertices $s,t\in V$ and an integer parameter $L>0$, an {\em $L$-bounded cut} is a subset $F$ of edges (vertices) such that the every path between $s$ and $t$ in $G\setminus F$ has length more…

Data Structures and Algorithms · Computer Science 2017-09-11 Petr Kolman

Vertex connectivity and its variants are among the most fundamental problems in graph theory, with decades of extensive study and numerous algorithmic advances. The directed variants of vertex connectivity are usually solved by manually…

Data Structures and Algorithms · Computer Science 2025-10-24 Olivier Fischer , Yonggang Jiang , Sagnik Mukhopadhyay , Sorrachai Yingchareonthawornchai

The CONTRACTION(vc) problem takes as input a graph $G$ on $n$ vertices and two integers $k$ and $d$, and asks whether one can contract at most $k$ edges to reduce the size of a minimum vertex cover of $G$ by at least $d$. Recently, Lima et…

Data Structures and Algorithms · Computer Science 2022-02-08 Paloma T. Lima , Vinicius F. dos Santos , Ignasi Sau , Uéverton S. Souza , Prafullkumar Tale

The complexity of graph homomorphism problems has been the subject of intense study. It is a long standing open problem to give a (decidable) complexity dichotomy theorem for the partition function of directed graph homomorphisms. In this…

Computational Complexity · Computer Science 2010-08-06 Jin-Yi Cai , Xi Chen

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if…

Data Structures and Algorithms · Computer Science 2015-03-19 Gregory Gutin , Eun Jung Kim , Arezou Soleimanfallah , Stefan Szeider , Anders Yeo