Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310493291> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4310493291 abstract "We present a Karchmer-Wigderson game to study the complexity of hazard-free formulas. This new game is both a generalization of the monotone Karchmer-Wigderson game and an analog of the classical Boolean Karchmer-Wigderson game. Therefore, it acts as a bridge between the existing monotone and general games. Using this game, we prove hazard-free formula size and depth lower bounds that are provably stronger than those possible by the standard technique of transferring results from monotone complexity in a black-box fashion. For the multiplexer function we give (1) a hazard-free formula of optimal size and (2) an improved low-depth hazard-free formula of almost optimal size and (3) a hazard-free formula with alternation depth $2$ that has optimal depth. We then use our optimal constructions to obtain an improved universal worst-case hazard-free formula size upper bound. We see our results as a significant step towards establishing hazard-free computation as an independent missing link between Boolean complexity and monotone complexity." @default.
- W4310493291 created "2022-12-11" @default.
- W4310493291 creator A5000361549 @default.
- W4310493291 creator A5030291460 @default.
- W4310493291 creator A5034599141 @default.
- W4310493291 date "2021-07-11" @default.
- W4310493291 modified "2023-09-24" @default.
- W4310493291 title "Karchmer-Wigderson Games for Hazard-free Computation" @default.
- W4310493291 doi "https://doi.org/10.48550/arxiv.2107.05128" @default.
- W4310493291 hasPublicationYear "2021" @default.
- W4310493291 type Work @default.
- W4310493291 citedByCount "0" @default.
- W4310493291 crossrefType "posted-content" @default.
- W4310493291 hasAuthorship W4310493291A5000361549 @default.
- W4310493291 hasAuthorship W4310493291A5030291460 @default.
- W4310493291 hasAuthorship W4310493291A5034599141 @default.
- W4310493291 hasBestOaLocation W43104932911 @default.
- W4310493291 hasConcept C11413529 @default.
- W4310493291 hasConcept C114614502 @default.
- W4310493291 hasConcept C118615104 @default.
- W4310493291 hasConcept C134306372 @default.
- W4310493291 hasConcept C14036430 @default.
- W4310493291 hasConcept C177148314 @default.
- W4310493291 hasConcept C178790620 @default.
- W4310493291 hasConcept C179799912 @default.
- W4310493291 hasConcept C185592680 @default.
- W4310493291 hasConcept C187455244 @default.
- W4310493291 hasConcept C2524010 @default.
- W4310493291 hasConcept C2834757 @default.
- W4310493291 hasConcept C33923547 @default.
- W4310493291 hasConcept C45374587 @default.
- W4310493291 hasConcept C49261128 @default.
- W4310493291 hasConcept C77553402 @default.
- W4310493291 hasConcept C78458016 @default.
- W4310493291 hasConcept C86803240 @default.
- W4310493291 hasConceptScore W4310493291C11413529 @default.
- W4310493291 hasConceptScore W4310493291C114614502 @default.
- W4310493291 hasConceptScore W4310493291C118615104 @default.
- W4310493291 hasConceptScore W4310493291C134306372 @default.
- W4310493291 hasConceptScore W4310493291C14036430 @default.
- W4310493291 hasConceptScore W4310493291C177148314 @default.
- W4310493291 hasConceptScore W4310493291C178790620 @default.
- W4310493291 hasConceptScore W4310493291C179799912 @default.
- W4310493291 hasConceptScore W4310493291C185592680 @default.
- W4310493291 hasConceptScore W4310493291C187455244 @default.
- W4310493291 hasConceptScore W4310493291C2524010 @default.
- W4310493291 hasConceptScore W4310493291C2834757 @default.
- W4310493291 hasConceptScore W4310493291C33923547 @default.
- W4310493291 hasConceptScore W4310493291C45374587 @default.
- W4310493291 hasConceptScore W4310493291C49261128 @default.
- W4310493291 hasConceptScore W4310493291C77553402 @default.
- W4310493291 hasConceptScore W4310493291C78458016 @default.
- W4310493291 hasConceptScore W4310493291C86803240 @default.
- W4310493291 hasLocation W43104932911 @default.
- W4310493291 hasLocation W43104932912 @default.
- W4310493291 hasOpenAccess W4310493291 @default.
- W4310493291 hasPrimaryLocation W43104932911 @default.
- W4310493291 hasRelatedWork W1595976887 @default.
- W4310493291 hasRelatedWork W1919528438 @default.
- W4310493291 hasRelatedWork W2007805020 @default.
- W4310493291 hasRelatedWork W2081116272 @default.
- W4310493291 hasRelatedWork W2084152790 @default.
- W4310493291 hasRelatedWork W2176189934 @default.
- W4310493291 hasRelatedWork W2474705870 @default.
- W4310493291 hasRelatedWork W2584956713 @default.
- W4310493291 hasRelatedWork W2626373194 @default.
- W4310493291 hasRelatedWork W2952208743 @default.
- W4310493291 isParatext "false" @default.
- W4310493291 isRetracted "false" @default.
- W4310493291 workType "article" @default.