Title
Computational topology and normal surfaces: Theoretical and experimental complexity bounds
Abstract
In three-dimensional computational topology, the theory of normal surfaces is a tool of great theoretical and practical significance. Although this theory typically leads to exponential time algorithms, very little is known about how these algorithms perform in "typical" scenarios, or how far the best known theoretical bounds are from the real worst-case scenarios. Here we study the combinatorial and algebraic complexity of normal surfaces from both the theoretical and experimental viewpoints. Theoretically, we obtain new exponential lower bounds on the worst-case complexities in a variety of settings that are important for practical computation. Experimentally, we study the worst-case and average-case complexities over a comprehensive body of roughly three billion input triangulations. Many of our lower bounds are the first known exponential lower bounds in these settings, and experimental evidence suggests that many of our theoretical lower bounds on worst-case growth rates may indeed be asymptotically tight.
Year
DOI
Venue
2013
10.1137/1.9781611972931.7
ALENEX
DocType
Volume
Citations 
Conference
abs/1211.3234
1
PageRank 
References 
Authors
0.36
8
3
Name
Order
Citations
PageRank
Benjamin A. Burton117225.57
Joao Paixao273.57
Jonathan Spreer34711.46