Matches in SemOpenAlex for { <https://semopenalex.org/work/W2595714154> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2595714154 startingPage "187" @default.
- W2595714154 abstract "This paper studies a generalization of multi-prover interactive proofs in which a verifier interacts with two competing teams of provers: one team attempts to convince the verifier to accept while the other attempts to convince the verifier to reject. Each team consists of two provers who jointly implement a nosignaling strategy. No-signaling strategies are a curious class of joint strategy that cannot in general be implemented without communication between the provers, yet cannot be used as a black box to establish communication between them. Attention is restricted in this paper to two-turn interactions in which the verifier asks questions of each of the four provers and decides whether to accept or reject based on their responses. We prove that the complexity class of decision problems that admit two-turn interactive proofs with competing teams of no-signaling provers is a subset of PSPACE. This upper bound matches existing PSPACE lower bounds on the following two disparate and weaker classes of interactive proof: 1. Two-turn multi-prover interactive proofs with only one team of no-signaling provers. 2. Two-turn competing-prover interactive proofs with only one prover per team. Our result implies that the complexity of these two models is unchanged by the addition of a second competing team of no-signaling provers in the first case and by the addition of a second no-signaling prover to each team in the second case. Moreover, our result unifies and subsumes prior PSPACE upper bounds on these classes." @default.
- W2595714154 created "2017-03-23" @default.
- W2595714154 creator A5040942409 @default.
- W2595714154 date "2010-01-01" @default.
- W2595714154 modified "2023-10-16" @default.
- W2595714154 title "Interactive proofs with competing teams of no-signaling provers." @default.
- W2595714154 cites W1511716344 @default.
- W2595714154 cites W1520721073 @default.
- W2595714154 cites W1970606468 @default.
- W2595714154 cites W1980717955 @default.
- W2595714154 cites W2007426955 @default.
- W2595714154 cites W2017899870 @default.
- W2595714154 cites W2023373582 @default.
- W2595714154 cites W2082647621 @default.
- W2595714154 cites W2118143978 @default.
- W2595714154 cites W2124272925 @default.
- W2595714154 cites W2127851424 @default.
- W2595714154 cites W2151450177 @default.
- W2595714154 cites W2161327939 @default.
- W2595714154 cites W2195657359 @default.
- W2595714154 cites W2195967161 @default.
- W2595714154 cites W2912359042 @default.
- W2595714154 hasPublicationYear "2010" @default.
- W2595714154 type Work @default.
- W2595714154 sameAs 2595714154 @default.
- W2595714154 citedByCount "0" @default.
- W2595714154 crossrefType "journal-article" @default.
- W2595714154 hasAuthorship W2595714154A5040942409 @default.
- W2595714154 hasConcept C105605280 @default.
- W2595714154 hasConcept C108710211 @default.
- W2595714154 hasConcept C11413529 @default.
- W2595714154 hasConcept C134306372 @default.
- W2595714154 hasConcept C154945302 @default.
- W2595714154 hasConcept C159718280 @default.
- W2595714154 hasConcept C177148314 @default.
- W2595714154 hasConcept C179799912 @default.
- W2595714154 hasConcept C197685441 @default.
- W2595714154 hasConcept C2524010 @default.
- W2595714154 hasConcept C2777212361 @default.
- W2595714154 hasConcept C33923547 @default.
- W2595714154 hasConcept C41008148 @default.
- W2595714154 hasConcept C80444323 @default.
- W2595714154 hasConceptScore W2595714154C105605280 @default.
- W2595714154 hasConceptScore W2595714154C108710211 @default.
- W2595714154 hasConceptScore W2595714154C11413529 @default.
- W2595714154 hasConceptScore W2595714154C134306372 @default.
- W2595714154 hasConceptScore W2595714154C154945302 @default.
- W2595714154 hasConceptScore W2595714154C159718280 @default.
- W2595714154 hasConceptScore W2595714154C177148314 @default.
- W2595714154 hasConceptScore W2595714154C179799912 @default.
- W2595714154 hasConceptScore W2595714154C197685441 @default.
- W2595714154 hasConceptScore W2595714154C2524010 @default.
- W2595714154 hasConceptScore W2595714154C2777212361 @default.
- W2595714154 hasConceptScore W2595714154C33923547 @default.
- W2595714154 hasConceptScore W2595714154C41008148 @default.
- W2595714154 hasConceptScore W2595714154C80444323 @default.
- W2595714154 hasLocation W25957141541 @default.
- W2595714154 hasOpenAccess W2595714154 @default.
- W2595714154 hasPrimaryLocation W25957141541 @default.
- W2595714154 hasRelatedWork W1250591879 @default.
- W2595714154 hasRelatedWork W1546490768 @default.
- W2595714154 hasRelatedWork W1632808027 @default.
- W2595714154 hasRelatedWork W1979623128 @default.
- W2595714154 hasRelatedWork W2017899870 @default.
- W2595714154 hasRelatedWork W2096571200 @default.
- W2595714154 hasRelatedWork W2104005709 @default.
- W2595714154 hasRelatedWork W2142877099 @default.
- W2595714154 hasRelatedWork W2160478595 @default.
- W2595714154 hasRelatedWork W229693416 @default.
- W2595714154 hasRelatedWork W245122890 @default.
- W2595714154 hasRelatedWork W2483392883 @default.
- W2595714154 hasRelatedWork W2729688257 @default.
- W2595714154 hasRelatedWork W2741200013 @default.
- W2595714154 hasRelatedWork W2899793048 @default.
- W2595714154 hasRelatedWork W2962957862 @default.
- W2595714154 hasRelatedWork W2979191736 @default.
- W2595714154 hasRelatedWork W2998420931 @default.
- W2595714154 hasRelatedWork W765055999 @default.
- W2595714154 hasRelatedWork W768959333 @default.
- W2595714154 hasVolume "17" @default.
- W2595714154 isParatext "false" @default.
- W2595714154 isRetracted "false" @default.
- W2595714154 magId "2595714154" @default.
- W2595714154 workType "article" @default.