Abstract:The Minimum Circuit Size Problem (MCSP) has been the focus of intense study recently; MCSP is hard for SZK under rather powerful reductions [4], and is provably not hard under "local" reductions computable in TIME(n 0.49 ) [26]. The question of whether MCSP is NP-hard (or indeed, hard even for small subclasses of P) under some of
“…Thus one avenue for proving a hardness result for MCSP had seemed to be to improve the hardness result for MKTP, so that it worked for a much larger "gap". This avenue was subsequently blocked, when it was shown that PARITY is not AC 0 -reducible to GapMCSP (or to GapMKTP) for a moderate-sized "gap" [12]. Thus, although it is still open whether MCSP is NP-complete under ≤ AC 0 m reductions, we now know that GapMCSP is not NP-complete under this notion of reducibility.…”
“…Thus one avenue for proving a hardness result for MCSP had seemed to be to improve the hardness result for MKTP, so that it worked for a much larger "gap". This avenue was subsequently blocked, when it was shown that PARITY is not AC 0 -reducible to GapMCSP (or to GapMKTP) for a moderate-sized "gap" [12]. Thus, although it is still open whether MCSP is NP-complete under ≤ AC 0 m reductions, we now know that GapMCSP is not NP-complete under this notion of reducibility.…”
“…Thus one avenue for proving a hardness result for MCSP had seemed to be to improve the hardness result of [6], so that it worked for a much larger "gap". This avenue was subsequently blocked, when it was shown that PARITY is not AC 0 -reducible to GapMCSP (or to GapMKTP) for a moderate-sized "gap" [8]. Thus, although it is still open whether MCSP is NP-complete under ≤ AC 0 m reductions, we now know that GapMCSP is not NP-complete under this notion of reducibility.…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.