Matches in SemOpenAlex for { <https://semopenalex.org/work/W1591344124> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1591344124 abstract "In this work, we look back into the proof of the PCP theorem, with the goal of finding new proofs that are more combinatorial and arguably simpler. For that, we introduce the notion of an assignment tester, which is a strengthening of the standard PCP verifier, in the following sense. Given a statement and an alleged proof for it, while the PCP verifier checks correctness of the statement, the assignment-tester checks correctness of the statement and the proof. This notion enables composition that is truly modular, i.e., one can compose two assignment-testers without any assumptions on how they are constructed. A related notion was independently introduced in (Ben-Sasson et. al. STOC 04). We provide a toolkit of (non-trivial) generic transformations on assignment testers. These transformations may be interesting in their own right, and allow us to present the following two main results: 1. The first is a new proof of the PCP theorem. This proof relies on a rather weak assignment tester given as a black box. From this, we construct combinatorially the full PCP. An important component of this proof is a new combinatorial aggregation technique (i.e., a new transformation that allows the verifier to read fewer, though possibly longer, pieces of the proof). An implementation of the black-box tester can be obtained from the algebraic proof techniques that already appear in L. Babai et al., 1991 and U. Feige et al., 1991. Obtaining a combinatorial implementation of this tester would give a purely combinatorial proof for the PCP theorem, which we view as an interesting open problem. 2. Our second construction is a standalone combinatorial construction showing NP /spl sube/ PCP (S. Arora et al., 1998). This implies, for example, that approximating max-SAT is quasi-NP-hard. This construction relies on a transformation that makes an assignment tester oblivious: so that the proof locations read are independent of the statement that is being proven. This eliminates, in a rather surprising manner, the need for aggregation in a crucial point in the proof." @default.
- W1591344124 created "2016-06-24" @default.
- W1591344124 creator A5029616850 @default.
- W1591344124 creator A5086367709 @default.
- W1591344124 date "2004-12-23" @default.
- W1591344124 modified "2023-09-23" @default.
- W1591344124 title "Assignment Testers: Towards a Combinatorial Proof of the PCP-Theorem" @default.
- W1591344124 cites W1970259241 @default.
- W1591344124 cites W1970606468 @default.
- W1591344124 cites W1970630090 @default.
- W1591344124 cites W1978478346 @default.
- W1591344124 cites W2000179324 @default.
- W1591344124 cites W2018925011 @default.
- W1591344124 cites W2019578639 @default.
- W1591344124 cites W2029859729 @default.
- W1591344124 cites W2082647621 @default.
- W1591344124 cites W2096390054 @default.
- W1591344124 cites W2106110343 @default.
- W1591344124 cites W2111385661 @default.
- W1591344124 cites W2141815340 @default.
- W1591344124 cites W2148180254 @default.
- W1591344124 cites W2148352980 @default.
- W1591344124 cites W2293988196 @default.
- W1591344124 cites W4256317935 @default.
- W1591344124 doi "https://doi.org/10.1109/focs.2004.16" @default.
- W1591344124 hasPublicationYear "2004" @default.
- W1591344124 type Work @default.
- W1591344124 sameAs 1591344124 @default.
- W1591344124 citedByCount "23" @default.
- W1591344124 countsByYear W15913441242012 @default.
- W1591344124 countsByYear W15913441242013 @default.
- W1591344124 countsByYear W15913441242014 @default.
- W1591344124 countsByYear W15913441242015 @default.
- W1591344124 countsByYear W15913441242016 @default.
- W1591344124 countsByYear W15913441242020 @default.
- W1591344124 countsByYear W15913441242022 @default.
- W1591344124 crossrefType "proceedings-article" @default.
- W1591344124 hasAuthorship W1591344124A5029616850 @default.
- W1591344124 hasAuthorship W1591344124A5086367709 @default.
- W1591344124 hasConcept C101468663 @default.
- W1591344124 hasConcept C105605280 @default.
- W1591344124 hasConcept C108710211 @default.
- W1591344124 hasConcept C118539577 @default.
- W1591344124 hasConcept C118615104 @default.
- W1591344124 hasConcept C134306372 @default.
- W1591344124 hasConcept C135754263 @default.
- W1591344124 hasConcept C17744445 @default.
- W1591344124 hasConcept C195653647 @default.
- W1591344124 hasConcept C199360897 @default.
- W1591344124 hasConcept C199539241 @default.
- W1591344124 hasConcept C2318724 @default.
- W1591344124 hasConcept C2524010 @default.
- W1591344124 hasConcept C2777026412 @default.
- W1591344124 hasConcept C2780801425 @default.
- W1591344124 hasConcept C33923547 @default.
- W1591344124 hasConcept C41008148 @default.
- W1591344124 hasConcept C55439883 @default.
- W1591344124 hasConcept C9376300 @default.
- W1591344124 hasConcept C94461902 @default.
- W1591344124 hasConceptScore W1591344124C101468663 @default.
- W1591344124 hasConceptScore W1591344124C105605280 @default.
- W1591344124 hasConceptScore W1591344124C108710211 @default.
- W1591344124 hasConceptScore W1591344124C118539577 @default.
- W1591344124 hasConceptScore W1591344124C118615104 @default.
- W1591344124 hasConceptScore W1591344124C134306372 @default.
- W1591344124 hasConceptScore W1591344124C135754263 @default.
- W1591344124 hasConceptScore W1591344124C17744445 @default.
- W1591344124 hasConceptScore W1591344124C195653647 @default.
- W1591344124 hasConceptScore W1591344124C199360897 @default.
- W1591344124 hasConceptScore W1591344124C199539241 @default.
- W1591344124 hasConceptScore W1591344124C2318724 @default.
- W1591344124 hasConceptScore W1591344124C2524010 @default.
- W1591344124 hasConceptScore W1591344124C2777026412 @default.
- W1591344124 hasConceptScore W1591344124C2780801425 @default.
- W1591344124 hasConceptScore W1591344124C33923547 @default.
- W1591344124 hasConceptScore W1591344124C41008148 @default.
- W1591344124 hasConceptScore W1591344124C55439883 @default.
- W1591344124 hasConceptScore W1591344124C9376300 @default.
- W1591344124 hasConceptScore W1591344124C94461902 @default.
- W1591344124 hasLocation W15913441241 @default.
- W1591344124 hasOpenAccess W1591344124 @default.
- W1591344124 hasPrimaryLocation W15913441241 @default.
- W1591344124 hasRelatedWork W1610564136 @default.
- W1591344124 hasRelatedWork W2040769847 @default.
- W1591344124 hasRelatedWork W2060729090 @default.
- W1591344124 hasRelatedWork W2242488196 @default.
- W1591344124 hasRelatedWork W2263677784 @default.
- W1591344124 hasRelatedWork W2277411487 @default.
- W1591344124 hasRelatedWork W2461509449 @default.
- W1591344124 hasRelatedWork W2795365301 @default.
- W1591344124 hasRelatedWork W3140175842 @default.
- W1591344124 hasRelatedWork W2182667334 @default.
- W1591344124 isParatext "false" @default.
- W1591344124 isRetracted "false" @default.
- W1591344124 magId "1591344124" @default.
- W1591344124 workType "article" @default.