FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3122015429> ?p ?o ?g. }

• W3122015429 endingPage "20" @default.
• W3122015429 startingPage "1" @default.
• W3122015429 abstract "The problem of constructing hazard-free Boolean circuits dates back to the 1940s and is an important problem in circuit design. Our main lower-bound result unconditionally shows the existence of functions whose circuit complexity is polynomially bounded while every hazard-free implementation is provably of exponential size. Previous lower bounds on the hazard-free complexity were only valid for depth 2 circuits. The same proof method yields that every subcubic implementation of Boolean matrix multiplication must have hazards. These results follow from a crucial structural insight: Hazard-free complexity is a natural generalization of monotone complexity to all (not necessarily monotone) Boolean functions. Thus, we can apply known monotone complexity lower bounds to find lower bounds on the hazard-free complexity. We also lift these methods from the monotone setting to prove exponential hazard-free complexity lower bounds for non-monotone functions. As our main upper-bound result, we show how to efficiently convert a Boolean circuit into a bounded-bit hazard-free circuit with only a polynomially large blow-up in the number of gates. Previously, the best known method yielded exponentially large circuits in the worst case, so our algorithm gives an exponential improvement. As a side result, we establish the NP-completeness of several hazard detection problems." @default.
• W3122015429 created "2021-02-01" @default.
• W3122015429 creator A5000361549 @default.
• W3122015429 creator A5006005471 @default.
• W3122015429 creator A5030291460 @default.
• W3122015429 creator A5041019594 @default.
• W3122015429 creator A5053184300 @default.
• W3122015429 creator A5080005389 @default.
• W3122015429 date "2019-08-23" @default.
• W3122015429 modified "2023-09-26" @default.
• W3122015429 title "On the Complexity of Hazard-free Circuits" @default.
• W3122015429 cites W1966278576 @default.
• W3122015429 cites W1973342538 @default.
• W3122015429 cites W1983448992 @default.
• W3122015429 cites W1992277774 @default.
• W3122015429 cites W2012476164 @default.
• W3122015429 cites W2015950107 @default.
• W3122015429 cites W2019184769 @default.
• W3122015429 cites W2033176194 @default.
• W3122015429 cites W2035476608 @default.
• W3122015429 cites W2036869460 @default.
• W3122015429 cites W2045260280 @default.
• W3122015429 cites W2049238398 @default.
• W3122015429 cites W2082035816 @default.
• W3122015429 cites W2089119058 @default.
• W3122015429 cites W2090738336 @default.
• W3122015429 cites W2120248756 @default.
• W3122015429 cites W2120688461 @default.
• W3122015429 cites W2132283882 @default.
• W3122015429 cites W2167849054 @default.
• W3122015429 cites W2330503368 @default.
• W3122015429 cites W2767780943 @default.
• W3122015429 cites W2963331517 @default.
• W3122015429 cites W4237763351 @default.
• W3122015429 cites W2108726739 @default.
• W3122015429 doi "https://doi.org/10.1145/3320123" @default.
• W3122015429 hasPublicationYear "2019" @default.
• W3122015429 type Work @default.
• W3122015429 sameAs 3122015429 @default.
• W3122015429 citedByCount "4" @default.
• W3122015429 countsByYear W31220154292018 @default.
• W3122015429 countsByYear W31220154292020 @default.
• W3122015429 countsByYear W31220154292021 @default.
• W3122015429 crossrefType "journal-article" @default.
• W3122015429 hasAuthorship W3122015429A5000361549 @default.
• W3122015429 hasAuthorship W3122015429A5006005471 @default.
• W3122015429 hasAuthorship W3122015429A5030291460 @default.
• W3122015429 hasAuthorship W3122015429A5041019594 @default.
• W3122015429 hasAuthorship W3122015429A5053184300 @default.
• W3122015429 hasAuthorship W3122015429A5080005389 @default.
• W3122015429 hasBestOaLocation W31220154291 @default.
• W3122015429 hasConcept C11413529 @default.
• W3122015429 hasConcept C114614502 @default.
• W3122015429 hasConcept C118615104 @default.
• W3122015429 hasConcept C119599485 @default.
• W3122015429 hasConcept C127413603 @default.
• W3122015429 hasConcept C134146338 @default.
• W3122015429 hasConcept C134306372 @default.
• W3122015429 hasConcept C141796577 @default.
• W3122015429 hasConcept C177148314 @default.
• W3122015429 hasConcept C178790620 @default.
• W3122015429 hasConcept C179799912 @default.
• W3122015429 hasConcept C185592680 @default.
• W3122015429 hasConcept C187455244 @default.
• W3122015429 hasConcept C2524010 @default.
• W3122015429 hasConcept C2834757 @default.
• W3122015429 hasConcept C33923547 @default.
• W3122015429 hasConcept C34388435 @default.
• W3122015429 hasConcept C41008148 @default.
• W3122015429 hasConcept C49261128 @default.
• W3122015429 hasConcept C77553402 @default.
• W3122015429 hasConcept C90702460 @default.
• W3122015429 hasConcept C94992772 @default.
• W3122015429 hasConceptScore W3122015429C11413529 @default.
• W3122015429 hasConceptScore W3122015429C114614502 @default.
• W3122015429 hasConceptScore W3122015429C118615104 @default.
• W3122015429 hasConceptScore W3122015429C119599485 @default.
• W3122015429 hasConceptScore W3122015429C127413603 @default.
• W3122015429 hasConceptScore W3122015429C134146338 @default.
• W3122015429 hasConceptScore W3122015429C134306372 @default.
• W3122015429 hasConceptScore W3122015429C141796577 @default.
• W3122015429 hasConceptScore W3122015429C177148314 @default.
• W3122015429 hasConceptScore W3122015429C178790620 @default.
• W3122015429 hasConceptScore W3122015429C179799912 @default.
• W3122015429 hasConceptScore W3122015429C185592680 @default.
• W3122015429 hasConceptScore W3122015429C187455244 @default.
• W3122015429 hasConceptScore W3122015429C2524010 @default.
• W3122015429 hasConceptScore W3122015429C2834757 @default.
• W3122015429 hasConceptScore W3122015429C33923547 @default.
• W3122015429 hasConceptScore W3122015429C34388435 @default.
• W3122015429 hasConceptScore W3122015429C41008148 @default.
• W3122015429 hasConceptScore W3122015429C49261128 @default.
• W3122015429 hasConceptScore W3122015429C77553402 @default.
• W3122015429 hasConceptScore W3122015429C90702460 @default.
• W3122015429 hasConceptScore W3122015429C94992772 @default.
• W3122015429 hasFunder F4320334627 @default.
• W3122015429 hasFunder F4320338352 @default.
• W3122015429 hasIssue "4" @default.

• next