Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488388210> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1488388210 abstract "In this paper, an algorithm for determining 3-colorability, i.e. the decision problem (YES/NO), in planar graphs is presented. The algorithm, although not exact (it could produce false positives) has two very important features: (i) it has polynomial complexity and (ii) for every NO answer, a proof is generated, which is of much interest since 3-colorability is a NP-complete problem and thus its complementary problem is in Co-NP. Hence the algorithm is exact when it determines that a given planar graph is not 3-colorable since this is verifiable via an automatic generation of short formal proofs (also human-readable)." @default.
- W1488388210 created "2016-06-24" @default.
- W1488388210 creator A5054123884 @default.
- W1488388210 date "2011-01-31" @default.
- W1488388210 modified "2023-09-27" @default.
- W1488388210 title "A polynomial 3-colorability algorithm with automatic generation of NO 3-colorability (i.e. Co-NP) short proofs" @default.
- W1488388210 cites W1981455469 @default.
- W1488388210 cites W2011039300 @default.
- W1488388210 cites W2077202644 @default.
- W1488388210 cites W345637930 @default.
- W1488388210 hasPublicationYear "2011" @default.
- W1488388210 type Work @default.
- W1488388210 sameAs 1488388210 @default.
- W1488388210 citedByCount "0" @default.
- W1488388210 crossrefType "posted-content" @default.
- W1488388210 hasAuthorship W1488388210A5054123884 @default.
- W1488388210 hasConcept C105605280 @default.
- W1488388210 hasConcept C108710211 @default.
- W1488388210 hasConcept C11413529 @default.
- W1488388210 hasConcept C114614502 @default.
- W1488388210 hasConcept C118615104 @default.
- W1488388210 hasConcept C132525143 @default.
- W1488388210 hasConcept C154945302 @default.
- W1488388210 hasConcept C179799912 @default.
- W1488388210 hasConcept C186861659 @default.
- W1488388210 hasConcept C2524010 @default.
- W1488388210 hasConcept C311688 @default.
- W1488388210 hasConcept C33923547 @default.
- W1488388210 hasConcept C41008148 @default.
- W1488388210 hasConcept C64869954 @default.
- W1488388210 hasConceptScore W1488388210C105605280 @default.
- W1488388210 hasConceptScore W1488388210C108710211 @default.
- W1488388210 hasConceptScore W1488388210C11413529 @default.
- W1488388210 hasConceptScore W1488388210C114614502 @default.
- W1488388210 hasConceptScore W1488388210C118615104 @default.
- W1488388210 hasConceptScore W1488388210C132525143 @default.
- W1488388210 hasConceptScore W1488388210C154945302 @default.
- W1488388210 hasConceptScore W1488388210C179799912 @default.
- W1488388210 hasConceptScore W1488388210C186861659 @default.
- W1488388210 hasConceptScore W1488388210C2524010 @default.
- W1488388210 hasConceptScore W1488388210C311688 @default.
- W1488388210 hasConceptScore W1488388210C33923547 @default.
- W1488388210 hasConceptScore W1488388210C41008148 @default.
- W1488388210 hasConceptScore W1488388210C64869954 @default.
- W1488388210 hasLocation W14883882101 @default.
- W1488388210 hasOpenAccess W1488388210 @default.
- W1488388210 hasPrimaryLocation W14883882101 @default.
- W1488388210 hasRelatedWork W1515900222 @default.
- W1488388210 hasRelatedWork W1570630030 @default.
- W1488388210 hasRelatedWork W1770127481 @default.
- W1488388210 hasRelatedWork W1870858037 @default.
- W1488388210 hasRelatedWork W2143992175 @default.
- W1488388210 hasRelatedWork W2166871264 @default.
- W1488388210 hasRelatedWork W2185604042 @default.
- W1488388210 hasRelatedWork W2477962801 @default.
- W1488388210 hasRelatedWork W2749113736 @default.
- W1488388210 hasRelatedWork W2778708261 @default.
- W1488388210 hasRelatedWork W2945450652 @default.
- W1488388210 hasRelatedWork W2963428363 @default.
- W1488388210 hasRelatedWork W2963636506 @default.
- W1488388210 hasRelatedWork W2963877701 @default.
- W1488388210 hasRelatedWork W2963891649 @default.
- W1488388210 hasRelatedWork W3041027895 @default.
- W1488388210 hasRelatedWork W3045310610 @default.
- W1488388210 hasRelatedWork W3046608358 @default.
- W1488388210 hasRelatedWork W3100067187 @default.
- W1488388210 hasRelatedWork W2415674422 @default.
- W1488388210 isParatext "false" @default.
- W1488388210 isRetracted "false" @default.
- W1488388210 magId "1488388210" @default.
- W1488388210 workType "article" @default.