Constructive linear time algorithms for branchwidth
- Cite this paper as:
- Bodlaender H.L., Thilikos D.M. (1997) Constructive linear time algorithms for branchwidth. In: Degano P., Gorrieri R., Marchetti-Spaccamela A. (eds) Automata, Languages and Programming. ICALP 1997. Lecture Notes in Computer Science, vol 1256. Springer, Berlin, Heidelberg
Let Gk be the class of graphs with branchwidth at most k. In this paper we prove that one can construct, for any k, a linear time algorithm that checks if a graph belongs to Gk and, if so, outputs a branch decomposition of minimum width. Moreover, we find the obstruction set for Gk and, for the same class, we give a safe and complete set of reduction rules. Our results lead to a practical linear time algorithm that checks if a graph has branchwidth ≤3 and, if so, outputs a branch decomposition of minimum width.
Unable to display preview. Download preview PDF.