A tree must be acyclic, meaning it should not contain any cycles. A cycle is a path that starts and ends at the same vertex ...
One of the highlights in the Robertson-Seymour theory on graph minors is the finiteness (for each fixed surface S) of the set of the minimal forbidden minors for S. Theorem 7.0.1 (Robertson and ...