Algorithms for Graphs of (Locally) Bounded Treewidth
MohammadTaghi Hajiaghayi · 2001
Many real-life problems can be modeled by graph-theoretic problems. These graph problems are usually NP-hard and hence there is no efficient algorithm for solving them, unless P= NP. One way to overcome this hardness is to solve the problems when restricted to special graphs. Trees are one kind of graph for which several NP-complete problems can be solved in polynomial time. Graphs of bounded treewidth, which generalize trees, show good algorithmic properties similar to those of trees. Using ideas developed for tree algorithms, Arnborg and Proskurowski introduced a general dynamic programming approach which solves many problems such as dominating set, vertex cover and independent set. Others used this approach to solve other NP-hard problems. Matousek and Thomas applied this approach to solve the subgraph isomorphism problem when the source graph has bounded degree and the host graph has bounded treewidth. In this thesis, we introduce a new property for graphs called log-bounded fragmentation, by which we mean after removing any set of at most k vertices the number of connected components is at most O(k log n), where n is the number of vertices of the graph. We then extend the result of Matousek and Thomas to the case in which the source graph is a log-bounded fragmentation graph and the host graph has bounded treewidth. Besides this result, we demonstrate how bounded fragmentation might be used to measure the reliability of a network.