Matches in SemOpenAlex for { <https://semopenalex.org/work/W72831347> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W72831347 abstract "We give constructions of probabilistically checkable proofs (PCPs) of length n . poly(log n) (to prove satisfiability of circuits of size n) that can verified by querying poly(log n) bits of the proof. We also give constructions of locally testable codes (LTCs) with similar parameters.Previous constructions of short PCPs (from [5]to [9]) relied extensively on properties of low degree multi-variate polynomials. In contrast, our constructions rely on new problems and techniques revolving around the properties of codes based on high degree polynomials in one variable (also known as Reed-Solomon codes). We show how to convert the problem of verifying the satisfaction of a circuit by a given assignment to the task of verifying that a given function is close to being a Reed-Solomon codeword, i.e., a univariate polynomial of specified degree. This reduction is simpler than the corresponding steps in previous reductions, and gives a new alternative to using the popular sum-check protocol. We then give a new PCP for the special task of proving that a function is close to being a Reed-Solomon codeword. This step of the construction is by a self-contained recursion, and the only ingredient needed in the analysis is the bi-variate low-degree test of Polischuk and Spielman[27].Note that our constructions yield LTCs first, which are then converted to PCPs. In contrast, most recent constructions go in the opposite (and less natural) direction of getting LTCs from PCPs." @default.
- W72831347 created "2016-06-24" @default.
- W72831347 creator A5017844316 @default.
- W72831347 creator A5058111762 @default.
- W72831347 date "2004-01-01" @default.
- W72831347 modified "2023-09-25" @default.
- W72831347 title "Simple PCPs with Poly-log Rate and Query Complexity" @default.
- W72831347 hasPublicationYear "2004" @default.
- W72831347 type Work @default.
- W72831347 sameAs 72831347 @default.
- W72831347 citedByCount "1" @default.
- W72831347 crossrefType "journal-article" @default.
- W72831347 hasAuthorship W72831347A5017844316 @default.
- W72831347 hasAuthorship W72831347A5058111762 @default.
- W72831347 hasConcept C108710211 @default.
- W72831347 hasConcept C111335779 @default.
- W72831347 hasConcept C111472728 @default.
- W72831347 hasConcept C11413529 @default.
- W72831347 hasConcept C114614502 @default.
- W72831347 hasConcept C118615104 @default.
- W72831347 hasConcept C121332964 @default.
- W72831347 hasConcept C134306372 @default.
- W72831347 hasConcept C138885662 @default.
- W72831347 hasConcept C14036430 @default.
- W72831347 hasConcept C153207627 @default.
- W72831347 hasConcept C168773036 @default.
- W72831347 hasConcept C168773769 @default.
- W72831347 hasConcept C24890656 @default.
- W72831347 hasConcept C2524010 @default.
- W72831347 hasConcept C2775997480 @default.
- W72831347 hasConcept C2780586882 @default.
- W72831347 hasConcept C33923547 @default.
- W72831347 hasConcept C41008148 @default.
- W72831347 hasConcept C57273362 @default.
- W72831347 hasConcept C63553672 @default.
- W72831347 hasConcept C78458016 @default.
- W72831347 hasConcept C86803240 @default.
- W72831347 hasConcept C90119067 @default.
- W72831347 hasConceptScore W72831347C108710211 @default.
- W72831347 hasConceptScore W72831347C111335779 @default.
- W72831347 hasConceptScore W72831347C111472728 @default.
- W72831347 hasConceptScore W72831347C11413529 @default.
- W72831347 hasConceptScore W72831347C114614502 @default.
- W72831347 hasConceptScore W72831347C118615104 @default.
- W72831347 hasConceptScore W72831347C121332964 @default.
- W72831347 hasConceptScore W72831347C134306372 @default.
- W72831347 hasConceptScore W72831347C138885662 @default.
- W72831347 hasConceptScore W72831347C14036430 @default.
- W72831347 hasConceptScore W72831347C153207627 @default.
- W72831347 hasConceptScore W72831347C168773036 @default.
- W72831347 hasConceptScore W72831347C168773769 @default.
- W72831347 hasConceptScore W72831347C24890656 @default.
- W72831347 hasConceptScore W72831347C2524010 @default.
- W72831347 hasConceptScore W72831347C2775997480 @default.
- W72831347 hasConceptScore W72831347C2780586882 @default.
- W72831347 hasConceptScore W72831347C33923547 @default.
- W72831347 hasConceptScore W72831347C41008148 @default.
- W72831347 hasConceptScore W72831347C57273362 @default.
- W72831347 hasConceptScore W72831347C63553672 @default.
- W72831347 hasConceptScore W72831347C78458016 @default.
- W72831347 hasConceptScore W72831347C86803240 @default.
- W72831347 hasConceptScore W72831347C90119067 @default.
- W72831347 hasLocation W728313471 @default.
- W72831347 hasOpenAccess W72831347 @default.
- W72831347 hasPrimaryLocation W728313471 @default.
- W72831347 hasRelatedWork W1605144615 @default.
- W72831347 hasRelatedWork W1966671033 @default.
- W72831347 hasRelatedWork W1978478346 @default.
- W72831347 hasRelatedWork W2034154168 @default.
- W72831347 hasRelatedWork W2087900794 @default.
- W72831347 hasRelatedWork W2130703751 @default.
- W72831347 hasRelatedWork W2303247699 @default.
- W72831347 hasRelatedWork W2403422998 @default.
- W72831347 hasRelatedWork W2556940513 @default.
- W72831347 hasRelatedWork W2742040237 @default.
- W72831347 hasRelatedWork W2885314357 @default.
- W72831347 hasRelatedWork W2889356414 @default.
- W72831347 hasRelatedWork W2914525031 @default.
- W72831347 hasRelatedWork W3029599702 @default.
- W72831347 hasRelatedWork W3031715001 @default.
- W72831347 hasRelatedWork W3082356466 @default.
- W72831347 hasRelatedWork W3105296533 @default.
- W72831347 hasRelatedWork W3119413233 @default.
- W72831347 hasRelatedWork W3129128072 @default.
- W72831347 hasRelatedWork W935592923 @default.
- W72831347 isParatext "false" @default.
- W72831347 isRetracted "false" @default.
- W72831347 magId "72831347" @default.
- W72831347 workType "article" @default.