
Optimal Morse matchings reveal essential structures of cell complexes that lead to powerful tools to study discrete geometrical objects, in particular, discrete 3-manifolds. However, such matchings are known to be NP-hard to compute on 3-manifolds through a reduction to the erasability problem. Here, we refine the study of the complexity of problems related to discrete Morse theory in terms of parameterized complexity. On the one hand, we prove that the erasability problem is W [ P ]-complete on the natural parameter. On the other hand, we propose an algorithm for computing optimal Morse matchings on triangulations of 3-manifolds, which is fixed-parameter tractable in the treewidth of the bipartite graph representing the adjacency of the 1- and 2-simplices. This algorithm also shows fixed-parameter tractability for problems such as erasability and maximum alternating cycle-free matching. We further show that these results are also true when the treewidth of the dual graph of the triangulated 3-manifold is bounded. Finally, we discuss the topological significance of the chosen parameters and investigate the respective treewidths of simplicial and generalized triangulations of 3-manifolds.
Computational Geometry (cs.CG), FOS: Computer and information sciences, Fixed-Parameter Tractability, W[P]- Completeness, Computational Topology, Treewidth, Triangulating manifolds, W[P]-completeness, Collapsibility, 514, Computational Complexity (cs.CC), Mathematics - Geometric Topology, 2604 Applied Mathematics, Graph algorithms (graph-theoretic aspects), Computer graphics; computational geometry (digital and algorithmic aspects), treewidth, FOS: Mathematics, discrete Morse theory, parameterized complexity, collapsibility, Discrete Morse Theory, alternating cycle-free matching, computational topology, Alternating cycle-free Matching, Geometric Topology (math.GT), erasability, 1712 Software, Computer Science - Computational Complexity, 68Q17, 68Q15, 57Q15, 58E05, 68R01, fixed-parameter tractability, Erasability, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Computer Science - Computational Geometry, Parameterized Complexity
Computational Geometry (cs.CG), FOS: Computer and information sciences, Fixed-Parameter Tractability, W[P]- Completeness, Computational Topology, Treewidth, Triangulating manifolds, W[P]-completeness, Collapsibility, 514, Computational Complexity (cs.CC), Mathematics - Geometric Topology, 2604 Applied Mathematics, Graph algorithms (graph-theoretic aspects), Computer graphics; computational geometry (digital and algorithmic aspects), treewidth, FOS: Mathematics, discrete Morse theory, parameterized complexity, collapsibility, Discrete Morse Theory, alternating cycle-free matching, computational topology, Alternating cycle-free Matching, Geometric Topology (math.GT), erasability, 1712 Software, Computer Science - Computational Complexity, 68Q17, 68Q15, 57Q15, 58E05, 68R01, fixed-parameter tractability, Erasability, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Computer Science - Computational Geometry, Parameterized Complexity
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 10 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
