The Complexity of Proving the Discrete Jordan Curve Theorem.

Phuong Nguyen Stephen A. Cook

Published in: LICS (2007)

Keyphrases

digital surface
digital topology
finite number
data sets
decision trees
case study
multiscale
worst case
endpoints
roc curve