English
Related papers

Related papers: Partitionability to two trees is NP-complete

200 papers

We show that the vertices of every planar graph can be partitioned into two sets, each inducing a so-called triangle-forest, i.e., a graph with no cycles of length more than three. We further discuss extensions to locally planar graphs.…

Combinatorics · Mathematics 2024-10-21 Kolja Knauer , Clément Rambaud , Torsten Ueckerdt

The crossing number of a graph is the minimum number of edge crossings that a graph can have when drawn in the plane. Determining this number, known as the Crossing Number problem, is a celebrated problem in combinatorial optimization. It…

Computational Geometry · Computer Science 2026-03-30 Petr Hliněný , Liana Khazaliya

Phylogenetic trees and networks are leaf-labelled graphs that are used to describe evolutionary histories of species. The Tree Containment problem asks whether a given phylogenetic tree is embedded in a given phylogenetic network. Given a…

Populations and Evolution · Quantitative Biology 2010-06-17 Leo van Iersel , Charles Semple , Mike Steel

We study edge-decompositions of highly connected graphs into copies of a given tree. In particular we attack the following conjecture by Bar\'at and Thomassen: for each tree $T$, there exists a natural number $k_T$ such that if $G$ is a…

Combinatorics · Mathematics 2012-03-09 János Barát , Dániel Gerbner

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

We say that a tree $T$ is an $S$-Steiner tree if $S \subseteq V(T)$ and a hypergraph is an $S$-Steiner hypertree if it can be trimmed to an $S$-Steiner tree. We prove that it is NP-complete to decide, given a hypergraph $\mathcal{H}$ and…

Combinatorics · Mathematics 2023-04-13 Florian Hörsch , Zoltán Szigeti

For a connected graph, a path containing all vertices is known as \emph{Hamiltonian path}. For general graphs, there is no known necessary and sufficient condition for the existence of Hamiltonian paths and the complexity of finding a…

Discrete Mathematics · Computer Science 2016-07-21 P. Renjith , N. Sadagopan

The \emph{linear vertex arboricity} of a graph is the smallest number of sets into which the vertices of a graph can be partitioned so that each of these sets induces a linear forest. Chaplick et al. [JoCG 2020] showed that, somewhat…

Computational Complexity · Computer Science 2025-05-27 Alexander Erhardt , Alexander Wolff

Motivated by hybrid graph representations, we introduce and study the following beyond-planarity problem, which we call $h$-Clique2Path Planarity: Given a graph $G$, whose vertices are partitioned into subsets of size at most $h$, each…

Data Structures and Algorithms · Computer Science 2018-08-29 Patrizio Angelini , Peter Eades , Seok-Hee Hong , Karsten Klein , Stephen Kobourov , Giuseppe Liotta , Alfredo Navarra , Alessandra Tappini

A graph $G$ is said to be $2$-divisible if for all (nonempty) induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A,B$ such that $\omega(A) < \omega(H)$ and $\omega(B) < \omega(H)$. A graph $G$ is said to be perfectly…

Combinatorics · Mathematics 2017-04-25 Maria Chudnovsky , Vaidy Sivaraman

For a positive integer $\ell \geq 3$, the $C_\ell$-Contractibility problem takes as input an undirected simple graph $G$ and determines whether $G$ can be transformed into a graph isomorphic to $C_\ell$ (the induced cycle on $\ell$…

Computational Complexity · Computer Science 2025-12-10 R. Krithika , Roohani Sharma , Prafullkumar Tale

Topological drawings are natural representations of graphs in the plane, where vertices are represented by points, and edges by curves connecting the points. Topological drawings of complete graphs and of complete bipartite graphs have been…

Computational Geometry · Computer Science 2017-02-10 Jean Cardinal , Stefan Felsner

Given a connected graph $G$ and a terminal set $R \subseteq V(G)$, {\em Steiner tree} asks for a tree that includes all of $R$ with at most $r$ edges for some integer $r \geq 0$. It is known from [ND12,Garey et. al \cite{steinernpc}] that…

Discrete Mathematics · Computer Science 2016-11-29 Madhu Illuri , P. Renjith , N. Sadagopan

The Total Matching Polytope generalizes the Stable Set Polytope and the Matching Polytope. In this paper, we give the perfect formulation for Trees and we derive two new families of valid inequalities, the balanced biclique inequalities…

Discrete Mathematics · Computer Science 2021-12-01 Luca Ferrarini

We give a short, topological proof that all graphs admit tree-decompositions displaying their topological ends.

Combinatorics · Mathematics 2021-12-03 Max Pitz

Leaf powers and pairwise compatibility graphs were introduced over twenty years ago as simplified graph models for phylogenetic trees. Despite significant research, several properties of these graph classes remain poorly understood. In this…

Combinatorics · Mathematics 2025-10-23 Max Dupré la Tour , Manuel Lafond , Ndiamé Ndiaye

The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for…

Computational Complexity · Computer Science 2022-12-23 Hans-Jörg Kreowski , Sabine Kuske , Aaron Lye , Aljoscha Windhorst

Property $(P)$, introduced in recent work and rooted in the classical theory of Parter vertices, concerns the existence of a nonsingular matrix $A\in S(G)$ for which every vertex of $G$ is a $P$-vertex. Previous investigations have fully…

Combinatorics · Mathematics 2025-12-12 G. Arunkumar , Puja Samanta

Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \emph{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$. A vertex…

Combinatorics · Mathematics 2023-10-09 Subhabrata Paul , Kamal Santra

Given a connected graph $G$ and a terminal set $R \subseteq V(G)$, the minimum Steiner tree problem (ST) asks for a tree that spans all of $R$ with at most $r$ vertices from $V(G)\backslash R$, for some integer $r\geq 0$. A \emph{split…

Discrete Mathematics · Computer Science 2026-05-29 Jyothish S , Sadagopan Narasimhan