FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503854536> ?p ?o ?g. }

• W1503854536 abstract "We introduce a model of probabilistic debate checking, where a silent resource-bounded verifier reads a dialogue about the membership of the string in the language under consideration between a prover and a refuter. Our model combines and generalizes the concepts of one-way interactive proof systems, games of incomplete information, and probabilistically checkable complete-information debate systems. We consider debates of partial and zero information, where the prover is prevented from seeing some or all of the messages of the refuter, as well as those of complete information. The classes of languages with debates checkable by verifiers operating under severe bounds on the memory and randomness are studied. We give full characterizations of versions of these classes corresponding to simultaneous bounds of O(1) space and O(1) random bits, and of logarithmic space and polynomial time. It turns out that constant-space verifiers, which can only check complete-information debates for regular languages deterministically, can check for membership in any language in P when allowed to use a constant number of random bits. Similar increases also occur for zero- and partial- information debates, from NSPACE(n) to PSPACE, and from E to EXPTIME, respectively. Adding logarithmic space to these constant-randomness verifiers does not change their power. When logspace debate checkers are restricted to run in polynomial time without a bound on the number of random bits, the class of debatable languages equals PSPACE for all debate types. We also present a result on the hardness of approximating the quantified max word problem for matrices that is a corollary of this characterization." @default.
• W1503854536 created "2016-06-24" @default.
• W1503854536 creator A5060493020 @default.
• W1503854536 creator A5063730885 @default.
• W1503854536 date "2012-11-30" @default.
• W1503854536 modified "2023-09-27" @default.
• W1503854536 title "Checking generalized debates with small space and randomness" @default.
• W1503854536 cites W13404512 @default.
• W1503854536 cites W1528588003 @default.
• W1503854536 cites W1686539397 @default.
• W1503854536 cites W1990282605 @default.
• W1503854536 cites W2006252547 @default.
• W1503854536 cites W2006253309 @default.
• W1503854536 cites W2030465871 @default.
• W1503854536 cites W2039391944 @default.
• W1503854536 cites W2046176315 @default.
• W1503854536 cites W2055767422 @default.
• W1503854536 cites W2061631274 @default.
• W1503854536 cites W2066219736 @default.
• W1503854536 cites W2147999468 @default.
• W1503854536 cites W2161979183 @default.
• W1503854536 cites W2165318736 @default.
• W1503854536 cites W25285532 @default.
• W1503854536 hasPublicationYear "2012" @default.
• W1503854536 type Work @default.
• W1503854536 sameAs 1503854536 @default.
• W1503854536 citedByCount "0" @default.
• W1503854536 crossrefType "posted-content" @default.
• W1503854536 hasAuthorship W1503854536A5060493020 @default.
• W1503854536 hasAuthorship W1503854536A5063730885 @default.
• W1503854536 hasConcept C105795698 @default.
• W1503854536 hasConcept C108710211 @default.
• W1503854536 hasConcept C111919701 @default.
• W1503854536 hasConcept C11413529 @default.
• W1503854536 hasConcept C114614502 @default.
• W1503854536 hasConcept C118615104 @default.
• W1503854536 hasConcept C125112378 @default.
• W1503854536 hasConcept C134306372 @default.
• W1503854536 hasConcept C154945302 @default.
• W1503854536 hasConcept C157486923 @default.
• W1503854536 hasConcept C159718280 @default.
• W1503854536 hasConcept C179799912 @default.
• W1503854536 hasConcept C197685441 @default.
• W1503854536 hasConcept C199360897 @default.
• W1503854536 hasConcept C2524010 @default.
• W1503854536 hasConcept C2777027219 @default.
• W1503854536 hasConcept C2777212361 @default.
• W1503854536 hasConcept C2778572836 @default.
• W1503854536 hasConcept C311688 @default.
• W1503854536 hasConcept C33923547 @default.
• W1503854536 hasConcept C34388435 @default.
• W1503854536 hasConcept C37914503 @default.
• W1503854536 hasConcept C39927690 @default.
• W1503854536 hasConcept C41008148 @default.
• W1503854536 hasConcept C49937458 @default.
• W1503854536 hasConcept C80444323 @default.
• W1503854536 hasConceptScore W1503854536C105795698 @default.
• W1503854536 hasConceptScore W1503854536C108710211 @default.
• W1503854536 hasConceptScore W1503854536C111919701 @default.
• W1503854536 hasConceptScore W1503854536C11413529 @default.
• W1503854536 hasConceptScore W1503854536C114614502 @default.
• W1503854536 hasConceptScore W1503854536C118615104 @default.
• W1503854536 hasConceptScore W1503854536C125112378 @default.
• W1503854536 hasConceptScore W1503854536C134306372 @default.
• W1503854536 hasConceptScore W1503854536C154945302 @default.
• W1503854536 hasConceptScore W1503854536C157486923 @default.
• W1503854536 hasConceptScore W1503854536C159718280 @default.
• W1503854536 hasConceptScore W1503854536C179799912 @default.
• W1503854536 hasConceptScore W1503854536C197685441 @default.
• W1503854536 hasConceptScore W1503854536C199360897 @default.
• W1503854536 hasConceptScore W1503854536C2524010 @default.
• W1503854536 hasConceptScore W1503854536C2777027219 @default.
• W1503854536 hasConceptScore W1503854536C2777212361 @default.
• W1503854536 hasConceptScore W1503854536C2778572836 @default.
• W1503854536 hasConceptScore W1503854536C311688 @default.
• W1503854536 hasConceptScore W1503854536C33923547 @default.
• W1503854536 hasConceptScore W1503854536C34388435 @default.
• W1503854536 hasConceptScore W1503854536C37914503 @default.
• W1503854536 hasConceptScore W1503854536C39927690 @default.
• W1503854536 hasConceptScore W1503854536C41008148 @default.
• W1503854536 hasConceptScore W1503854536C49937458 @default.
• W1503854536 hasConceptScore W1503854536C80444323 @default.
• W1503854536 hasLocation W15038545361 @default.
• W1503854536 hasOpenAccess W1503854536 @default.
• W1503854536 hasPrimaryLocation W15038545361 @default.
• W1503854536 hasRelatedWork W156363032 @default.
• W1503854536 hasRelatedWork W1600428721 @default.
• W1503854536 hasRelatedWork W1992436148 @default.
• W1503854536 hasRelatedWork W2011665527 @default.
• W1503854536 hasRelatedWork W2100965091 @default.
• W1503854536 hasRelatedWork W2177204320 @default.
• W1503854536 hasRelatedWork W2184633425 @default.
• W1503854536 hasRelatedWork W2207885555 @default.
• W1503854536 hasRelatedWork W2249308842 @default.
• W1503854536 hasRelatedWork W228759579 @default.
• W1503854536 hasRelatedWork W2417744963 @default.
• W1503854536 hasRelatedWork W2510208335 @default.
• W1503854536 hasRelatedWork W259957856 @default.
• W1503854536 hasRelatedWork W2785460996 @default.
• W1503854536 hasRelatedWork W2949084418 @default.

• next