English
Related papers

Related papers: Thin Tree Verification is coNP-Complete

200 papers

A temporal graph is a graph whose edges appear at certain points in time. These graphs are temporally connected (in class TC) if all vertices can reach each other by temporal paths (traversing the edges in chronological order). Reachability…

Discrete Mathematics · Computer Science 2026-04-21 Arnaud Casteigts , Timothée Corsini , Nils Morawietz

This paper addresses a graph optimization problem, called the Witness Tree problem, which seeks a spanning tree of a graph minimizing a certain non-linear objective function. This problem is of interest because it plays a crucial role in…

Data Structures and Algorithms · Computer Science 2023-05-09 Dylan Hyatt-Denesik , Afrouz Jabal Ameli , Laura Sanità

A treedepth decomposition of an undirected graph $G$ is a rooted forest $F$ on the vertex set of $G$ such that every edge $uv\in E(G)$ is in ancestor-descendant relationship in $F$. Given a weight function $w\colon V(G)\rightarrow…

Discrete Mathematics · Computer Science 2026-02-05 Jona Dirks , Nicole Schirrmacher , Sebastian Siebertz , Alexandre Vigny

A family T of digraphs is a complete set of obstructions for a digraph H if for an arbitrary digraph G the existence of a homomorphism from G to H is equivalent to the non-existence of a homomorphism from any member of T to G. A digraph H…

Combinatorics · Mathematics 2010-06-24 Jan Foniok , Claude Tardif

A tree $t$-spanner of a graph $G$ is a spanning tree $T$ in which the distance between any two adjacent vertices of $G$ is at most $t$. The smallest $t$ for which $G$ has a tree $t$-spanner is called tree stretch index. The…

Discrete Mathematics · Computer Science 2022-08-31 Fernanda Couto , Luís Cunha , Diego Ferraz

A connected graph has tree-depth at most $k$ if it is a subgraph of the closure of a rooted tree whose height is at most $k$. We give an algorithm which for a given $n$-vertex graph $G$, in time $\mathcal{O}(1.9602^n)$ computes the…

Data Structures and Algorithms · Computer Science 2013-06-18 Fedor V. Fomin , Archontia C. Giannopoulou , Michał Pilipczuk

This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that…

Discrete Mathematics · Computer Science 2016-06-22 Jonathan Gorard

We show that every $\alpha$-approximate minimum cut in a connected graph is the unique minimum $(S,T)$-terminal cut for some subsets $S$ and $T$ of vertices each of size at most $\lfloor2\alpha\rfloor+1$. This leads to an alternative proof…

Data Structures and Algorithms · Computer Science 2022-12-01 Calvin Beideman , Karthekeyan Chandrasekaran , Weihang Wang

A tree $\sigma$-spanner of a positively real-weighted $n$-vertex and $m$-edge undirected graph $G$ is a spanning tree $T$ of $G$ which approximately preserves (i.e., up to a multiplicative stretch factor $\sigma$) distances in $G$. Tree…

Data Structures and Algorithms · Computer Science 2017-10-05 Davide Bilò , Feliciano Colella , Luciano Gualà , Stefano Leucci , Guido Proietti

Let $F=\{H_1,...,H_k\}$ be a family of graphs. A graph $G$ with $m$ edges is called {\em totally $F$-decomposable} if for {\em every} linear combination of the form $\alpha_1 e(H_1) + ... + \alpha_k e(H_k) = m$ where each $\alpha_i$ is a…

Combinatorics · Mathematics 2007-05-23 Raphael Yuster

A tree with at most k leaves is called k-ended tree, and a tree with exactly k leaves is called k-end tree, where a leaf is a vertex of degree one. Contraction of a graph G along the edge e means deleting the edge e and identifying its end…

Combinatorics · Mathematics 2016-12-30 Hamed Ghasemian Zoeram

A $k$-truss is an edge-induced subgraph $H$ such that each of its edges belongs to at least $k-2$ triangles of $H$. This notion has been introduced around ten years ago in social network analysis and security, as a form of cohesive subgraph…

Data Structures and Algorithms · Computer Science 2020-10-05 Alessio Conte , Roberto Grossi , Andrea Marino , Luca Versari

Hasunuma [J. Graph Theory 102 (2023) 423-435] conjectured that for any tree $T$ of order $m$, every $k$-connected (or $k$-edge-connected) graph $G$ with minimum degree at least $k+m-1$ contains a tree $T'\cong T$ such that $G-E(T')$ is…

Combinatorics · Mathematics 2023-03-08 Qing Yang , Yingzhi Tian

We prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for…

Combinatorics · Mathematics 2022-07-21 Bruce Reed , Maya Stein

For a graph property $\Pi$, Subgraph Complementation to $\Pi$ is the problem to find whether there is a subset $S$ of vertices of the input graph $G$ such that modifying $G$ by complementing the subgraph induced by $S$ results in a graph…

Data Structures and Algorithms · Computer Science 2022-08-23 Dhanyamol Antony , Sagartanu Pal , R. B. Sandeep , R. Subashini

By the Grid Minor Theorem of Robertson and Seymour, every graph of sufficiently large tree-width contains a large grid as a minor. Tree-width may therefore be regarded as a measure of 'grid-likeness' of a graph. The grid contains a long…

Combinatorics · Mathematics 2018-02-15 Daniel Weißauer

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

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

Let $k$ and $n$ be integers such that $1\leq k \leq n-1$, and let $G$ be a simple graph of order $n$. The $k$-token graph $F_k(G)$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$…

Combinatorics · Mathematics 2023-06-22 Ruy Fabila-Monroy , Jesús Leaños , Ana Laura Trujillo-Negrete

A k-tree is either a complete graph on (k+1) vertices or given a k-tree G' with n vertices, a k-tree G with (n+1) vertices can be constructed by introducing a new vertex v and picking a k-clique Q in G' and then joining each vertex u in Q.…

Discrete Mathematics · Computer Science 2011-03-25 Suresh Badarla , R Rama