English
Related papers

Related papers: Tree-depth and the Formula Complexity of Subgraph …

200 papers

We study the space complexity of four variants of the standard subgraph finding problem in the streaming model. Specifically, given an $n$-vertex input graph and a fixed-size pattern graph, we consider two settings: undirected simple…

Data Structures and Algorithms · Computer Science 2026-02-10 Yu-Sheng Shih , Meng-Tsung Tsai , Yen-Chu Tsai , Ying-Sian Wu

Graph modification problems are computational tasks where the goal is to change an input graph $G$ using operations from a fixed set, in order to make the resulting graph satisfy a target property, which usually entails membership to a…

Discrete Mathematics · Computer Science 2025-05-19 Ivo Koch , Nina Pardal , Vinicius F. dos Santos

A connected undirected graph $G = (V,E)$ is lower conformally rigid if uniform edge weights maximize the second smallest Laplacian eigenvalue $\lambda_2(w)$ over all normalized edge weights $w$, and upper conformally rigid if uniform edge…

Combinatorics · Mathematics 2026-05-15 Andrew Niu

We prove that for every planar graph $X$ of treedepth $h$, there exists a positive integer $c$ such that for every $X$-minor-free graph $G$, there exists a graph $H$ of treewidth at most $f(h)$ such that $G$ is isomorphic to a subgraph of…

A $k$-subcolouring of a graph $G$ is a function $f:V(G) \to \{0,\ldots,k-1\}$ such that the set of vertices coloured $i$ induce a disjoint union of cliques. The subchromatic number, $\chi_{\textrm{sub}}(G)$, is the minimum $k$ such that $G$…

This is a companion paper to the paper "Hyperstability in the Erdos-Sos Conjecture". In that paper the following rough structure theorem was proved for graphs G containing no copy of a bounded degree tree T: from any such G, one can delete…

Combinatorics · Mathematics 2024-09-24 Alexey Pokrovskiy

For a fixed digraph $\mathbb H$, the $\mathbb H$-coloring problem is the problem of deciding whether a given input digraph $\mathbb G$ admits a homomorphism to $\mathbb H$. The CSP dichotomy conjecture of Feder and Vardi is equivalent to…

Combinatorics · Mathematics 2017-10-03 Jakub Bulín

Subgraph counting is a fundamental and well-studied problem whose computational complexity is well understood. Quite surprisingly, the hypergraph version of subgraph counting has been almost ignored. In this work, we address this gap by…

Computational Complexity · Computer Science 2025-06-18 Marco Bressan , Julian Brinkmann , Holger Dell , Marc Roth , Philip Wellnitz

We present a concept called the branch-depth of a connectivity function, that generalizes the tree-depth of graphs. Then we prove two theorems showing that this concept aligns closely with the notions of tree-depth and shrub-depth of graphs…

Combinatorics · Mathematics 2020-11-05 Matt DeVos , O-joung Kwon , Sang-il Oum

Color-constrained subgraph problems are those where we are given an edge-colored (directed or undirected) graph and the task is to find a specific type of subgraph, like a spanning tree, an arborescence, a single-source shortest path tree,…

Data Structures and Algorithms · Computer Science 2024-07-24 P. S. Ardra , Jasine Babu , Kritika Kashyap , R. Krithika , Sreejith K. Pallathumadam , Deepak Rajendraprasad

A graph $H$ is an induced subgraph of a graph $G$ if a graph isomorphic to $H$ can be obtained from $G$ by deleting vertices. Recently, there has been significant interest in understanding the unavoidable induced subgraphs for graphs of…

Combinatorics · Mathematics 2022-07-01 Robert Hickingbotham

In a vertex-colored graph $G = (V, E)$, a subset $S \subseteq V$ is said to be consistent if every vertex has a nearest neighbor in $S$ with the same color. The problem of computing a minimum cardinality consistent subset of a graph is…

Data Structures and Algorithms · Computer Science 2023-05-15 Hiroki Arimura , Tatsuya Gima , Yasuaki Kobayashi , Hiroomi Nochide , Yota Otachi

For a graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$. Recently, there has…

Combinatorics · Mathematics 2023-08-15 Daniel A. Quiroz

Treewidth is an important graph invariant, relevant for both structural and algorithmic reasons. A necessary condition for a graph class to have bounded treewidth is the absence of large cliques. We study graph classes closed under taking…

Combinatorics · Mathematics 2021-11-09 Clément Dallard , Martin Milanič , Kenny Štorgel

We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more…

Combinatorics · Mathematics 2023-09-29 Zdeněk Dvořák , David R. Wood

The Tree Decomposition Conjecture by Bar\'at and Thomassen states that for every tree $T$ there exists a natural number $k(T)$ such that the following holds: If $G$ is a $k(T)$-edge-connected simple graph with size divisible by the size of…

Combinatorics · Mathematics 2016-03-02 Martin Merker

For any given graph $G$ consider a graph $\widetilde{G}$ which is a cone over graph $G.$ In this paper, we study two important invariants of such a cone. Namely, complexity (the number of spanning trees) and the Jacobian of a graph. We…

Combinatorics · Mathematics 2021-11-09 L. A. Grunwald , I. A. Mednykh

$GC^k$ is a logic introduced by Scheidt and Schweikardt (2023) to express properties of hypergraphs. It is similar to first-order logic with counting quantifiers ($C$) adapted to the hypergraph setting. It has distinct sets of variables for…

Logic in Computer Science · Computer Science 2024-04-17 Benjamin Scheidt

We introduce a directed graph related to a group $G$, which we call the N-prime graph $\Gamma_{\rm{N}}(G)$ of $G$ and which is a refinement of the classical Gruenberg-Kegel graph. The vertices of $\Gamma_{\rm{N}}(G)$ are the primes $p$ such…

Group Theory · Mathematics 2025-11-14 Emanuele Pacifici , Angel del Rio , Marco Vergani

Treedepth is a central parameter to algorithmic graph theory. The current state-of-the-art in computing and approximating treedepth consists of a $2^{O(k^2)} n$-time exact algorithm and a polynomial-time $O(\text{OPT} \log^{3/2}…

Computational Complexity · Computer Science 2025-07-21 Édouard Bonnet , Daniel Neuen , Marek Sokołowski