Matches in SemOpenAlex for { <https://semopenalex.org/work/W3099584711> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3099584711 abstract "For an NP intersect coNP function g of the Nisan-Wigderson type and a string b outside its range we consider a two player game on a common input a to the function. One player, a computationally limited Student, tries to find a bit of g(a) that differs from the corresponding bit of b. He can query a computationally unlimited Teacher for the witnesses of the values of constantly many bits of g(a). The Student computes the queries from a and from Teacher's answers to his previous queries. It was proved by Krajicek (2011) that if g is based on a hard bit of a one-way permutation then no Student computed by a polynomial size circuit can succeed on all a. In this paper we give a lower bound on the number of inputs a any such Student must fail on. Using that we show that there is a pseudo-finite set of hard instances on which all uniform students must fail. The hard-core set is defined in a non-standard model of true arithmetic and has applications in a forcing construction relevant to proof complexity." @default.
- W3099584711 created "2020-11-23" @default.
- W3099584711 creator A5069803587 @default.
- W3099584711 date "2012-08-13" @default.
- W3099584711 modified "2023-09-26" @default.
- W3099584711 title "Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator" @default.
- W3099584711 cites W1998918799 @default.
- W3099584711 cites W2068961663 @default.
- W3099584711 cites W2079068382 @default.
- W3099584711 cites W4248733413 @default.
- W3099584711 cites W889431080 @default.
- W3099584711 doi "https://doi.org/10.2168/lmcs-8(3:9)2012" @default.
- W3099584711 hasPublicationYear "2012" @default.
- W3099584711 type Work @default.
- W3099584711 sameAs 3099584711 @default.
- W3099584711 citedByCount "28" @default.
- W3099584711 countsByYear W30995847112015 @default.
- W3099584711 countsByYear W30995847112019 @default.
- W3099584711 crossrefType "journal-article" @default.
- W3099584711 hasAuthorship W3099584711A5069803587 @default.
- W3099584711 hasBestOaLocation W30995847111 @default.
- W3099584711 hasConcept C118615104 @default.
- W3099584711 hasConcept C121332964 @default.
- W3099584711 hasConcept C134306372 @default.
- W3099584711 hasConcept C14036430 @default.
- W3099584711 hasConcept C157486923 @default.
- W3099584711 hasConcept C159985019 @default.
- W3099584711 hasConcept C163258240 @default.
- W3099584711 hasConcept C177264268 @default.
- W3099584711 hasConcept C192562407 @default.
- W3099584711 hasConcept C199360897 @default.
- W3099584711 hasConcept C204323151 @default.
- W3099584711 hasConcept C21308566 @default.
- W3099584711 hasConcept C24890656 @default.
- W3099584711 hasConcept C2780992000 @default.
- W3099584711 hasConcept C33923547 @default.
- W3099584711 hasConcept C37914503 @default.
- W3099584711 hasConcept C41008148 @default.
- W3099584711 hasConcept C62520636 @default.
- W3099584711 hasConcept C78458016 @default.
- W3099584711 hasConcept C80444323 @default.
- W3099584711 hasConcept C86803240 @default.
- W3099584711 hasConcept C90119067 @default.
- W3099584711 hasConcept C94375191 @default.
- W3099584711 hasConceptScore W3099584711C118615104 @default.
- W3099584711 hasConceptScore W3099584711C121332964 @default.
- W3099584711 hasConceptScore W3099584711C134306372 @default.
- W3099584711 hasConceptScore W3099584711C14036430 @default.
- W3099584711 hasConceptScore W3099584711C157486923 @default.
- W3099584711 hasConceptScore W3099584711C159985019 @default.
- W3099584711 hasConceptScore W3099584711C163258240 @default.
- W3099584711 hasConceptScore W3099584711C177264268 @default.
- W3099584711 hasConceptScore W3099584711C192562407 @default.
- W3099584711 hasConceptScore W3099584711C199360897 @default.
- W3099584711 hasConceptScore W3099584711C204323151 @default.
- W3099584711 hasConceptScore W3099584711C21308566 @default.
- W3099584711 hasConceptScore W3099584711C24890656 @default.
- W3099584711 hasConceptScore W3099584711C2780992000 @default.
- W3099584711 hasConceptScore W3099584711C33923547 @default.
- W3099584711 hasConceptScore W3099584711C37914503 @default.
- W3099584711 hasConceptScore W3099584711C41008148 @default.
- W3099584711 hasConceptScore W3099584711C62520636 @default.
- W3099584711 hasConceptScore W3099584711C78458016 @default.
- W3099584711 hasConceptScore W3099584711C80444323 @default.
- W3099584711 hasConceptScore W3099584711C86803240 @default.
- W3099584711 hasConceptScore W3099584711C90119067 @default.
- W3099584711 hasConceptScore W3099584711C94375191 @default.
- W3099584711 hasLocation W30995847111 @default.
- W3099584711 hasLocation W30995847112 @default.
- W3099584711 hasLocation W30995847113 @default.
- W3099584711 hasOpenAccess W3099584711 @default.
- W3099584711 hasPrimaryLocation W30995847111 @default.
- W3099584711 hasRelatedWork W1540024244 @default.
- W3099584711 hasRelatedWork W2017207521 @default.
- W3099584711 hasRelatedWork W2075882682 @default.
- W3099584711 hasRelatedWork W2084952636 @default.
- W3099584711 hasRelatedWork W2143066883 @default.
- W3099584711 hasRelatedWork W2571236692 @default.
- W3099584711 hasRelatedWork W2892095864 @default.
- W3099584711 hasRelatedWork W3159033659 @default.
- W3099584711 hasRelatedWork W4294363190 @default.
- W3099584711 hasRelatedWork W4313395926 @default.
- W3099584711 hasVolume "Volume 8, Issue 3" @default.
- W3099584711 isParatext "false" @default.
- W3099584711 isRetracted "false" @default.
- W3099584711 magId "3099584711" @default.
- W3099584711 workType "article" @default.