Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289096735> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4289096735 abstract "Interaction between clique number $omega(G) $ and chromatic number $chi(G) $ of a graph is a well studied topic in graph theory. Perfect Graph Theorems are probably the most important results in this direction. Graph $G$ is called emph{perfect} if $chi(H)=omega(H)$ for every induced subgraph $H$ of $G$. The Strong Perfect Graph Theorem (SPGT) states that a graph is perfect if and only if it does not contain an odd hole (or an odd anti-hole) as its induced subgraph. The Weak Perfect Graph Theorem (WPGT) states that a graph is perfect if and only if its complement is perfect. In this paper, we present a formal framework for verifying these results. We model finite simple graphs in the constructive type theory of Coq Proof Assistant without adding any axiom to it. Finally, we use this framework to present a constructive proof of the Lov'{a}sz Replication Lemma, which is the central idea in the proof of Weak Perfect Graph Theorem." @default.
- W4289096735 created "2022-08-01" @default.
- W4289096735 creator A5004367043 @default.
- W4289096735 creator A5017642351 @default.
- W4289096735 date "2018-12-28" @default.
- W4289096735 modified "2023-09-27" @default.
- W4289096735 title "Towards a constructive formalization of Perfect Graph Theorems" @default.
- W4289096735 doi "https://doi.org/10.48550/arxiv.1812.11108" @default.
- W4289096735 hasPublicationYear "2018" @default.
- W4289096735 type Work @default.
- W4289096735 citedByCount "0" @default.
- W4289096735 crossrefType "posted-content" @default.
- W4289096735 hasAuthorship W4289096735A5004367043 @default.
- W4289096735 hasAuthorship W4289096735A5017642351 @default.
- W4289096735 hasBestOaLocation W42890967351 @default.
- W4289096735 hasConcept C108710211 @default.
- W4289096735 hasConcept C111919701 @default.
- W4289096735 hasConcept C114614502 @default.
- W4289096735 hasConcept C118615104 @default.
- W4289096735 hasConcept C132525143 @default.
- W4289096735 hasConcept C147792647 @default.
- W4289096735 hasConcept C149530733 @default.
- W4289096735 hasConcept C161487630 @default.
- W4289096735 hasConcept C168291704 @default.
- W4289096735 hasConcept C170903109 @default.
- W4289096735 hasConcept C17169500 @default.
- W4289096735 hasConcept C203776342 @default.
- W4289096735 hasConcept C22149727 @default.
- W4289096735 hasConcept C2524010 @default.
- W4289096735 hasConcept C2778701210 @default.
- W4289096735 hasConcept C32972407 @default.
- W4289096735 hasConcept C33923547 @default.
- W4289096735 hasConcept C36038622 @default.
- W4289096735 hasConcept C41008148 @default.
- W4289096735 hasConcept C43517604 @default.
- W4289096735 hasConcept C98045186 @default.
- W4289096735 hasConceptScore W4289096735C108710211 @default.
- W4289096735 hasConceptScore W4289096735C111919701 @default.
- W4289096735 hasConceptScore W4289096735C114614502 @default.
- W4289096735 hasConceptScore W4289096735C118615104 @default.
- W4289096735 hasConceptScore W4289096735C132525143 @default.
- W4289096735 hasConceptScore W4289096735C147792647 @default.
- W4289096735 hasConceptScore W4289096735C149530733 @default.
- W4289096735 hasConceptScore W4289096735C161487630 @default.
- W4289096735 hasConceptScore W4289096735C168291704 @default.
- W4289096735 hasConceptScore W4289096735C170903109 @default.
- W4289096735 hasConceptScore W4289096735C17169500 @default.
- W4289096735 hasConceptScore W4289096735C203776342 @default.
- W4289096735 hasConceptScore W4289096735C22149727 @default.
- W4289096735 hasConceptScore W4289096735C2524010 @default.
- W4289096735 hasConceptScore W4289096735C2778701210 @default.
- W4289096735 hasConceptScore W4289096735C32972407 @default.
- W4289096735 hasConceptScore W4289096735C33923547 @default.
- W4289096735 hasConceptScore W4289096735C36038622 @default.
- W4289096735 hasConceptScore W4289096735C41008148 @default.
- W4289096735 hasConceptScore W4289096735C43517604 @default.
- W4289096735 hasConceptScore W4289096735C98045186 @default.
- W4289096735 hasLocation W42890967351 @default.
- W4289096735 hasLocation W42890967352 @default.
- W4289096735 hasOpenAccess W4289096735 @default.
- W4289096735 hasPrimaryLocation W42890967351 @default.
- W4289096735 hasRelatedWork W1845827952 @default.
- W4289096735 hasRelatedWork W2027653655 @default.
- W4289096735 hasRelatedWork W2065306274 @default.
- W4289096735 hasRelatedWork W2174595530 @default.
- W4289096735 hasRelatedWork W2509813159 @default.
- W4289096735 hasRelatedWork W2949245864 @default.
- W4289096735 hasRelatedWork W2994462404 @default.
- W4289096735 hasRelatedWork W3021689243 @default.
- W4289096735 hasRelatedWork W4289096735 @default.
- W4289096735 hasRelatedWork W4297800282 @default.
- W4289096735 isParatext "false" @default.
- W4289096735 isRetracted "false" @default.
- W4289096735 workType "article" @default.