Matches in SemOpenAlex for { <https://semopenalex.org/work/W2407347952> ?p ?o ?g. }
- W2407347952 startingPage "24" @default.
- W2407347952 abstract "We consider the problem of compression for “easy” Boolean functions: given the truth table of an n-variate Boolean function f computable by some unknown small circuit from a known class of circuits, find in deterministic time poly(2) a circuit C (no restriction on the type of C) computing f so that the size of C is less than the trivial circuit size 2/n. We get both positive and negative results. On the positive side, we show that several circuit classes for which lower bounds are proved by a method of random restrictions: • AC, • (de Morgan) formulas, and • (read-once) branching programs, allow non-trivial compression for circuits up to the size for which lower bounds are known. On the negative side, we show that compressing functions from any class C ⊆ P/poly implies superpolynomial lower bounds against C for a function in NEXP; we also observe that compressing monotone functions of polynomial circuit complexity or functions computable by large-size AC circuits would also imply new superpolynomial circuit lower bounds. Finally, we apply the ideas used for compression to get zero-error randomized #SATalgorithms for de Morgan and complete-basis formulas, as well as branching programs, on n variables of about quadratic size that run in expected time 2/2 e , for some e > 0 (dependent on the size of the formula/branching program). ∗Research partially supported by an NSERC Discovery grant. †Research partially supported by an NSERC Discovery grant. ISSN 1433-8092 Electronic Colloquium on Computational Complexity, Report No. 24 (2013)" @default.
- W2407347952 created "2016-06-24" @default.
- W2407347952 creator A5003773985 @default.
- W2407347952 creator A5066747130 @default.
- W2407347952 date "2013-01-01" @default.
- W2407347952 modified "2023-09-25" @default.
- W2407347952 title "Compression of Boolean Functions." @default.
- W2407347952 cites W10078005 @default.
- W2407347952 cites W112858668 @default.
- W2407347952 cites W1499435886 @default.
- W2407347952 cites W1517311456 @default.
- W2407347952 cites W1517585663 @default.
- W2407347952 cites W1563012911 @default.
- W2407347952 cites W1568706289 @default.
- W2407347952 cites W1575886793 @default.
- W2407347952 cites W1966819396 @default.
- W2407347952 cites W1974632918 @default.
- W2407347952 cites W1976626676 @default.
- W2407347952 cites W1985314294 @default.
- W2407347952 cites W1998918799 @default.
- W2407347952 cites W2007121506 @default.
- W2407347952 cites W2009994177 @default.
- W2407347952 cites W2017271630 @default.
- W2407347952 cites W2019363670 @default.
- W2407347952 cites W2030586582 @default.
- W2407347952 cites W2040924621 @default.
- W2407347952 cites W2042194938 @default.
- W2407347952 cites W2045924252 @default.
- W2407347952 cites W2047406446 @default.
- W2407347952 cites W2056994701 @default.
- W2407347952 cites W2060270693 @default.
- W2407347952 cites W2070678975 @default.
- W2407347952 cites W2102477571 @default.
- W2407347952 cites W2104306727 @default.
- W2407347952 cites W2106793914 @default.
- W2407347952 cites W2107324709 @default.
- W2407347952 cites W2139709458 @default.
- W2407347952 cites W2157054705 @default.
- W2407347952 cites W2158747250 @default.
- W2407347952 cites W2163322487 @default.
- W2407347952 cites W2164284862 @default.
- W2407347952 cites W2165293955 @default.
- W2407347952 cites W2912080987 @default.
- W2407347952 cites W84513770 @default.
- W2407347952 hasPublicationYear "2013" @default.
- W2407347952 type Work @default.
- W2407347952 sameAs 2407347952 @default.
- W2407347952 citedByCount "1" @default.
- W2407347952 countsByYear W24073479522014 @default.
- W2407347952 crossrefType "journal-article" @default.
- W2407347952 hasAuthorship W2407347952A5003773985 @default.
- W2407347952 hasAuthorship W2407347952A5066747130 @default.
- W2407347952 hasConcept C102487863 @default.
- W2407347952 hasConcept C11413529 @default.
- W2407347952 hasConcept C114614502 @default.
- W2407347952 hasConcept C118615104 @default.
- W2407347952 hasConcept C119599485 @default.
- W2407347952 hasConcept C127413603 @default.
- W2407347952 hasConcept C129844170 @default.
- W2407347952 hasConcept C134146338 @default.
- W2407347952 hasConcept C14036430 @default.
- W2407347952 hasConcept C141796577 @default.
- W2407347952 hasConcept C158465420 @default.
- W2407347952 hasConcept C159985019 @default.
- W2407347952 hasConcept C187455244 @default.
- W2407347952 hasConcept C192562407 @default.
- W2407347952 hasConcept C206175624 @default.
- W2407347952 hasConcept C2524010 @default.
- W2407347952 hasConcept C2834757 @default.
- W2407347952 hasConcept C3309909 @default.
- W2407347952 hasConcept C33923547 @default.
- W2407347952 hasConcept C78458016 @default.
- W2407347952 hasConcept C86803240 @default.
- W2407347952 hasConcept C90702460 @default.
- W2407347952 hasConcept C94992772 @default.
- W2407347952 hasConceptScore W2407347952C102487863 @default.
- W2407347952 hasConceptScore W2407347952C11413529 @default.
- W2407347952 hasConceptScore W2407347952C114614502 @default.
- W2407347952 hasConceptScore W2407347952C118615104 @default.
- W2407347952 hasConceptScore W2407347952C119599485 @default.
- W2407347952 hasConceptScore W2407347952C127413603 @default.
- W2407347952 hasConceptScore W2407347952C129844170 @default.
- W2407347952 hasConceptScore W2407347952C134146338 @default.
- W2407347952 hasConceptScore W2407347952C14036430 @default.
- W2407347952 hasConceptScore W2407347952C141796577 @default.
- W2407347952 hasConceptScore W2407347952C158465420 @default.
- W2407347952 hasConceptScore W2407347952C159985019 @default.
- W2407347952 hasConceptScore W2407347952C187455244 @default.
- W2407347952 hasConceptScore W2407347952C192562407 @default.
- W2407347952 hasConceptScore W2407347952C206175624 @default.
- W2407347952 hasConceptScore W2407347952C2524010 @default.
- W2407347952 hasConceptScore W2407347952C2834757 @default.
- W2407347952 hasConceptScore W2407347952C3309909 @default.
- W2407347952 hasConceptScore W2407347952C33923547 @default.
- W2407347952 hasConceptScore W2407347952C78458016 @default.
- W2407347952 hasConceptScore W2407347952C86803240 @default.
- W2407347952 hasConceptScore W2407347952C90702460 @default.
- W2407347952 hasConceptScore W2407347952C94992772 @default.
- W2407347952 hasLocation W24073479521 @default.