We generalize thr concept of tree-width to directed graphs and prove that e
very directed graph with no "haven" of large order has small tree-width. Co
nversely, a digraph with a large haven has large tree-width. We also show t
hat the Hamilton cycle problem and other NP-hard problems can be solved in
polynomial time when restricted to digraphs of bounded tree-width. (C) 2001
Academic Press.