Matches in SemOpenAlex for { <https://semopenalex.org/work/W3046459465> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3046459465 startingPage "36" @default.
- W3046459465 abstract "Can we design efficient algorithms for finding fast algorithms? This question is captured by various circuit minimization problems, and algorithms for the corresponding tasks have significant practical applications. Following the work of Cook and Levin in the early 1970s, a central question is whether minimizing the circuit size of an explicitly given function is NP-complete. While this is known to hold in restricted models such as DNFs, making progress with respect to more expressive classes of circuits has been elusive.In this work, we establish the first NP-hardness result for circuit minimization of total functions in the setting of general (unrestricted) Boolean circuits. More precisely, we show that computing the minimum circuit size of a given multi-output Boolean function f: (0, 1}n → (0, 1}m is NP-hard under many-one polynomial-time randomized reductions. Our argument builds on a simpler NP-hardness proof for the circuit minimization problem for (single-output) Boolean functions under an extended set of generators.Complementing these results, we investigate the computational hardness of minimizing communication. We establish that several variants of this problem are NP-hard under deterministic reductions. In particular, unless P = NP, no polynomial-time computable function can approximate the deterministic two-party communication complexity of a partial Boolean function up to a polynomial. This has consequences for the class of structural results that one might hope to show about the communication complexity of partial functions." @default.
- W3046459465 created "2020-08-07" @default.
- W3046459465 creator A5016368091 @default.
- W3046459465 creator A5040251596 @default.
- W3046459465 creator A5086921168 @default.
- W3046459465 date "2020-07-28" @default.
- W3046459465 modified "2023-09-23" @default.
- W3046459465 title "NP-hardness of circuit minimization for multi-output functions" @default.
- W3046459465 doi "https://doi.org/10.4230/lipics.ccc.2020.22" @default.
- W3046459465 hasPublicationYear "2020" @default.
- W3046459465 type Work @default.
- W3046459465 sameAs 3046459465 @default.
- W3046459465 citedByCount "6" @default.
- W3046459465 countsByYear W30464594652020 @default.
- W3046459465 countsByYear W30464594652021 @default.
- W3046459465 countsByYear W30464594652022 @default.
- W3046459465 countsByYear W30464594652023 @default.
- W3046459465 crossrefType "journal-article" @default.
- W3046459465 hasAuthorship W3046459465A5016368091 @default.
- W3046459465 hasAuthorship W3046459465A5040251596 @default.
- W3046459465 hasAuthorship W3046459465A5086921168 @default.
- W3046459465 hasConcept C11413529 @default.
- W3046459465 hasConcept C118615104 @default.
- W3046459465 hasConcept C119599485 @default.
- W3046459465 hasConcept C126255220 @default.
- W3046459465 hasConcept C127413603 @default.
- W3046459465 hasConcept C134146338 @default.
- W3046459465 hasConcept C134306372 @default.
- W3046459465 hasConcept C14036430 @default.
- W3046459465 hasConcept C141796577 @default.
- W3046459465 hasConcept C147764199 @default.
- W3046459465 hasConcept C179799912 @default.
- W3046459465 hasConcept C187455244 @default.
- W3046459465 hasConcept C311688 @default.
- W3046459465 hasConcept C33923547 @default.
- W3046459465 hasConcept C41008148 @default.
- W3046459465 hasConcept C78458016 @default.
- W3046459465 hasConcept C86803240 @default.
- W3046459465 hasConcept C90119067 @default.
- W3046459465 hasConcept C90702460 @default.
- W3046459465 hasConcept C94992772 @default.
- W3046459465 hasConceptScore W3046459465C11413529 @default.
- W3046459465 hasConceptScore W3046459465C118615104 @default.
- W3046459465 hasConceptScore W3046459465C119599485 @default.
- W3046459465 hasConceptScore W3046459465C126255220 @default.
- W3046459465 hasConceptScore W3046459465C127413603 @default.
- W3046459465 hasConceptScore W3046459465C134146338 @default.
- W3046459465 hasConceptScore W3046459465C134306372 @default.
- W3046459465 hasConceptScore W3046459465C14036430 @default.
- W3046459465 hasConceptScore W3046459465C141796577 @default.
- W3046459465 hasConceptScore W3046459465C147764199 @default.
- W3046459465 hasConceptScore W3046459465C179799912 @default.
- W3046459465 hasConceptScore W3046459465C187455244 @default.
- W3046459465 hasConceptScore W3046459465C311688 @default.
- W3046459465 hasConceptScore W3046459465C33923547 @default.
- W3046459465 hasConceptScore W3046459465C41008148 @default.
- W3046459465 hasConceptScore W3046459465C78458016 @default.
- W3046459465 hasConceptScore W3046459465C86803240 @default.
- W3046459465 hasConceptScore W3046459465C90119067 @default.
- W3046459465 hasConceptScore W3046459465C90702460 @default.
- W3046459465 hasConceptScore W3046459465C94992772 @default.
- W3046459465 hasLocation W30464594651 @default.
- W3046459465 hasOpenAccess W3046459465 @default.
- W3046459465 hasPrimaryLocation W30464594651 @default.
- W3046459465 hasRelatedWork W1481719945 @default.
- W3046459465 hasRelatedWork W1488847221 @default.
- W3046459465 hasRelatedWork W1517585663 @default.
- W3046459465 hasRelatedWork W1541981281 @default.
- W3046459465 hasRelatedWork W1548701279 @default.
- W3046459465 hasRelatedWork W1553971664 @default.
- W3046459465 hasRelatedWork W1572578702 @default.
- W3046459465 hasRelatedWork W1598171766 @default.
- W3046459465 hasRelatedWork W1656143853 @default.
- W3046459465 hasRelatedWork W1662832245 @default.
- W3046459465 hasRelatedWork W1926436803 @default.
- W3046459465 hasRelatedWork W1966819396 @default.
- W3046459465 hasRelatedWork W2023364974 @default.
- W3046459465 hasRelatedWork W2047315525 @default.
- W3046459465 hasRelatedWork W2048719176 @default.
- W3046459465 hasRelatedWork W2090073529 @default.
- W3046459465 hasRelatedWork W2093859871 @default.
- W3046459465 hasRelatedWork W2188798973 @default.
- W3046459465 hasRelatedWork W2896590268 @default.
- W3046459465 hasRelatedWork W2963063357 @default.
- W3046459465 isParatext "false" @default.
- W3046459465 isRetracted "false" @default.
- W3046459465 magId "3046459465" @default.
- W3046459465 workType "article" @default.