English
Related papers

Related papers: A unified polynomial-time algorithm for Feedback V…

200 papers

Reachability is the problem of deciding whether there is a path from one vertex to the other in the graph. Standard graph traversal algorithms such as DFS and BFS take linear time to decide reachability however their space complexity is…

Computational Complexity · Computer Science 2019-02-06 Rahul Jain , Raghunath Tewari

By a well known result the treewidth of k-outerplanar graphs is at most 3k-1. This paper gives, besides a rigorous proof of this fact, an algorithmic implementation of the proof, i.e. it is shown that, given a k-outerplanar graph G, a tree…

Data Structures and Algorithms · Computer Science 2013-01-25 Ioannis Katsikarelis

Recent work has shown that not only decision trees (DTs) may not be interpretable but also proposed a polynomial-time algorithm for computing one PI-explanation of a DT. This paper shows that for a wide range of classifiers, globally…

Artificial Intelligence · Computer Science 2021-06-24 Xuanxiang Huang , Yacine Izza , Alexey Ignatiev , Joao Marques-Silva

This paper settles the computational complexity of model checking of several extensions of the monadic second order (MSO) logic on two classes of graphs: graphs of bounded treewidth and graphs of bounded neighborhood diversity. A classical…

Computational Complexity · Computer Science 2026-01-06 Dušan Knop , Martin Koutecký , Tomáš Masařík , Tomáš Toufar

Treewidth is a graph parameter that plays a fundamental role in several structural and algorithmic results. We study the problem of decomposing a given graph $G$ into node-disjoint subgraphs, where each subgraph has sufficiently large…

Data Structures and Algorithms · Computer Science 2013-04-08 Chandra Chekuri , Julia Chuzhoy

In the presented paper we study the Length-Bounded Cut problem for special graph classes as well as from a parameterized-complexity viewpoint. Here, we are given a graph $G$, two vertices $s$ and $t$, and positive integers $\beta$ and…

Data Structures and Algorithms · Computer Science 2019-10-09 Matthias Bentert , Klaus Heeger , Dušan Knop

In this paper, we design a framework to obtain efficient algorithms for several problems with a global constraint (acyclicity or connectivity) such as Connected Dominating Set, Node Weighted Steiner Tree, Maximum Induced Tree, Longest…

Data Structures and Algorithms · Computer Science 2023-10-10 Benjamin Bergougnoux , Mamadou Moustapha Kanté

For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation…

Data Structures and Algorithms · Computer Science 2022-09-27 Pierre Bergé , Édouard Bonnet , Hugues Déprés , Rémi Watrigant

The feedback set problems are about removing the minimum number of vertices or edges from a graph to break all its cycles. Much effort has gone into understanding their complexity on planar graphs as well as on graphs of bounded degree. We…

Computational Complexity · Computer Science 2026-05-13 Tian Bai , Yixin Cao , Mingyu Xiao

We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Our parameters are based on new…

Combinatorics · Mathematics 2025-02-26 Jan Dreier , Szymon Toruńczyk

It is known that a number of natural graph problems which are FPT parameterized by treewidth become W-hard when parameterized by clique-width. It is therefore desirable to find a different structural graph parameter which is as general as…

Data Structures and Algorithms · Computer Science 2013-08-15 Jakub Gajarský , Michael Lampis , Sebastian Ordyniak

We present a new parameterized algorithm for the {feedback vertex set} problem ({\sc fvs}) on undirected graphs. We approach the problem by considering a variation of it, the {disjoint feedback vertex set} problem ({\sc disjoint-fvs}),…

Data Structures and Algorithms · Computer Science 2014-06-04 Yixin Cao , Jianer Chen , Yang Liu

Reduced parameters [BKW, JCTB '26; BKRT, SODA '22] are defined via contraction sequences. Based on this framework, we introduce the reduced component max-leaf, denoted by $\operatorname{cml}^\downarrow$, where component max-leaf is the…

Data Structures and Algorithms · Computer Science 2026-04-22 Édouard Bonnet , Yeonsu Chang , Julien Duron , Colin Geniet , O-joung Kwon

Tree-decompositions of graphs are of fundamental importance in structural and algorithmic graph theory. The main property of tree-decompositions is the width (the maximum size of a bag minus 1). We show that every graph has a…

Combinatorics · Mathematics 2026-05-08 David R. Wood

We study a natural generalization of the maximum weight many-to-one matching problem. We are given an undirected bipartite graph $G= (A \cup P, E)$ with weights on the edges in $E$, and with lower and upper quotas on the vertices in $P$. We…

Discrete Mathematics · Computer Science 2016-03-29 Ashwin Arulselvan , Ágnes Cseh , Martin Groß , David F. Manlove , Jannik Matuschke

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

Comparative analyses of phylogenetic trees typically require identical taxon sets, however, in practice, trees often include distinct but overlapping taxa. Pruning non-shared leaves discards phylogenetic signal, whereas tree completion can…

Populations and Evolution · Quantitative Biology 2026-04-28 Aleksandr Koshkarov , Nadia Tahiri

For a given graph G and integers b,f >= 0, let S be a subset of vertices of G of size b+1 such that the subgraph of G induced by S is connected and S can be separated from other vertices of G by removing f vertices. We prove that every…

Data Structures and Algorithms · Computer Science 2008-05-05 Fedor V. Fomin , Yngve Villanger

Many problems are known to be solvable in subexponential parameterized time when the input graph is planar. The bidimensionality framework of Demaine, Fomin, Hajiaghay, and Thilikos [JACM'05] and the treewidth-pattern-covering approach by…

Data Structures and Algorithms · Computer Science 2026-04-02 Matthias Bentert , Fedor V. Fomin , Petr A. Golovach

Abstract notions of convexity over the vertices of a graph, and corresponding notions of halfspaces, have recently gained attention from the machine learning community. In this work we study monophonic halfspaces, a notion of graph…

Machine Learning · Computer Science 2025-07-01 Marco Bressan , Victor Chepoi , Emmanuel Esposito , Maximilian Thiessen