English
Related papers

Related papers: Counting Subgraphs in Somewhere Dense Graphs

200 papers

We show that the problem of counting perfect matchings remains #P-complete even if we restrict the input to very dense graphs, proving the conjecture in [5]. Here "dense graphs" refer to bipartite graphs of bipartite independence number…

Data Structures and Algorithms · Computer Science 2022-10-28 Nicolas El Maalouly , Yanheng Wang

We study classes of countable graphs where every member does not contain a given finite graph as an induced subgraph -- denoted by $\mathsf{Free}(\mathcal{G})$ for a given finite graph $\mathcal{G}$. Our main results establish a structural…

Many important graph theoretic notions can be encoded as counting graph homomorphism problems, such as partition functions in statistical physics, in particular, independent sets and colourings. In this article we study the complexity of…

Computational Complexity · Computer Science 2018-04-24 Andreas Göbel , J. A. Gregor Lagodzinski , Karen Seidel

We study the problem of counting the number of {\em isomorphic} copies of a given {\em template} graph, say $H$, in the input {\em base} graph, say $G$. In general, it is believed that polynomial time algorithms that solve this problem…

Data Structures and Algorithms · Computer Science 2015-03-03 Kashyap Dixit , Martin Fürer

While graphs and abstract data structures can be large and complex, practical instances are often regular or highly structured. If the instance has sufficient structure, we might hope to compress the object into a more succinct…

Computational Complexity · Computer Science 2024-12-02 Shreya Gupta , Boyang Huang , Russell Impagliazzo , Stanley Woo , Christopher Ye

We study the problem $\#\mathrm{EdgeSub}(\Phi)$ of counting $k$-edge subgraphs satisfying a given graph property $\Phi$ in a large host graph $G$. Building upon the breakthrough result of Curticapean, Dell and Marx (STOC 17), we express the…

Computational Complexity · Computer Science 2021-05-14 Norbert Peyerimhoff , Marc Roth , Johannes Schmitt , Jakob Stix , Alina Vdovina

We study the problem #IndSub(P) of counting all induced subgraphs of size k in a graph G that satisfy the property P. This problem was introduced by Jerrum and Meeks and shown to be #W[1]-hard when parameterized by k for some families of…

Computational Complexity · Computer Science 2019-04-25 Julian Dörfler , Marc Roth , Johannes Schmitt , Philip Wellnitz

We show that for every fixed undirected graph $H$, there is a $O(|V(G)|^3)$ time algorithm that tests, given a graph $G$, if $G$ contains $H$ as a topological subgraph (that is, a subdivision of $H$ is subgraph of $G$). This shows that…

Data Structures and Algorithms · Computer Science 2015-03-17 Martin Grohe , Ken-ichi Kawarabayashi , Dániel Marx , Paul Wollan

Counting small cohesive subgraphs in a graph is a fundamental operation with numerous applications in graph analysis. Previous studies on cohesive subgraph counting are mainly based on the clique model, which aim to count the number of…

Data Structures and Algorithms · Computer Science 2024-05-09 Rong-Hua Li , Xiaowei Ye , Fusheng Jin , Yu-Ping Wang , Ye Yuan , Guoren Wang

For a graph $H$, a graph $G$ is an $H$-graph if it is an intersection graph of connected subgraphs of some subdivision of $H$. $H$-graphs naturally generalize several important graph classes like interval or circular-arc graph. This class…

Data Structures and Algorithms · Computer Science 2020-02-24 Fedor V. Fomin , Petr A. Golovach , Jean-Florent Raymond

We consider the $\#\mathsf{W}[1]$-hard problem of counting all matchings with exactly $k$ edges in a given input graph $G$; we prove that it remains $\#\mathsf{W}[1]$-hard on graphs $G$ that are line graphs or bipartite graphs with degree…

Computational Complexity · Computer Science 2018-01-22 Radu Curticapean , Holger Dell , Marc Roth

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 investigate the problem $\#\mathsf{IndSub}(\Phi)$ of counting all induced subgraphs of size $k$ in a graph $G$ that satisfy a given property $\Phi$. This continues the work of Jerrum and Meeks who proved the problem to be…

Computational Complexity · Computer Science 2018-07-06 Marc Roth , Johannes Schmitt

Nowhere dense classes of graphs are classes of sparse graphs with rich structural and algorithmic properties, however, they fail to capture even simple classes of dense graphs. Monadically stable classes, originating from model theory,…

Discrete Mathematics · Computer Science 2022-06-30 Jan Dreier , Nikolas Mählmann , Amer E. Mouawad , Sebastian Siebertz , Alexandre Vigny

A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike…

Data Structures and Algorithms · Computer Science 2023-08-10 Tuukka Korhonen , Daniel Lokshtanov

We prove that whenever $G$ is a graph from a nowhere dense graph class $\mathcal{C}$, and $A$ is a subset of vertices of $G$, then the number of subsets of $A$ that are realized as intersections of $A$ with $r$-neighborhoods of vertices of…

Counting the number of homomorphisms of a pattern graph H in a large input graph G is a fundamental problem in computer science. There are myriad applications of this problem in databases, graph algorithms, and network science. Often, we…

Data Structures and Algorithms · Computer Science 2024-09-25 Daniel Paul-Pena , C. Seshadhri

Given a graph property $\Phi$, we consider the problem $\mathtt{EdgeSub}(\Phi)$, where the input is a pair of a graph $G$ and a positive integer $k$, and the task is to decide whether $G$ contains a $k$-edge subgraph that satisfies $\Phi$.…

Computational Complexity · Computer Science 2021-05-14 Marc Roth , Johannes Schmitt , Philip Wellnitz

The causal graph of a planning instance is an important tool for planning both in practice and in theory. The theoretical studies of causal graphs have largely analysed the computational complexity of planning for instances where the causal…

Artificial Intelligence · Computer Science 2014-02-05 Christer Bäckström , Peter Jonsson

A class of graphs is structurally nowhere dense if it can be constructed from a nowhere dense class by a first-order transduction. Structurally nowhere dense classes vastly generalize nowhere dense classes and constitute important examples…

Logic in Computer Science · Computer Science 2023-02-08 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz