FRINK Linked Data Fragments server

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

• W2144557478 abstract "We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n/sup 1+0(1)/ time and n/sup 1-/spl epsiv// space for any /spl epsiv/>0 on general random-access nondeterministic Turing machines. We also give several other related results. Our proof uses two basic ideas. First we show that if SAT can be solved nondeterministically with a small amount of space then we can collapse a nonconstant number of levels of the polynomial-time hierarchy. Next we extend work of V. Nepomnjascii (1970) to show that a nondeterministic computation of super linear time and sublinear space can be simulated in alternating linear time. Combining these facts with simple diagonalization yields our main result. We discuss how these bounds lead to a new approach to separating the complexity classes NL and NP. We give some possibilities and limitations of this approach." @default.
• W2144557478 created "2016-06-24" @default.
• W2144557478 creator A5075191567 @default.
• W2144557478 date "2002-11-22" @default.
• W2144557478 modified "2023-09-23" @default.
• W2144557478 title "Nondeterministic polynomial time versus nondeterministic logarithmic space: time-space tradeoffs for satisfiability" @default.
• W2144557478 cites W1484001631 @default.
• W2144557478 cites W1584670745 @default.
• W2144557478 cites W1969514863 @default.
• W2144557478 cites W1982129592 @default.
• W2144557478 cites W2000291823 @default.
• W2144557478 cites W2001623513 @default.
• W2144557478 cites W2002089154 @default.
• W2144557478 cites W2003223355 @default.
• W2144557478 cites W2004471951 @default.
• W2144557478 cites W2011039300 @default.
• W2144557478 cites W2011844843 @default.
• W2144557478 cites W2014131880 @default.
• W2144557478 cites W2015314424 @default.
• W2144557478 cites W2024698235 @default.
• W2144557478 cites W2035004935 @default.
• W2144557478 cites W2036265926 @default.
• W2144557478 cites W2040654780 @default.
• W2144557478 cites W2041210515 @default.
• W2144557478 cites W2045717693 @default.
• W2144557478 cites W2076641765 @default.
• W2144557478 cites W2078123020 @default.
• W2144557478 cites W2085938002 @default.
• W2144557478 cites W2117427692 @default.
• W2144557478 cites W2125495920 @default.
• W2144557478 cites W2134202663 @default.
• W2144557478 cites W2137407595 @default.
• W2144557478 cites W2149512830 @default.
• W2144557478 cites W2165293955 @default.
• W2144557478 cites W2165813048 @default.
• W2144557478 cites W2294221698 @default.
• W2144557478 cites W2398918824 @default.
• W2144557478 doi "https://doi.org/10.1109/ccc.1997.612300" @default.
• W2144557478 hasPublicationYear "2002" @default.
• W2144557478 type Work @default.
• W2144557478 sameAs 2144557478 @default.
• W2144557478 citedByCount "16" @default.
• W2144557478 countsByYear W21445574782013 @default.
• W2144557478 countsByYear W21445574782015 @default.
• W2144557478 countsByYear W21445574782016 @default.
• W2144557478 crossrefType "proceedings-article" @default.
• W2144557478 hasAuthorship W2144557478A5075191567 @default.
• W2144557478 hasConcept C111472728 @default.
• W2144557478 hasConcept C111919701 @default.
• W2144557478 hasConcept C11413529 @default.
• W2144557478 hasConcept C117160843 @default.
• W2144557478 hasConcept C118615104 @default.
• W2144557478 hasConcept C131671149 @default.
• W2144557478 hasConcept C134306372 @default.
• W2144557478 hasConcept C138885662 @default.
• W2144557478 hasConcept C15547884 @default.
• W2144557478 hasConcept C168773769 @default.
• W2144557478 hasConcept C176181172 @default.
• W2144557478 hasConcept C176370821 @default.
• W2144557478 hasConcept C179799912 @default.
• W2144557478 hasConcept C197685441 @default.
• W2144557478 hasConcept C2776013622 @default.
• W2144557478 hasConcept C2778572836 @default.
• W2144557478 hasConcept C2780586882 @default.
• W2144557478 hasConcept C29248071 @default.
• W2144557478 hasConcept C311688 @default.
• W2144557478 hasConcept C33923547 @default.
• W2144557478 hasConcept C39637292 @default.
• W2144557478 hasConcept C39927690 @default.
• W2144557478 hasConcept C41008148 @default.
• W2144557478 hasConcept C45374587 @default.
• W2144557478 hasConcept C48415503 @default.
• W2144557478 hasConcept C90119067 @default.
• W2144557478 hasConcept C91331118 @default.
• W2144557478 hasConceptScore W2144557478C111472728 @default.
• W2144557478 hasConceptScore W2144557478C111919701 @default.
• W2144557478 hasConceptScore W2144557478C11413529 @default.
• W2144557478 hasConceptScore W2144557478C117160843 @default.
• W2144557478 hasConceptScore W2144557478C118615104 @default.
• W2144557478 hasConceptScore W2144557478C131671149 @default.
• W2144557478 hasConceptScore W2144557478C134306372 @default.
• W2144557478 hasConceptScore W2144557478C138885662 @default.
• W2144557478 hasConceptScore W2144557478C15547884 @default.
• W2144557478 hasConceptScore W2144557478C168773769 @default.
• W2144557478 hasConceptScore W2144557478C176181172 @default.
• W2144557478 hasConceptScore W2144557478C176370821 @default.
• W2144557478 hasConceptScore W2144557478C179799912 @default.
• W2144557478 hasConceptScore W2144557478C197685441 @default.
• W2144557478 hasConceptScore W2144557478C2776013622 @default.
• W2144557478 hasConceptScore W2144557478C2778572836 @default.
• W2144557478 hasConceptScore W2144557478C2780586882 @default.
• W2144557478 hasConceptScore W2144557478C29248071 @default.
• W2144557478 hasConceptScore W2144557478C311688 @default.
• W2144557478 hasConceptScore W2144557478C33923547 @default.
• W2144557478 hasConceptScore W2144557478C39637292 @default.
• W2144557478 hasConceptScore W2144557478C39927690 @default.
• W2144557478 hasConceptScore W2144557478C41008148 @default.
• W2144557478 hasConceptScore W2144557478C45374587 @default.
• W2144557478 hasConceptScore W2144557478C48415503 @default.
• W2144557478 hasConceptScore W2144557478C90119067 @default.

• next