Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158543896> ?p ?o ?g. }
- W2158543896 endingPage "197" @default.
- W2158543896 startingPage "184" @default.
- W2158543896 abstract "We study several properties of sets that are complete for NP. We prove that if L is an NP-complete set and S /spl nsupe/ L is a p-selective sparse set, then L -S is /spl les//sub m//sup p/-hard for NP. We demonstrate existence of a sparse set S /spl isin/ DTIME(2/sup 2n/) such that for every L /spl isin/ NP - P, L - S is not /spl les//sub m//sup p/-hard for NP. Moreover, we prove for every L /spl isin/ NP - P, that there exists a sparse S /spl isin/ EXP such that L - S is not /spl les//sub m//sup p/-hard for NP. Hence, removing sparse information in P from a complete set leaves the set complete, while removing sparse information in EXP from a complete set may destroy its completeness. Previously, these properties were known only for exponential time complexity classes. We use hypotheses about pseudorandom generators and secure one-way permutations to derive consequences for long-standing open questions about whether NP-complete sets are immune. For example, assuming that pseudorandom generators and secure one-way permutations exist, it follows easily that NP-complete sets are not p-immune. Assuming only that secure one-way permutations exist, we prove that no NP-complete set is DTIME(2/sup ne/)-immune. Also, using these hypotheses we show that no NP-complete set is quasipolynomial-close to P. We introduce a strong but reasonable hypothesis and infer from it that disjoint Turing-complete sets for NP are not closed under union. Our hypothesis asserts existence of a UP-machine M that accepts 0* such that for some 0 < /spl epsi/ < 1, no 2/sup ne/ time-bounded machine can correctly compute infinitely many accepting computations of M, We show that if UP /spl cap/ coUP contains DTIME(2/sup ne/)-bi-immune sets, then this hypothesis is true." @default.
- W2158543896 created "2016-06-24" @default.
- W2158543896 creator A5033840330 @default.
- W2158543896 creator A5051370311 @default.
- W2158543896 creator A5084310662 @default.
- W2158543896 creator A5091888469 @default.
- W2158543896 date "2004-06-21" @default.
- W2158543896 modified "2023-09-26" @default.
- W2158543896 title "Properties of NP-complete sets" @default.
- W2158543896 cites W1516895011 @default.
- W2158543896 cites W1548290021 @default.
- W2158543896 cites W1548880861 @default.
- W2158543896 cites W1553466895 @default.
- W2158543896 cites W1630273691 @default.
- W2158543896 cites W1697825390 @default.
- W2158543896 cites W1967283546 @default.
- W2158543896 cites W1971691873 @default.
- W2158543896 cites W1978196595 @default.
- W2158543896 cites W1986448430 @default.
- W2158543896 cites W1988083342 @default.
- W2158543896 cites W1988256101 @default.
- W2158543896 cites W1993138363 @default.
- W2158543896 cites W1998918799 @default.
- W2158543896 cites W2004944884 @default.
- W2158543896 cites W2011358434 @default.
- W2158543896 cites W2023336906 @default.
- W2158543896 cites W2024348511 @default.
- W2158543896 cites W2036878936 @default.
- W2158543896 cites W2039334189 @default.
- W2158543896 cites W2051433988 @default.
- W2158543896 cites W2053129018 @default.
- W2158543896 cites W2066804259 @default.
- W2158543896 cites W2070692345 @default.
- W2158543896 cites W2073777163 @default.
- W2158543896 cites W2085634981 @default.
- W2158543896 cites W2090186532 @default.
- W2158543896 cites W2102844605 @default.
- W2158543896 cites W2104611150 @default.
- W2158543896 cites W2107324709 @default.
- W2158543896 cites W2119677808 @default.
- W2158543896 cites W2132769351 @default.
- W2158543896 cites W2147305777 @default.
- W2158543896 cites W2164284862 @default.
- W2158543896 cites W2173911363 @default.
- W2158543896 cites W2174367614 @default.
- W2158543896 cites W2804621131 @default.
- W2158543896 cites W3150645827 @default.
- W2158543896 cites W2567019620 @default.
- W2158543896 doi "https://doi.org/10.1109/ccc.2004.27" @default.
- W2158543896 hasPublicationYear "2004" @default.
- W2158543896 type Work @default.
- W2158543896 sameAs 2158543896 @default.
- W2158543896 citedByCount "5" @default.
- W2158543896 crossrefType "proceedings-article" @default.
- W2158543896 hasAuthorship W2158543896A5033840330 @default.
- W2158543896 hasAuthorship W2158543896A5051370311 @default.
- W2158543896 hasAuthorship W2158543896A5084310662 @default.
- W2158543896 hasAuthorship W2158543896A5091888469 @default.
- W2158543896 hasConcept C11413529 @default.
- W2158543896 hasConcept C114614502 @default.
- W2158543896 hasConcept C118615104 @default.
- W2158543896 hasConcept C122749075 @default.
- W2158543896 hasConcept C131671149 @default.
- W2158543896 hasConcept C140642157 @default.
- W2158543896 hasConcept C15547884 @default.
- W2158543896 hasConcept C177264268 @default.
- W2158543896 hasConcept C179799912 @default.
- W2158543896 hasConcept C19086982 @default.
- W2158543896 hasConcept C199360897 @default.
- W2158543896 hasConcept C29248071 @default.
- W2158543896 hasConcept C311688 @default.
- W2158543896 hasConcept C33923547 @default.
- W2158543896 hasConcept C41008148 @default.
- W2158543896 hasConcept C45340560 @default.
- W2158543896 hasConcept C45374587 @default.
- W2158543896 hasConceptScore W2158543896C11413529 @default.
- W2158543896 hasConceptScore W2158543896C114614502 @default.
- W2158543896 hasConceptScore W2158543896C118615104 @default.
- W2158543896 hasConceptScore W2158543896C122749075 @default.
- W2158543896 hasConceptScore W2158543896C131671149 @default.
- W2158543896 hasConceptScore W2158543896C140642157 @default.
- W2158543896 hasConceptScore W2158543896C15547884 @default.
- W2158543896 hasConceptScore W2158543896C177264268 @default.
- W2158543896 hasConceptScore W2158543896C179799912 @default.
- W2158543896 hasConceptScore W2158543896C19086982 @default.
- W2158543896 hasConceptScore W2158543896C199360897 @default.
- W2158543896 hasConceptScore W2158543896C29248071 @default.
- W2158543896 hasConceptScore W2158543896C311688 @default.
- W2158543896 hasConceptScore W2158543896C33923547 @default.
- W2158543896 hasConceptScore W2158543896C41008148 @default.
- W2158543896 hasConceptScore W2158543896C45340560 @default.
- W2158543896 hasConceptScore W2158543896C45374587 @default.
- W2158543896 hasLocation W21585438961 @default.
- W2158543896 hasOpenAccess W2158543896 @default.
- W2158543896 hasPrimaryLocation W21585438961 @default.
- W2158543896 hasRelatedWork W107724628 @default.
- W2158543896 hasRelatedWork W1519919954 @default.
- W2158543896 hasRelatedWork W155701594 @default.