Dynamic Programming for Graphs on Surfaces
Résumé
We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique applies to general families of problems where stan-dard dynamic programming runs in 2 O(k·log k) · n steps. Our approach combines tools from topological graph theory and analytic combinatorics. In particular, we introduce a new type of branch decomposition called surface cut decom-position, generalizing sphere cut decompositions of planar graphs which has nice combinatorial properties. Namely, the number of partial solutions that can be arranged on a surface cut decomposition can be upper-bounded by the number of non-crossing partitions on surfaces with boundary. It follows that partial solutions can be represented by a single-exponential (in the branchwidth k) number of configurations. This proves that, when applied on surface cut decompositions, dynamic programming runs in 2 O(k) · n steps. That way, we considerably extend the class of prob-lems that can be solved in running times with a single-exponential dependence on branchwidth and unify/improve most previous results in this direction.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...