Post #1643740
2026-04-18 16:25 UTC
So here's a restatement of the question that I still don't know the answer to:
Let f : š¹āæ ā š¹ be a boolean function. Turn this into a subset of āāæ by saying
S = { v ā āāæ | f(vā ā„ 0, ā¦, vā ā„ 0) }
Is there a nice purely combinatorial condition on f that is equivalent to "the boundary āS is homeomorphic to āāæā»Ā¹"?
Replies (1)
-
@jcreed@mastodon.social 2026-04-18 16:26
Is this even decidable in general? Does this run into "undecidability of spheres"-style problems? I guess it's trivially decidable when restricted to a particular n, because then the question is finite...