2-manifold recognition is in logspace

2-manifold recognition is in logspace

We prove that the homeomorphism problem for 2--manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of computational geometry 2016-02, Vol.7 (1)
Hauptverfasser: Benjamin A Burton, Murray Elder, Arkadius Kalka, Stephan Tillmann
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We prove that the homeomorphism problem for 2--manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs.
ISSN:1920-180X
DOI:10.20382/jocg.v7i1a4