English
Related papers

Related papers: Counting Small Induced Subgraphs Satisfying Monoto…

200 papers

The main problem in the area of graph property testing is to understand which graph properties are \emph{testable}, which means that with constantly many queries to any input graph $G$, a tester can decide with good probability whether $G$…

Data Structures and Algorithms · Computer Science 2022-05-04 Louis Esperet , Sergey Norin

We prove that finding a $k$-edge induced subgraph is fixed-parameter tractable, thereby answering an open problem of Leizhen Cai. Our algorithm is based on several combinatorial observations, Gauss' famous \emph{Eureka} theorem [Andrews,…

Data Structures and Algorithms · Computer Science 2012-05-02 Bingkai Lin , Yijia Chen

Traditionally, graph algorithms get a single graph as input, and then they should decide if this graph satisfies a certain property $\Phi$. What happens if this question is modified in a way that we get a possibly infinite family of graphs…

Formal Languages and Automata Theory · Computer Science 2021-10-13 Volker Diekert , Henning Fernau , Petra Wolf

We study the problems of counting copies and induced copies of a small pattern graph $H$ in a large host graph $G$. Recent work fully classified the complexity of those problems according to structural restrictions on the patterns $H$. In…

Computational Complexity · Computer Science 2024-04-15 Marco Bressan , Leslie Ann Goldberg , Kitty Meeks , Marc Roth

We obtain an algorithmic meta-theorem for the following optimization problem. Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an integer. For a given graph G, the task is to maximize |X| subject to the following:…

Data Structures and Algorithms · Computer Science 2013-09-09 Fedor Fomin , Ioan Todinca , Yngve Villanger

In this paper, we are interested in algorithms that take in input an arbitrary graph $G$, and that enumerate in output all the (inclusion-wise) maximal "subgraphs" of $G$ which fulfil a given property $\Pi$. All over this paper, we study…

Discrete Mathematics · Computer Science 2023-03-09 Caroline Brosse , Aurélie Lagoutte , Vincent Limouzy , Arnaud Mary , Lucas Pastor

In the last decade, algorithmic frameworks based on a structural graph parameter called mim-width have been developed to solve generally NP-hard problems. However, it is known that the frameworks cannot be applied to the Clique problem, and…

Data Structures and Algorithms · Computer Science 2024-05-27 Yota Otachi , Akira Suzuki , Yuma Tamura

Given a graph $G$, the maximal induced subgraphs problem asks to enumerate all maximal induced subgraphs of $G$ that belong to a certain hereditary graph class. While its optimization version, known as the minimum vertex deletion problem in…

Data Structures and Algorithms · Computer Science 2020-04-22 Yixin Cao

We consider the family of $\Phi$-Subset problems, where the input consists of an instance $I$ of size $N$ over a universe $U_I$ of size $n$ and the task is to check whether the universe contains a subset with property $\Phi$ (e.g., $\Phi$…

Data Structures and Algorithms · Computer Science 2017-04-27 Serge Gaspers , Edward Lee

The graph parameter treedepth is minor-monotone; hence, the class of graphs with treedepth at most $k$ is minor-closed. By the Graph Minor Theorem, such a class is characterized by a finite set of forbidden minors. A conjecture of…

Discrete Mathematics · Computer Science 2025-12-02 Kolja Kühn

Fox et al. [SIAM J. Comp. 2020] introduced a new parameter, called $c$-closure, for a parameterized study of clique enumeration problems. A graph $G$ is $c$-closed if every pair of vertices with at least $c$ common neighbors is adjacent.…

Data Structures and Algorithms · Computer Science 2020-07-24 Tomohiro Koana , André Nichterlein

The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges.…

Data Structures and Algorithms · Computer Science 2025-10-29 Clément Dallard , Maël Dumas , Claire Hilaire , Anthony Perez

We investigate the parameterized complexity of finding subgraphs with hereditary properties on graphs belonging to a hereditary graph class. Given a graph $G$, a non-trivial hereditary property $\Pi$ and an integer parameter $k$, the…

Data Structures and Algorithms · Computer Science 2021-01-26 David Eppstein , Siddharth Gupta , Elham Havvaei

We present exact and heuristic algorithms that find, for a given family of graphs, a graph that contains each member of the family as an induced subgraph. For $0 \leq k \leq 6$, we give the minimum number of vertices $f(k)$ in a graph…

Combinatorics · Mathematics 2021-10-26 James Trimble

A graph $G$ is weakly $\gamma$-closed if every induced subgraph of $G$ contains one vertex $v$ such that for each non-neighbor $u$ of $v$ it holds that $|N(u)\cap N(v)|<\gamma$. The weak closure $\gamma(G)$ of a graph, recently introduced…

Discrete Mathematics · Computer Science 2022-11-04 Tomohiro Koana , Christian Komusiewicz , Frank Sommer

For a fixed graph H, the function #IndSub(H,*) maps graphs G to the count of induced H-copies in G; this function obviously "counts something" in that it has a combinatorial interpretation. Linear combinations of such functions are called…

Computational Complexity · Computer Science 2025-07-17 Markus Bläser , Radu Curticapean , Julian Dörfler , Christian Ikenmeyer

The independence number of a tree decomposition is the size of a largest independent set contained in a single bag. The tree-independence number of a graph $G$ is the minimum independence number of a tree decomposition of $G$. As shown…

Data Structures and Algorithms · Computer Science 2026-01-23 Daniel Lokshtanov , Michał Pilipczuk , Paweł Rzążewski

We consider the problem of counting, in a given graph, the number of induced k-vertex subgraphs which have an even number of edges, and also the complementary problem of counting the k-vertex induced subgraphs having an odd number of edges.…

Combinatorics · Mathematics 2015-10-07 Mark Jerrum , Kitty Meeks

The goal of the paper is to give fine-grained hardness results for the Subgraph Isomorphism (SI) problem for fixed size induced patterns $H$, based on the $k$-Clique hypothesis that the current best algorithms for Clique are optimal. Our…

Computational Complexity · Computer Science 2022-09-07 Mina Dalirrooyfard , Virginia Vassilevska Williams

A graph $H$ is said to be an induced minor of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. Equivalently, $H$ is an induced minor of $G$ if there exists an induced minor model of $H$ in…