Fixed Parameter Tractable Algorithms in Combinatorial Topology

Burton, B. A. and Pettersson, W. (2014) Fixed Parameter Tractable Algorithms in Combinatorial Topology. In: International Computing and Combinatorics Conference (COCOON 2014), Atlanta, GA, USA, 4-6 Aug 2014, pp. 300-311. ISBN 9783319087825 (doi: 10.1007/978-3-319-08783-2_26)

Abstract

To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an exponential-time enumeration. However, asymptotically most graphs do not result in any 3-manifold triangulation, which leads to significant “wasted time” in topological enumeration algorithms. Here we give a new algorithm to determine whether a given face pairing graph supports any 3-manifold triangulation, and show this to be fixed parameter tractable in the treewidth of the graph. We extend this result to a “meta-theorem” by defining a broad class of properties of triangulations, each with a corresponding fixed parameter tractable existence algorithm. We explicitly implement this algorithm in the most generic setting, and we identify heuristics that in practice are seen to mitigate the large constants that so often occur in parameterised complexity, highlighting the practicality of our techniques.

• Item Type: Conference Proceedings
• Additional Information: Published in Lecture Notes in Computer Science, Vol. 8591.
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Pettersson, Dr William
• Authors: Burton, B. A., and Pettersson, W.
• College/School: College of Science and Engineering > School of Computing Science
• ISBN: 9783319087825