Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949673634> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2949673634 abstract "The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid graphs, under different input settings, in theories of bounded arithmetic that correspond to small complexity classes. The theory $V^0(2)$ (corresponding to $AC^0(2)$) proves that any set of edges that form disjoint cycles divides the grid into at least two regions. The theory $V^0$ (corresponding to $AC^0$) proves that any sequence of edges that form a simple closed curve divides the grid into exactly two regions. As a consequence, the Hex tautologies and the st-connectivity tautologies have polynomial size $AC^0(2)$-Frege-proofs, which improves results of Buss which only apply to the stronger proof system $TC^0$-Frege." @default.
- W2949673634 created "2019-06-27" @default.
- W2949673634 creator A5034555443 @default.
- W2949673634 creator A5060590567 @default.
- W2949673634 date "2010-02-15" @default.
- W2949673634 modified "2023-09-27" @default.
- W2949673634 title "The Complexity of Proving the Discrete Jordan Curve Theorem" @default.
- W2949673634 cites W1556453281 @default.
- W2949673634 cites W1563012911 @default.
- W2949673634 cites W1607926272 @default.
- W2949673634 cites W2128026324 @default.
- W2949673634 cites W2167115661 @default.
- W2949673634 cites W2169150716 @default.
- W2949673634 hasPublicationYear "2010" @default.
- W2949673634 type Work @default.
- W2949673634 sameAs 2949673634 @default.
- W2949673634 citedByCount "0" @default.
- W2949673634 crossrefType "posted-content" @default.
- W2949673634 hasAuthorship W2949673634A5034555443 @default.
- W2949673634 hasAuthorship W2949673634A5060590567 @default.
- W2949673634 hasConcept C108710211 @default.
- W2949673634 hasConcept C111472728 @default.
- W2949673634 hasConcept C114614502 @default.
- W2949673634 hasConcept C118615104 @default.
- W2949673634 hasConcept C134306372 @default.
- W2949673634 hasConcept C138885662 @default.
- W2949673634 hasConcept C151730666 @default.
- W2949673634 hasConcept C177264268 @default.
- W2949673634 hasConcept C17825722 @default.
- W2949673634 hasConcept C187691185 @default.
- W2949673634 hasConcept C199360897 @default.
- W2949673634 hasConcept C2524010 @default.
- W2949673634 hasConcept C2778112365 @default.
- W2949673634 hasConcept C2779343474 @default.
- W2949673634 hasConcept C2780586882 @default.
- W2949673634 hasConcept C33923547 @default.
- W2949673634 hasConcept C34388435 @default.
- W2949673634 hasConcept C41008148 @default.
- W2949673634 hasConcept C45340560 @default.
- W2949673634 hasConcept C54355233 @default.
- W2949673634 hasConcept C70251129 @default.
- W2949673634 hasConcept C86803240 @default.
- W2949673634 hasConcept C90119067 @default.
- W2949673634 hasConceptScore W2949673634C108710211 @default.
- W2949673634 hasConceptScore W2949673634C111472728 @default.
- W2949673634 hasConceptScore W2949673634C114614502 @default.
- W2949673634 hasConceptScore W2949673634C118615104 @default.
- W2949673634 hasConceptScore W2949673634C134306372 @default.
- W2949673634 hasConceptScore W2949673634C138885662 @default.
- W2949673634 hasConceptScore W2949673634C151730666 @default.
- W2949673634 hasConceptScore W2949673634C177264268 @default.
- W2949673634 hasConceptScore W2949673634C17825722 @default.
- W2949673634 hasConceptScore W2949673634C187691185 @default.
- W2949673634 hasConceptScore W2949673634C199360897 @default.
- W2949673634 hasConceptScore W2949673634C2524010 @default.
- W2949673634 hasConceptScore W2949673634C2778112365 @default.
- W2949673634 hasConceptScore W2949673634C2779343474 @default.
- W2949673634 hasConceptScore W2949673634C2780586882 @default.
- W2949673634 hasConceptScore W2949673634C33923547 @default.
- W2949673634 hasConceptScore W2949673634C34388435 @default.
- W2949673634 hasConceptScore W2949673634C41008148 @default.
- W2949673634 hasConceptScore W2949673634C45340560 @default.
- W2949673634 hasConceptScore W2949673634C54355233 @default.
- W2949673634 hasConceptScore W2949673634C70251129 @default.
- W2949673634 hasConceptScore W2949673634C86803240 @default.
- W2949673634 hasConceptScore W2949673634C90119067 @default.
- W2949673634 hasLocation W29496736341 @default.
- W2949673634 hasOpenAccess W2949673634 @default.
- W2949673634 hasPrimaryLocation W29496736341 @default.
- W2949673634 hasRelatedWork W116888106 @default.
- W2949673634 hasRelatedWork W168334256 @default.
- W2949673634 hasRelatedWork W1994132686 @default.
- W2949673634 hasRelatedWork W2103533325 @default.
- W2949673634 hasRelatedWork W2310053840 @default.
- W2949673634 hasRelatedWork W2554429163 @default.
- W2949673634 hasRelatedWork W2567966754 @default.
- W2949673634 hasRelatedWork W2795101523 @default.
- W2949673634 hasRelatedWork W2941039079 @default.
- W2949673634 hasRelatedWork W2950399465 @default.
- W2949673634 hasRelatedWork W2952134317 @default.
- W2949673634 hasRelatedWork W2953128076 @default.
- W2949673634 hasRelatedWork W2954785331 @default.
- W2949673634 hasRelatedWork W2963892888 @default.
- W2949673634 hasRelatedWork W2980368238 @default.
- W2949673634 hasRelatedWork W2986917802 @default.
- W2949673634 hasRelatedWork W3002331380 @default.
- W2949673634 hasRelatedWork W3013912866 @default.
- W2949673634 hasRelatedWork W3020751719 @default.
- W2949673634 hasRelatedWork W3163994581 @default.
- W2949673634 isParatext "false" @default.
- W2949673634 isRetracted "false" @default.
- W2949673634 magId "2949673634" @default.
- W2949673634 workType "article" @default.