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

Abstract

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.

Citation

Download Citation

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

Information

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

zbMATH: 1086.58007
MathSciNet: MR2034392

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

Rights: Copyright © 2003 A K Peters, Ltd.

JOURNAL ARTICLE
16 PAGES


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