Matches in SemOpenAlex for { <https://semopenalex.org/work/W2785460996> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2785460996 startingPage "105" @default.
- W2785460996 abstract "We introduce pseudo-deterministic interactive proofs (psdIP): interactive proof systems for search problems where the verifier is guaranteed with high probability to output the same output on different executions. As in the case with classical interactive proofs, the verifier is a probabilistic polynomial time algorithm interacting with an untrusted powerful prover.We view pseudo-deterministic interactive proofs as an extension of the study of pseudo-deterministic randomized polynomial time algorithms: the goal of the latter is to find canonical solutions to search problems whereas the goal of the former is to prove that a solution to a search problem is canonical to a probabilistic polynomial time verifier. Alternatively, one may think of the powerful prover as aiding the probabilistic polynomial time verifier to find canonical solutions to search problems, with high probability over the randomness of the verifier. The challenge is that pseudo-determinism should hold not only with respect to the randomness, but also with respect to the prover: a malicious prover should not be able to cause the verifier to output a solution other than the unique canonical one.The IP=PSPACE characterization implies that psdIP = IP. The challenge is to find constant round pseudo-deterministic interactive proofs for hard search problems. We show a constant round pseudo-deterministic interactive proof for the graph isomorphism problem: on any input pair of isomorphic graphs (G_0,G_1), there exist a unique isomorphism phi from G_0 to G_1 (although many isomorphism many exist) which will be output by the verifier with high probability, regardless of any dishonest prover strategy.In contrast, we show that it is unlikely that psdIP proofs with constant rounds exist for NP-complete problems by showing that if any NP-complete problem has a constant round psdIP protocol, then the polynomial hierarchy collapses." @default.
- W2785460996 created "2018-02-23" @default.
- W2785460996 creator A5043606116 @default.
- W2785460996 creator A5066633774 @default.
- W2785460996 creator A5070011898 @default.
- W2785460996 date "2017-01-01" @default.
- W2785460996 modified "2023-09-23" @default.
- W2785460996 title "Pseudo-Deterministic Proofs." @default.
- W2785460996 hasPublicationYear "2017" @default.
- W2785460996 type Work @default.
- W2785460996 sameAs 2785460996 @default.
- W2785460996 citedByCount "0" @default.
- W2785460996 crossrefType "journal-article" @default.
- W2785460996 hasAuthorship W2785460996A5043606116 @default.
- W2785460996 hasAuthorship W2785460996A5066633774 @default.
- W2785460996 hasAuthorship W2785460996A5070011898 @default.
- W2785460996 hasConcept C105795698 @default.
- W2785460996 hasConcept C108710211 @default.
- W2785460996 hasConcept C11413529 @default.
- W2785460996 hasConcept C115624301 @default.
- W2785460996 hasConcept C118615104 @default.
- W2785460996 hasConcept C125112378 @default.
- W2785460996 hasConcept C159718280 @default.
- W2785460996 hasConcept C179799912 @default.
- W2785460996 hasConcept C185592680 @default.
- W2785460996 hasConcept C197685441 @default.
- W2785460996 hasConcept C203436722 @default.
- W2785460996 hasConcept C2524010 @default.
- W2785460996 hasConcept C311688 @default.
- W2785460996 hasConcept C33923547 @default.
- W2785460996 hasConcept C41008148 @default.
- W2785460996 hasConcept C49937458 @default.
- W2785460996 hasConcept C8010536 @default.
- W2785460996 hasConcept C80444323 @default.
- W2785460996 hasConceptScore W2785460996C105795698 @default.
- W2785460996 hasConceptScore W2785460996C108710211 @default.
- W2785460996 hasConceptScore W2785460996C11413529 @default.
- W2785460996 hasConceptScore W2785460996C115624301 @default.
- W2785460996 hasConceptScore W2785460996C118615104 @default.
- W2785460996 hasConceptScore W2785460996C125112378 @default.
- W2785460996 hasConceptScore W2785460996C159718280 @default.
- W2785460996 hasConceptScore W2785460996C179799912 @default.
- W2785460996 hasConceptScore W2785460996C185592680 @default.
- W2785460996 hasConceptScore W2785460996C197685441 @default.
- W2785460996 hasConceptScore W2785460996C203436722 @default.
- W2785460996 hasConceptScore W2785460996C2524010 @default.
- W2785460996 hasConceptScore W2785460996C311688 @default.
- W2785460996 hasConceptScore W2785460996C33923547 @default.
- W2785460996 hasConceptScore W2785460996C41008148 @default.
- W2785460996 hasConceptScore W2785460996C49937458 @default.
- W2785460996 hasConceptScore W2785460996C8010536 @default.
- W2785460996 hasConceptScore W2785460996C80444323 @default.
- W2785460996 hasLocation W27854609961 @default.
- W2785460996 hasOpenAccess W2785460996 @default.
- W2785460996 hasPrimaryLocation W27854609961 @default.
- W2785460996 hasRelatedWork W1490904659 @default.
- W2785460996 hasRelatedWork W1503854536 @default.
- W2785460996 hasRelatedWork W1602668715 @default.
- W2785460996 hasRelatedWork W1670983858 @default.
- W2785460996 hasRelatedWork W1967415230 @default.
- W2785460996 hasRelatedWork W1992436148 @default.
- W2785460996 hasRelatedWork W2074376758 @default.
- W2785460996 hasRelatedWork W2184633425 @default.
- W2785460996 hasRelatedWork W2255150270 @default.
- W2785460996 hasRelatedWork W2398403423 @default.
- W2785460996 hasRelatedWork W2417744963 @default.
- W2785460996 hasRelatedWork W259957856 @default.
- W2785460996 hasRelatedWork W2784921327 @default.
- W2785460996 hasRelatedWork W2949277485 @default.
- W2785460996 hasRelatedWork W2950617606 @default.
- W2785460996 hasRelatedWork W2962853121 @default.
- W2785460996 hasRelatedWork W3021154409 @default.
- W2785460996 hasRelatedWork W3127722798 @default.
- W2785460996 hasRelatedWork W73079585 @default.
- W2785460996 hasRelatedWork W2107809915 @default.
- W2785460996 hasVolume "24" @default.
- W2785460996 isParatext "false" @default.
- W2785460996 isRetracted "false" @default.
- W2785460996 magId "2785460996" @default.
- W2785460996 workType "article" @default.