Fast FPT-Approximation of Branchwidth

. Branchwidth determines how graphs and, more generally, arbitrary connectivity (symmetric and submodular) functions can be decomposed into a tree-like structure by specific cuts. We develop a general framework for designing fixed-parameter tractable 2-approximation algorithms for branchwidth of connectivity functions. The first ingredient of our framework is combinatorial. We prove a structural theorem establishing that either a sequence of particular refinement operations can decrease the width of a branch decomposition or the width of the decomposition is already within a factor of 2 from the optimum. The second ingredient is an efficient implementation of the refinement operations for branch decompositions that support efficient dynamic programming. We present two concrete applications of our general framework. The first is an algorithm that, for a given \ (n\) -vertex graph \ (G\) and integer \ (k\), in time \ (2^2^{O (k) } n²\) either constructs a rank decomposition of \ (G\) of width at most \ (2k\) or concludes that the rankwidth of \ (G\) is more than \ (k\). It also yields a \ ( (2^2k+1-1) \) -approximation algorithm for cliquewidth within the same time complexity, which in turn improves to \ (f (k) n²\) the running times of various algorithms on graphs of cliquewidth \ (k\). Breaking the "cubic barrier" for rankwidth and cliquewidth was an open problem in the area. The second application is an algorithm that, for a given \ (n\) -vertex graph \ (G\) and integer \ (k\), in time \ (2^O (k) n\) either constructs a branch decomposition of \ (G\) of width at most \ (2k\) or concludes that the branchwidth of \ (G\) is more than \ (k\). This improves over the 3-approximation that follows from the recent treewidth 2-approximation of Korhonen FOCS 2021. Keywordsbranchwidthrankwidthcliquewidthgraph algorithmsparameterized algorithmsapproximation algorithmsMSC codes68Q2568R1068Q27