Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313227181> ?p ?o ?g. }
- W4313227181 abstract "A long-standing open question in computational learning theory is to prove NP-hardness of learning efficient programs, the setting of which is in between proper learning and improper learning. Ko (COLT’90, SICOMP’91) explicitly raised this open question and demonstrated its difficulty by proving that there exists no relativizing proof of NP-hardness of learning programs. In this paper, we overcome Ko’s relativization barrier and prove NP-hardness of learning programs under randomized polynomial-time many-one reductions. Our result is provably non-relativizing, and comes somewhat close to the parameter range of improper learning: We observe that mildly improving our inapproximability factor is sufficient to exclude Heuristica, i.e., show the equivalence between average-case and worst-case complexities of N P. We also make progress on another long-standing open question of showing NP-hardness of the Minimum Circuit Size Problem (MCSP). We prove NP-hardness of the partial function variant of MCSP as well as other meta-computational problems, such as the problems MKTP <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>*</sup> and MINKT <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>*</sup> of computing the time-bounded Kolmogorov complexity of a given partial string, under randomized polynomial-time reductions. Our proofs are algorithmic information (a.k. a. Kolmogorov complexity) theoretic. We utilize black-box pseudorandom generator constructions, such as the Nisan-Wigderson generator, as a one-time encryption scheme secure against a program which “does not know” a random function. Our key technical contribution is to quantify the “knowledge” of a program by using conditional Kolmogorov complexity and show that no small program can know many random functions." @default.
- W4313227181 created "2023-01-06" @default.
- W4313227181 creator A5090763108 @default.
- W4313227181 date "2022-10-01" @default.
- W4313227181 modified "2023-09-27" @default.
- W4313227181 title "NP-Hardness of Learning Programs and Partial MCSP" @default.
- W4313227181 cites W151682908 @default.
- W4313227181 cites W1966819396 @default.
- W4313227181 cites W1968540673 @default.
- W4313227181 cites W1973874352 @default.
- W4313227181 cites W1984477611 @default.
- W4313227181 cites W1990948892 @default.
- W4313227181 cites W1992067909 @default.
- W4313227181 cites W1993138363 @default.
- W4313227181 cites W1995725694 @default.
- W4313227181 cites W1998918799 @default.
- W4313227181 cites W2006906201 @default.
- W4313227181 cites W2017008844 @default.
- W4313227181 cites W2019120673 @default.
- W4313227181 cites W2021736779 @default.
- W4313227181 cites W2028930979 @default.
- W4313227181 cites W2036322072 @default.
- W4313227181 cites W2038663599 @default.
- W4313227181 cites W2042194938 @default.
- W4313227181 cites W2048284438 @default.
- W4313227181 cites W2056994701 @default.
- W4313227181 cites W2062965695 @default.
- W4313227181 cites W2063083207 @default.
- W4313227181 cites W2070902649 @default.
- W4313227181 cites W2070989606 @default.
- W4313227181 cites W2072331102 @default.
- W4313227181 cites W2074876220 @default.
- W4313227181 cites W2075121617 @default.
- W4313227181 cites W2086059606 @default.
- W4313227181 cites W2106177336 @default.
- W4313227181 cites W2108585502 @default.
- W4313227181 cites W2117049614 @default.
- W4313227181 cites W2159471410 @default.
- W4313227181 cites W2161714146 @default.
- W4313227181 cites W2165813048 @default.
- W4313227181 cites W2773570193 @default.
- W4313227181 cites W2787265165 @default.
- W4313227181 cites W3004732066 @default.
- W4313227181 cites W3022653612 @default.
- W4313227181 cites W3105296533 @default.
- W4313227181 cites W3199012062 @default.
- W4313227181 cites W4213189504 @default.
- W4313227181 cites W4238893454 @default.
- W4313227181 cites W4246874244 @default.
- W4313227181 cites W4313227181 @default.
- W4313227181 doi "https://doi.org/10.1109/focs54457.2022.00095" @default.
- W4313227181 hasPublicationYear "2022" @default.
- W4313227181 type Work @default.
- W4313227181 citedByCount "3" @default.
- W4313227181 countsByYear W43132271812022 @default.
- W4313227181 countsByYear W43132271812023 @default.
- W4313227181 crossrefType "proceedings-article" @default.
- W4313227181 hasAuthorship W4313227181A5090763108 @default.
- W4313227181 hasConcept C108710211 @default.
- W4313227181 hasConcept C11413529 @default.
- W4313227181 hasConcept C114614502 @default.
- W4313227181 hasConcept C118615104 @default.
- W4313227181 hasConcept C134306372 @default.
- W4313227181 hasConcept C154945302 @default.
- W4313227181 hasConcept C176248197 @default.
- W4313227181 hasConcept C178489894 @default.
- W4313227181 hasConcept C21563000 @default.
- W4313227181 hasConcept C2524010 @default.
- W4313227181 hasConcept C2779014939 @default.
- W4313227181 hasConcept C311688 @default.
- W4313227181 hasConcept C33923547 @default.
- W4313227181 hasConcept C34388435 @default.
- W4313227181 hasConcept C41008148 @default.
- W4313227181 hasConcept C50292564 @default.
- W4313227181 hasConcept C8038995 @default.
- W4313227181 hasConceptScore W4313227181C108710211 @default.
- W4313227181 hasConceptScore W4313227181C11413529 @default.
- W4313227181 hasConceptScore W4313227181C114614502 @default.
- W4313227181 hasConceptScore W4313227181C118615104 @default.
- W4313227181 hasConceptScore W4313227181C134306372 @default.
- W4313227181 hasConceptScore W4313227181C154945302 @default.
- W4313227181 hasConceptScore W4313227181C176248197 @default.
- W4313227181 hasConceptScore W4313227181C178489894 @default.
- W4313227181 hasConceptScore W4313227181C21563000 @default.
- W4313227181 hasConceptScore W4313227181C2524010 @default.
- W4313227181 hasConceptScore W4313227181C2779014939 @default.
- W4313227181 hasConceptScore W4313227181C311688 @default.
- W4313227181 hasConceptScore W4313227181C33923547 @default.
- W4313227181 hasConceptScore W4313227181C34388435 @default.
- W4313227181 hasConceptScore W4313227181C41008148 @default.
- W4313227181 hasConceptScore W4313227181C50292564 @default.
- W4313227181 hasConceptScore W4313227181C8038995 @default.
- W4313227181 hasLocation W43132271811 @default.
- W4313227181 hasOpenAccess W4313227181 @default.
- W4313227181 hasPrimaryLocation W43132271811 @default.
- W4313227181 hasRelatedWork W1584711551 @default.
- W4313227181 hasRelatedWork W1999551182 @default.
- W4313227181 hasRelatedWork W2027221236 @default.
- W4313227181 hasRelatedWork W2064474796 @default.
- W4313227181 hasRelatedWork W2102065664 @default.