posted on 2025-05-09, 12:05authored byBenjamin A. Burton, Murray Elder, Arkadius Kalka, Stephen Tillmann
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.