Matches in SemOpenAlex for { <https://semopenalex.org/work/W2966418478> ?p ?o ?g. }
- W2966418478 startingPage "15" @default.
- W2966418478 abstract "Minimum Circuit Size Problem (MCSP) asks to decide if a given truth table of an n-variate boolean function has circuit complexity less than a given parameter s. We prove that MCSP is hard for constant-depth circuits with mod p gates, for any prime p >= 2 (the circuit class AC^0[p]). Namely, we show that MCSP requires d-depth AC^0[p] circuits of size at least exp(N^{0.49/d}), where N=2^n is the size of an input truth table of an n-variate boolean function. Our circuit lower bound proof shows that MCSP can solve the coin problem: distinguish uniformly random N-bit strings from those generated using independent samples from a biased random coin which is 1 with probability 1/2+N^{-0.49}, and 0 otherwise. Solving the coin problem with such parameters is known to require exponentially large AC^0[p] circuits. Moreover, this also implies that MAJORITY is computable by a non-uniform AC^0 circuit of polynomial size that also has MCSP-oracle gates. The latter has a few other consequences for the complexity of MCSP, e.g., we get that any boolean function in NC^1 (i.e., computable by a polynomial-size formula) can also be computed by a non-uniform polynomial-size AC^0 circuit with MCSP-oracle gates." @default.
- W2966418478 created "2019-08-13" @default.
- W2966418478 creator A5002208831 @default.
- W2966418478 creator A5003773985 @default.
- W2966418478 creator A5040251596 @default.
- W2966418478 creator A5049425955 @default.
- W2966418478 creator A5062090877 @default.
- W2966418478 creator A5066747130 @default.
- W2966418478 date "2019-07-08" @default.
- W2966418478 modified "2023-09-27" @default.
- W2966418478 title "AC^0[p] Lower Bounds Against MCSP via the Coin Problem" @default.
- W2966418478 doi "https://doi.org/10.4230/lipics.icalp.2019.66" @default.
- W2966418478 hasPublicationYear "2019" @default.
- W2966418478 type Work @default.
- W2966418478 sameAs 2966418478 @default.
- W2966418478 citedByCount "6" @default.
- W2966418478 countsByYear W29664184782020 @default.
- W2966418478 countsByYear W29664184782021 @default.
- W2966418478 countsByYear W29664184782023 @default.
- W2966418478 crossrefType "proceedings-article" @default.
- W2966418478 hasAuthorship W2966418478A5002208831 @default.
- W2966418478 hasAuthorship W2966418478A5003773985 @default.
- W2966418478 hasAuthorship W2966418478A5040251596 @default.
- W2966418478 hasAuthorship W2966418478A5049425955 @default.
- W2966418478 hasAuthorship W2966418478A5062090877 @default.
- W2966418478 hasAuthorship W2966418478A5066747130 @default.
- W2966418478 hasConcept C111919701 @default.
- W2966418478 hasConcept C11413529 @default.
- W2966418478 hasConcept C114614502 @default.
- W2966418478 hasConcept C118615104 @default.
- W2966418478 hasConcept C121332964 @default.
- W2966418478 hasConcept C134146338 @default.
- W2966418478 hasConcept C134306372 @default.
- W2966418478 hasConcept C14036430 @default.
- W2966418478 hasConcept C141796577 @default.
- W2966418478 hasConcept C148730421 @default.
- W2966418478 hasConcept C158465420 @default.
- W2966418478 hasConcept C187455244 @default.
- W2966418478 hasConcept C188183281 @default.
- W2966418478 hasConcept C203062551 @default.
- W2966418478 hasConcept C33923547 @default.
- W2966418478 hasConcept C41008148 @default.
- W2966418478 hasConcept C54271186 @default.
- W2966418478 hasConcept C56949724 @default.
- W2966418478 hasConcept C62520636 @default.
- W2966418478 hasConcept C63553672 @default.
- W2966418478 hasConcept C77553402 @default.
- W2966418478 hasConcept C78458016 @default.
- W2966418478 hasConcept C86803240 @default.
- W2966418478 hasConcept C90119067 @default.
- W2966418478 hasConcept C90702460 @default.
- W2966418478 hasConcept C94284585 @default.
- W2966418478 hasConceptScore W2966418478C111919701 @default.
- W2966418478 hasConceptScore W2966418478C11413529 @default.
- W2966418478 hasConceptScore W2966418478C114614502 @default.
- W2966418478 hasConceptScore W2966418478C118615104 @default.
- W2966418478 hasConceptScore W2966418478C121332964 @default.
- W2966418478 hasConceptScore W2966418478C134146338 @default.
- W2966418478 hasConceptScore W2966418478C134306372 @default.
- W2966418478 hasConceptScore W2966418478C14036430 @default.
- W2966418478 hasConceptScore W2966418478C141796577 @default.
- W2966418478 hasConceptScore W2966418478C148730421 @default.
- W2966418478 hasConceptScore W2966418478C158465420 @default.
- W2966418478 hasConceptScore W2966418478C187455244 @default.
- W2966418478 hasConceptScore W2966418478C188183281 @default.
- W2966418478 hasConceptScore W2966418478C203062551 @default.
- W2966418478 hasConceptScore W2966418478C33923547 @default.
- W2966418478 hasConceptScore W2966418478C41008148 @default.
- W2966418478 hasConceptScore W2966418478C54271186 @default.
- W2966418478 hasConceptScore W2966418478C56949724 @default.
- W2966418478 hasConceptScore W2966418478C62520636 @default.
- W2966418478 hasConceptScore W2966418478C63553672 @default.
- W2966418478 hasConceptScore W2966418478C77553402 @default.
- W2966418478 hasConceptScore W2966418478C78458016 @default.
- W2966418478 hasConceptScore W2966418478C86803240 @default.
- W2966418478 hasConceptScore W2966418478C90119067 @default.
- W2966418478 hasConceptScore W2966418478C90702460 @default.
- W2966418478 hasConceptScore W2966418478C94284585 @default.
- W2966418478 hasIssue "132" @default.
- W2966418478 hasLocation W29664184781 @default.
- W2966418478 hasOpenAccess W2966418478 @default.
- W2966418478 hasPrimaryLocation W29664184781 @default.
- W2966418478 hasRelatedWork W1544866824 @default.
- W2966418478 hasRelatedWork W2002068271 @default.
- W2966418478 hasRelatedWork W2094783265 @default.
- W2966418478 hasRelatedWork W2102477571 @default.
- W2966418478 hasRelatedWork W2114578538 @default.
- W2966418478 hasRelatedWork W2136098807 @default.
- W2966418478 hasRelatedWork W2156079344 @default.
- W2966418478 hasRelatedWork W2394746612 @default.
- W2966418478 hasRelatedWork W2460503887 @default.
- W2966418478 hasRelatedWork W2537001886 @default.
- W2966418478 hasRelatedWork W2540343126 @default.
- W2966418478 hasRelatedWork W2753798687 @default.
- W2966418478 hasRelatedWork W2765993145 @default.
- W2966418478 hasRelatedWork W2785960849 @default.
- W2966418478 hasRelatedWork W2889078076 @default.
- W2966418478 hasRelatedWork W2919078879 @default.
- W2966418478 hasRelatedWork W2951586353 @default.