FRINK Linked Data Fragments server

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

• W1492702334 endingPage "276" @default.
• W1492702334 startingPage "264" @default.
• W1492702334 abstract "Spira [28] showed that any Boolean formula of size s can be simulated in depth O(logs). We generalize Spira’s theorem and show that any Boolean circuit of size s with segregators of size f(s) can be simulated in depth O(f(s)logs). If the segregator size is at least s ε for some constant ε > 0, then we can obtain a simulation of depth O(f(s)). This improves and generalizes a simulation of polynomial-size Boolean circuits of constant treewidth k in depth O( k 2 logn) by Jansen and Sarma [17]. Since the existence of small balanced separators in a directed acyclic graph implies that the graph also has small segregators, our results also apply to circuits with small separators. Our results imply that the class of languages computed by non-uniform families of polynomial-size circuits that have constant size segregators equals non-uniform NC 1. Considering space bounded Turing machines to generate the circuits, for f(s)log2 s-space uniform families of Boolean circuits our small-depth simulations are also f(s)log2 s-space uniform. As a corollary, we show that the Boolean Circuit Value problem for circuits with constant size segregators (or separators) is in deterministic SPACE (log2 n). Our results also imply that the Planar Circuit Value problem, which is known to be P-Complete [16], can be solved in deterministic $SPACE (sqrt{n} log n)$ ." @default.
• W1492702334 created "2016-06-24" @default.
• W1492702334 creator A5060110276 @default.
• W1492702334 creator A5078455094 @default.
• W1492702334 date "2012-01-01" @default.
• W1492702334 modified "2023-10-17" @default.
• W1492702334 title "A Generalization of Spira’s Theorem and Circuits with Small Segregators or Separators" @default.
• W1492702334 cites W1561337879 @default.
• W1492702334 cites W1587602953 @default.
• W1492702334 cites W1750931500 @default.
• W1492702334 cites W1982129592 @default.
• W1492702334 cites W1982347904 @default.
• W1492702334 cites W1987413881 @default.
• W1492702334 cites W1987462672 @default.
• W1492702334 cites W1995502606 @default.
• W1492702334 cites W2009269558 @default.
• W1492702334 cites W2029448190 @default.
• W1492702334 cites W2038247515 @default.
• W1492702334 cites W2038643780 @default.
• W1492702334 cites W2045876200 @default.
• W1492702334 cites W2068638452 @default.
• W1492702334 cites W2069796292 @default.
• W1492702334 cites W2073558110 @default.
• W1492702334 cites W2077571023 @default.
• W1492702334 cites W2081256023 @default.
• W1492702334 cites W2084070217 @default.
• W1492702334 cites W2084764151 @default.
• W1492702334 cites W2088141885 @default.
• W1492702334 cites W2088956149 @default.
• W1492702334 cites W2130566259 @default.
• W1492702334 cites W2138170131 @default.
• W1492702334 cites W2181189727 @default.
• W1492702334 cites W4292230561 @default.
• W1492702334 doi "https://doi.org/10.1007/978-3-642-27660-6_22" @default.
• W1492702334 hasPublicationYear "2012" @default.
• W1492702334 type Work @default.
• W1492702334 sameAs 1492702334 @default.
• W1492702334 citedByCount "3" @default.
• W1492702334 countsByYear W14927023342013 @default.
• W1492702334 countsByYear W14927023342017 @default.
• W1492702334 countsByYear W14927023342018 @default.
• W1492702334 crossrefType "book-chapter" @default.
• W1492702334 hasAuthorship W1492702334A5060110276 @default.
• W1492702334 hasAuthorship W1492702334A5078455094 @default.
• W1492702334 hasConcept C111919701 @default.
• W1492702334 hasConcept C114614502 @default.
• W1492702334 hasConcept C118615104 @default.
• W1492702334 hasConcept C121332964 @default.
• W1492702334 hasConcept C132525143 @default.
• W1492702334 hasConcept C132569581 @default.
• W1492702334 hasConcept C134146338 @default.
• W1492702334 hasConcept C134306372 @default.
• W1492702334 hasConcept C141796577 @default.
• W1492702334 hasConcept C187455244 @default.
• W1492702334 hasConcept C199360897 @default.
• W1492702334 hasConcept C203776342 @default.
• W1492702334 hasConcept C2777027219 @default.
• W1492702334 hasConcept C2778572836 @default.
• W1492702334 hasConcept C2780012671 @default.
• W1492702334 hasConcept C33923547 @default.
• W1492702334 hasConcept C34388435 @default.
• W1492702334 hasConcept C41008148 @default.
• W1492702334 hasConcept C43517604 @default.
• W1492702334 hasConcept C62520636 @default.
• W1492702334 hasConcept C90119067 @default.
• W1492702334 hasConcept C90702460 @default.
• W1492702334 hasConceptScore W1492702334C111919701 @default.
• W1492702334 hasConceptScore W1492702334C114614502 @default.
• W1492702334 hasConceptScore W1492702334C118615104 @default.
• W1492702334 hasConceptScore W1492702334C121332964 @default.
• W1492702334 hasConceptScore W1492702334C132525143 @default.
• W1492702334 hasConceptScore W1492702334C132569581 @default.
• W1492702334 hasConceptScore W1492702334C134146338 @default.
• W1492702334 hasConceptScore W1492702334C134306372 @default.
• W1492702334 hasConceptScore W1492702334C141796577 @default.
• W1492702334 hasConceptScore W1492702334C187455244 @default.
• W1492702334 hasConceptScore W1492702334C199360897 @default.
• W1492702334 hasConceptScore W1492702334C203776342 @default.
• W1492702334 hasConceptScore W1492702334C2777027219 @default.
• W1492702334 hasConceptScore W1492702334C2778572836 @default.
• W1492702334 hasConceptScore W1492702334C2780012671 @default.
• W1492702334 hasConceptScore W1492702334C33923547 @default.
• W1492702334 hasConceptScore W1492702334C34388435 @default.
• W1492702334 hasConceptScore W1492702334C41008148 @default.
• W1492702334 hasConceptScore W1492702334C43517604 @default.
• W1492702334 hasConceptScore W1492702334C62520636 @default.
• W1492702334 hasConceptScore W1492702334C90119067 @default.
• W1492702334 hasConceptScore W1492702334C90702460 @default.
• W1492702334 hasLocation W14927023341 @default.
• W1492702334 hasOpenAccess W1492702334 @default.
• W1492702334 hasPrimaryLocation W14927023341 @default.
• W1492702334 hasRelatedWork W1492702334 @default.
• W1492702334 hasRelatedWork W1529985544 @default.
• W1492702334 hasRelatedWork W1544866824 @default.
• W1492702334 hasRelatedWork W1984534637 @default.
• W1492702334 hasRelatedWork W2075882682 @default.
• W1492702334 hasRelatedWork W2119106791 @default.
• W1492702334 hasRelatedWork W2398389812 @default.

• next