Matches in SemOpenAlex for { <https://semopenalex.org/work/W1635687005> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1635687005 abstract "Recently, connections have been explored between the complexity of finite problems in graph theory and the complexity of their infinite counterparts. As is shown in our paper (and in independent work of Tirza Hirst and D. Harel from a different angle) there is no firm connection between these complexities, namely finite problems of equal complexity can have radically different complexity for the infinite versions and vice versa. Furthermore, the complexity of an infinite counterpart can depend heavily on precisely how the finite problem is rephrased in the infinite case. The finite problems we address include colorability of graphs and existence of subgraph isomorphisms. In particular, we give three infinite versions of the 3-colorability problem that vary considerably in their recursion theoretic and proof theoretic complexity. Additionally, we show that three subgraph isomorphism problems of varying finite complexity have infinite versions with identical recursion theoretic and proof theoretic content." @default.
- W1635687005 created "2016-06-24" @default.
- W1635687005 creator A5032435178 @default.
- W1635687005 creator A5064590936 @default.
- W1635687005 date "1995-03-10" @default.
- W1635687005 modified "2023-09-27" @default.
- W1635687005 title "Infinite versions of some NP-complete problems" @default.
- W1635687005 cites W2036265926 @default.
- W1635687005 cites W2056414301 @default.
- W1635687005 cites W2098604425 @default.
- W1635687005 cites W2106260240 @default.
- W1635687005 hasPublicationYear "1995" @default.
- W1635687005 type Work @default.
- W1635687005 sameAs 1635687005 @default.
- W1635687005 citedByCount "0" @default.
- W1635687005 crossrefType "posted-content" @default.
- W1635687005 hasAuthorship W1635687005A5032435178 @default.
- W1635687005 hasAuthorship W1635687005A5064590936 @default.
- W1635687005 hasConcept C11413529 @default.
- W1635687005 hasConcept C114614502 @default.
- W1635687005 hasConcept C115624301 @default.
- W1635687005 hasConcept C118615104 @default.
- W1635687005 hasConcept C131992880 @default.
- W1635687005 hasConcept C132525143 @default.
- W1635687005 hasConcept C133142742 @default.
- W1635687005 hasConcept C13355873 @default.
- W1635687005 hasConcept C168773036 @default.
- W1635687005 hasConcept C179799912 @default.
- W1635687005 hasConcept C185592680 @default.
- W1635687005 hasConcept C191241153 @default.
- W1635687005 hasConcept C203436722 @default.
- W1635687005 hasConcept C203776342 @default.
- W1635687005 hasConcept C22149727 @default.
- W1635687005 hasConcept C2524010 @default.
- W1635687005 hasConcept C311688 @default.
- W1635687005 hasConcept C33923547 @default.
- W1635687005 hasConcept C39637292 @default.
- W1635687005 hasConcept C61665672 @default.
- W1635687005 hasConcept C8010536 @default.
- W1635687005 hasConceptScore W1635687005C11413529 @default.
- W1635687005 hasConceptScore W1635687005C114614502 @default.
- W1635687005 hasConceptScore W1635687005C115624301 @default.
- W1635687005 hasConceptScore W1635687005C118615104 @default.
- W1635687005 hasConceptScore W1635687005C131992880 @default.
- W1635687005 hasConceptScore W1635687005C132525143 @default.
- W1635687005 hasConceptScore W1635687005C133142742 @default.
- W1635687005 hasConceptScore W1635687005C13355873 @default.
- W1635687005 hasConceptScore W1635687005C168773036 @default.
- W1635687005 hasConceptScore W1635687005C179799912 @default.
- W1635687005 hasConceptScore W1635687005C185592680 @default.
- W1635687005 hasConceptScore W1635687005C191241153 @default.
- W1635687005 hasConceptScore W1635687005C203436722 @default.
- W1635687005 hasConceptScore W1635687005C203776342 @default.
- W1635687005 hasConceptScore W1635687005C22149727 @default.
- W1635687005 hasConceptScore W1635687005C2524010 @default.
- W1635687005 hasConceptScore W1635687005C311688 @default.
- W1635687005 hasConceptScore W1635687005C33923547 @default.
- W1635687005 hasConceptScore W1635687005C39637292 @default.
- W1635687005 hasConceptScore W1635687005C61665672 @default.
- W1635687005 hasConceptScore W1635687005C8010536 @default.
- W1635687005 hasLocation W16356870051 @default.
- W1635687005 hasOpenAccess W1635687005 @default.
- W1635687005 hasPrimaryLocation W16356870051 @default.
- W1635687005 hasRelatedWork W1494513799 @default.
- W1635687005 hasRelatedWork W1497600877 @default.
- W1635687005 hasRelatedWork W1854577363 @default.
- W1635687005 hasRelatedWork W1978480097 @default.
- W1635687005 hasRelatedWork W1992906573 @default.
- W1635687005 hasRelatedWork W2005490762 @default.
- W1635687005 hasRelatedWork W2112145019 @default.
- W1635687005 hasRelatedWork W2243954424 @default.
- W1635687005 hasRelatedWork W2493424709 @default.
- W1635687005 hasRelatedWork W2786962850 @default.
- W1635687005 hasRelatedWork W2946798653 @default.
- W1635687005 hasRelatedWork W2949734384 @default.
- W1635687005 hasRelatedWork W2950165413 @default.
- W1635687005 hasRelatedWork W2951280038 @default.
- W1635687005 hasRelatedWork W2954695482 @default.
- W1635687005 hasRelatedWork W2963584216 @default.
- W1635687005 hasRelatedWork W3100051117 @default.
- W1635687005 hasRelatedWork W3127264540 @default.
- W1635687005 hasRelatedWork W99865627 @default.
- W1635687005 hasRelatedWork W2086423722 @default.
- W1635687005 isParatext "false" @default.
- W1635687005 isRetracted "false" @default.
- W1635687005 magId "1635687005" @default.
- W1635687005 workType "article" @default.