Matches in SemOpenAlex for { <https://semopenalex.org/work/W2288293889> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2288293889 abstract "Solutions to NP-problems are deterministically verifiable in polynomial time. But the classic verification process has a drawback - typically we need to (at least) read the entire proof to decide whether the proof is correct or incorrect. In the thesis we present the PCP theorem which claims that solutions to NP- problems can be checked by only a small number of queries to bits in their corresponding proof strings. We describe the equivalent version of the theorem which is at the heart of many approximation results for NP-hard problems. We illustrate this on two well-known problems, the maximum independent set problem and the minimum vertex cover problem. We present the main ideas of both versions of the PCP theorem proof: the original algebraic proof and later combinatorial version. In the last chapter we list some exciting discoveries related to the probabilistic checking of proofs." @default.
- W2288293889 created "2016-06-24" @default.
- W2288293889 creator A5083202730 @default.
- W2288293889 date "2011-09-12" @default.
- W2288293889 modified "2023-09-27" @default.
- W2288293889 title "The PCP theorem" @default.
- W2288293889 hasPublicationYear "2011" @default.
- W2288293889 type Work @default.
- W2288293889 sameAs 2288293889 @default.
- W2288293889 citedByCount "0" @default.
- W2288293889 crossrefType "dissertation" @default.
- W2288293889 hasAuthorship W2288293889A5083202730 @default.
- W2288293889 hasConcept C105795698 @default.
- W2288293889 hasConcept C108710211 @default.
- W2288293889 hasConcept C11413529 @default.
- W2288293889 hasConcept C118539577 @default.
- W2288293889 hasConcept C118615104 @default.
- W2288293889 hasConcept C132525143 @default.
- W2288293889 hasConcept C134306372 @default.
- W2288293889 hasConcept C135754263 @default.
- W2288293889 hasConcept C171636804 @default.
- W2288293889 hasConcept C17566778 @default.
- W2288293889 hasConcept C177264268 @default.
- W2288293889 hasConcept C194886279 @default.
- W2288293889 hasConcept C199360897 @default.
- W2288293889 hasConcept C206880738 @default.
- W2288293889 hasConcept C2524010 @default.
- W2288293889 hasConcept C311688 @default.
- W2288293889 hasConcept C33923547 @default.
- W2288293889 hasConcept C40687702 @default.
- W2288293889 hasConcept C41008148 @default.
- W2288293889 hasConcept C45962547 @default.
- W2288293889 hasConcept C49937458 @default.
- W2288293889 hasConcept C80899671 @default.
- W2288293889 hasConcept C85847156 @default.
- W2288293889 hasConcept C9376300 @default.
- W2288293889 hasConceptScore W2288293889C105795698 @default.
- W2288293889 hasConceptScore W2288293889C108710211 @default.
- W2288293889 hasConceptScore W2288293889C11413529 @default.
- W2288293889 hasConceptScore W2288293889C118539577 @default.
- W2288293889 hasConceptScore W2288293889C118615104 @default.
- W2288293889 hasConceptScore W2288293889C132525143 @default.
- W2288293889 hasConceptScore W2288293889C134306372 @default.
- W2288293889 hasConceptScore W2288293889C135754263 @default.
- W2288293889 hasConceptScore W2288293889C171636804 @default.
- W2288293889 hasConceptScore W2288293889C17566778 @default.
- W2288293889 hasConceptScore W2288293889C177264268 @default.
- W2288293889 hasConceptScore W2288293889C194886279 @default.
- W2288293889 hasConceptScore W2288293889C199360897 @default.
- W2288293889 hasConceptScore W2288293889C206880738 @default.
- W2288293889 hasConceptScore W2288293889C2524010 @default.
- W2288293889 hasConceptScore W2288293889C311688 @default.
- W2288293889 hasConceptScore W2288293889C33923547 @default.
- W2288293889 hasConceptScore W2288293889C40687702 @default.
- W2288293889 hasConceptScore W2288293889C41008148 @default.
- W2288293889 hasConceptScore W2288293889C45962547 @default.
- W2288293889 hasConceptScore W2288293889C49937458 @default.
- W2288293889 hasConceptScore W2288293889C80899671 @default.
- W2288293889 hasConceptScore W2288293889C85847156 @default.
- W2288293889 hasConceptScore W2288293889C9376300 @default.
- W2288293889 hasLocation W22882938891 @default.
- W2288293889 hasOpenAccess W2288293889 @default.
- W2288293889 hasPrimaryLocation W22882938891 @default.
- W2288293889 hasRelatedWork W109827950 @default.
- W2288293889 hasRelatedWork W1483094817 @default.
- W2288293889 hasRelatedWork W1491975900 @default.
- W2288293889 hasRelatedWork W1591344124 @default.
- W2288293889 hasRelatedWork W1817813502 @default.
- W2288293889 hasRelatedWork W1836725053 @default.
- W2288293889 hasRelatedWork W20286062 @default.
- W2288293889 hasRelatedWork W2061662395 @default.
- W2288293889 hasRelatedWork W2112754349 @default.
- W2288293889 hasRelatedWork W2461509449 @default.
- W2288293889 hasRelatedWork W2559566311 @default.
- W2288293889 hasRelatedWork W2765143658 @default.
- W2288293889 hasRelatedWork W287250049 @default.
- W2288293889 hasRelatedWork W2950528839 @default.
- W2288293889 hasRelatedWork W315696179 @default.
- W2288293889 hasRelatedWork W3158765418 @default.
- W2288293889 hasRelatedWork W73507083 @default.
- W2288293889 hasRelatedWork W82186835 @default.
- W2288293889 hasRelatedWork W9863921 @default.
- W2288293889 hasRelatedWork W2182667334 @default.
- W2288293889 isParatext "false" @default.
- W2288293889 isRetracted "false" @default.
- W2288293889 magId "2288293889" @default.
- W2288293889 workType "dissertation" @default.