Open Access
Translator Disclaimer
2003 Toward Optimality in Discrete Morse Theory
Thomas Lewiner, Hélio Lopes, Geovan Tavares
Experiment. Math. 12(3): 271-286 (2003).


Morse theory is a fundamental tool for investigating the topology of smooth manifolds. This tool has been extended to discrete structures by Forman, which allows combinatorial analysis and direct computation. This theory relies on discrete gradient vector fields, whose critical elements describe the topology of the structure. The purpose of this work is to construct optimal discrete gradient vector fields, where optimality means having the minimum number of critical elements. The problem is equivalently stated in terms of maximal hyperforests of hypergraphs. Deduced from this theoretical result, a algorithm constructing almost optimal discrete gradient fields is provided. The optimal parts of the algorithm are proved, and the part of exponential complexity is replaced by heuristics. Although reaching optimality is MAX-SNP hard, the experiments on odd topological models are almost always optimal.


Download Citation

Thomas Lewiner. Hélio Lopes. Geovan Tavares. "Toward Optimality in Discrete Morse Theory." Experiment. Math. 12 (3) 271 - 286, 2003.


Published: 2003
First available in Project Euclid: 15 June 2004

zbMATH: 1086.58007
MathSciNet: MR2034392

Primary: 58E05 , 68U05
Secondary: 57M15 , 57M27 , 57Q10

Keywords: computational geometry , computational topology , discrete mathematices , Forman theory , Morse theory , solid modeling

Rights: Copyright © 2003 A K Peters, Ltd.


Vol.12 • No. 3 • 2003
Back to Top