The Complexity of Proving the Discrete Jordan Curve Theorem.

Phuong Nguyen Stephen A. Cook

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

digital topology
digital surface
discrete space
computational complexity
worst case
real time
computer vision
decision problems
discrete geometry
multiscale
reinforcement learning
upper bound
b spline
endpoints
curve fitting