Matches in SemOpenAlex for { <https://semopenalex.org/work/W239882307> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W239882307 abstract "We present a weaker variant of the PCP Theorem that admits a significantly easier proof. In this variant the prover only has n t time to compute each bit of his answer, for an arbitrary but fixed constant t, in contrast to being all powerful. We show that 3SAT is accepted by a polynomial-time probabilistic verifier that queries a constant number of bits from a polynomially long proof string. If a boolean formula o of length n is satisfiable, then the verifier accepts with probability 1. If o is not satisfiable, then the probability that a n t -bounded prover can fool the verifier is at most 1/2. The main technical tools used in the proof are the “easy” part of the PCP Theorem in which the verifier reads a constant number of bits from an exponentially long proof string, and the construction of a pseudo-random generator from a one-way permutation." @default.
- W239882307 created "2016-06-24" @default.
- W239882307 creator A5046763801 @default.
- W239882307 date "2001-01-01" @default.
- W239882307 modified "2023-09-23" @default.
- W239882307 title "Probabilistically Checkable Proofs The Easy Way" @default.
- W239882307 hasPublicationYear "2001" @default.
- W239882307 type Work @default.
- W239882307 sameAs 239882307 @default.
- W239882307 citedByCount "0" @default.
- W239882307 crossrefType "journal-article" @default.
- W239882307 hasAuthorship W239882307A5046763801 @default.
- W239882307 hasConcept C105795698 @default.
- W239882307 hasConcept C108710211 @default.
- W239882307 hasConcept C114614502 @default.
- W239882307 hasConcept C118615104 @default.
- W239882307 hasConcept C121332964 @default.
- W239882307 hasConcept C134306372 @default.
- W239882307 hasConcept C157486923 @default.
- W239882307 hasConcept C159718280 @default.
- W239882307 hasConcept C163258240 @default.
- W239882307 hasConcept C199360897 @default.
- W239882307 hasConcept C21308566 @default.
- W239882307 hasConcept C24890656 @default.
- W239882307 hasConcept C2524010 @default.
- W239882307 hasConcept C2777027219 @default.
- W239882307 hasConcept C2780992000 @default.
- W239882307 hasConcept C33923547 @default.
- W239882307 hasConcept C34388435 @default.
- W239882307 hasConcept C37914503 @default.
- W239882307 hasConcept C41008148 @default.
- W239882307 hasConcept C49937458 @default.
- W239882307 hasConcept C62520636 @default.
- W239882307 hasConcept C6943359 @default.
- W239882307 hasConceptScore W239882307C105795698 @default.
- W239882307 hasConceptScore W239882307C108710211 @default.
- W239882307 hasConceptScore W239882307C114614502 @default.
- W239882307 hasConceptScore W239882307C118615104 @default.
- W239882307 hasConceptScore W239882307C121332964 @default.
- W239882307 hasConceptScore W239882307C134306372 @default.
- W239882307 hasConceptScore W239882307C157486923 @default.
- W239882307 hasConceptScore W239882307C159718280 @default.
- W239882307 hasConceptScore W239882307C163258240 @default.
- W239882307 hasConceptScore W239882307C199360897 @default.
- W239882307 hasConceptScore W239882307C21308566 @default.
- W239882307 hasConceptScore W239882307C24890656 @default.
- W239882307 hasConceptScore W239882307C2524010 @default.
- W239882307 hasConceptScore W239882307C2777027219 @default.
- W239882307 hasConceptScore W239882307C2780992000 @default.
- W239882307 hasConceptScore W239882307C33923547 @default.
- W239882307 hasConceptScore W239882307C34388435 @default.
- W239882307 hasConceptScore W239882307C37914503 @default.
- W239882307 hasConceptScore W239882307C41008148 @default.
- W239882307 hasConceptScore W239882307C49937458 @default.
- W239882307 hasConceptScore W239882307C62520636 @default.
- W239882307 hasConceptScore W239882307C6943359 @default.
- W239882307 hasLocation W2398823071 @default.
- W239882307 hasOpenAccess W239882307 @default.
- W239882307 hasPrimaryLocation W2398823071 @default.
- W239882307 hasRelatedWork W1483170929 @default.
- W239882307 hasRelatedWork W1490233153 @default.
- W239882307 hasRelatedWork W1497086998 @default.
- W239882307 hasRelatedWork W1555946936 @default.
- W239882307 hasRelatedWork W1571969663 @default.
- W239882307 hasRelatedWork W184142732 @default.
- W239882307 hasRelatedWork W2021586362 @default.
- W239882307 hasRelatedWork W2139594012 @default.
- W239882307 hasRelatedWork W2148352980 @default.
- W239882307 hasRelatedWork W2395412869 @default.
- W239882307 hasRelatedWork W2400612744 @default.
- W239882307 hasRelatedWork W2401934382 @default.
- W239882307 hasRelatedWork W2404853397 @default.
- W239882307 hasRelatedWork W2742040237 @default.
- W239882307 hasRelatedWork W2806763105 @default.
- W239882307 hasRelatedWork W2914525031 @default.
- W239882307 hasRelatedWork W2950148416 @default.
- W239882307 hasRelatedWork W3214593854 @default.
- W239882307 hasRelatedWork W935592923 @default.
- W239882307 hasRelatedWork W1571856917 @default.
- W239882307 hasVolume "8" @default.
- W239882307 isParatext "false" @default.
- W239882307 isRetracted "false" @default.
- W239882307 magId "239882307" @default.
- W239882307 workType "article" @default.