Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038705764> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2038705764 abstract "We continue the study of first order expressibility as a measure of complexity, introducing the new class Var &Sz[v(n),z(n)] of languages expressible with v(n) variables in sentences of size z(n). We show that when the variables are restricted to boolean values: BVar &Sz[v(n),z(n)] = ASPACE&TIME[v(n),t(n)] That is variables and size correspond precisely to space and time respectively. Returning to variables ranging over an n element universe, it follows that: Var[O(1)] = ASPACE[log n] = PTIME That is the family of properties uniformly expressible with a constant number of variables is just PTIME. These results hold for languages with an ordering on the objects in question, e.g. for graphs a successor relation on the vertices. We introduce an alternating pebbling game to prove lower bounds on the number of variables and size needed to express properties without successor. We show, for example, that k variables are needed to express Clique(k), suggesting that this problem requires DTIME[nk]." @default.
- W2038705764 created "2016-06-24" @default.
- W2038705764 creator A5053065200 @default.
- W2038705764 date "1980-10-01" @default.
- W2038705764 modified "2023-09-26" @default.
- W2038705764 title "Upper and lower bounds for first order expressibility" @default.
- W2038705764 cites W1555138513 @default.
- W2038705764 cites W1556844982 @default.
- W2038705764 cites W1965022641 @default.
- W2038705764 cites W1970557422 @default.
- W2038705764 cites W1979328074 @default.
- W2038705764 cites W2026191634 @default.
- W2038705764 cites W2038642559 @default.
- W2038705764 cites W2043507528 @default.
- W2038705764 cites W2059657394 @default.
- W2038705764 cites W2063414745 @default.
- W2038705764 cites W2066219736 @default.
- W2038705764 cites W2073700765 @default.
- W2038705764 cites W2085536555 @default.
- W2038705764 doi "https://doi.org/10.1109/sfcs.1980.49" @default.
- W2038705764 hasPublicationYear "1980" @default.
- W2038705764 type Work @default.
- W2038705764 sameAs 2038705764 @default.
- W2038705764 citedByCount "4" @default.
- W2038705764 countsByYear W20387057642012 @default.
- W2038705764 countsByYear W20387057642015 @default.
- W2038705764 crossrefType "proceedings-article" @default.
- W2038705764 hasAuthorship W2038705764A5053065200 @default.
- W2038705764 hasConcept C10138342 @default.
- W2038705764 hasConcept C11413529 @default.
- W2038705764 hasConcept C114614502 @default.
- W2038705764 hasConcept C118615104 @default.
- W2038705764 hasConcept C131671149 @default.
- W2038705764 hasConcept C134026603 @default.
- W2038705764 hasConcept C134306372 @default.
- W2038705764 hasConcept C15547884 @default.
- W2038705764 hasConcept C162324750 @default.
- W2038705764 hasConcept C179799912 @default.
- W2038705764 hasConcept C182306322 @default.
- W2038705764 hasConcept C197685441 @default.
- W2038705764 hasConcept C2780009758 @default.
- W2038705764 hasConcept C29248071 @default.
- W2038705764 hasConcept C311688 @default.
- W2038705764 hasConcept C33923547 @default.
- W2038705764 hasConcept C41008148 @default.
- W2038705764 hasConcept C45374587 @default.
- W2038705764 hasConcept C75306776 @default.
- W2038705764 hasConcept C77088390 @default.
- W2038705764 hasConcept C77553402 @default.
- W2038705764 hasConceptScore W2038705764C10138342 @default.
- W2038705764 hasConceptScore W2038705764C11413529 @default.
- W2038705764 hasConceptScore W2038705764C114614502 @default.
- W2038705764 hasConceptScore W2038705764C118615104 @default.
- W2038705764 hasConceptScore W2038705764C131671149 @default.
- W2038705764 hasConceptScore W2038705764C134026603 @default.
- W2038705764 hasConceptScore W2038705764C134306372 @default.
- W2038705764 hasConceptScore W2038705764C15547884 @default.
- W2038705764 hasConceptScore W2038705764C162324750 @default.
- W2038705764 hasConceptScore W2038705764C179799912 @default.
- W2038705764 hasConceptScore W2038705764C182306322 @default.
- W2038705764 hasConceptScore W2038705764C197685441 @default.
- W2038705764 hasConceptScore W2038705764C2780009758 @default.
- W2038705764 hasConceptScore W2038705764C29248071 @default.
- W2038705764 hasConceptScore W2038705764C311688 @default.
- W2038705764 hasConceptScore W2038705764C33923547 @default.
- W2038705764 hasConceptScore W2038705764C41008148 @default.
- W2038705764 hasConceptScore W2038705764C45374587 @default.
- W2038705764 hasConceptScore W2038705764C75306776 @default.
- W2038705764 hasConceptScore W2038705764C77088390 @default.
- W2038705764 hasConceptScore W2038705764C77553402 @default.
- W2038705764 hasLocation W20387057641 @default.
- W2038705764 hasOpenAccess W2038705764 @default.
- W2038705764 hasPrimaryLocation W20387057641 @default.
- W2038705764 hasRelatedWork W1492702334 @default.
- W2038705764 hasRelatedWork W1519919954 @default.
- W2038705764 hasRelatedWork W1981433559 @default.
- W2038705764 hasRelatedWork W1990663377 @default.
- W2038705764 hasRelatedWork W2129522910 @default.
- W2038705764 hasRelatedWork W2165339507 @default.
- W2038705764 hasRelatedWork W2263327792 @default.
- W2038705764 hasRelatedWork W2359371306 @default.
- W2038705764 hasRelatedWork W2404312679 @default.
- W2038705764 hasRelatedWork W243027042 @default.
- W2038705764 hasRelatedWork W258677105 @default.
- W2038705764 hasRelatedWork W2950017203 @default.
- W2038705764 hasRelatedWork W2952783120 @default.
- W2038705764 hasRelatedWork W2962682243 @default.
- W2038705764 hasRelatedWork W2963511265 @default.
- W2038705764 hasRelatedWork W2963570027 @default.
- W2038705764 hasRelatedWork W2972131259 @default.
- W2038705764 hasRelatedWork W3029679829 @default.
- W2038705764 hasRelatedWork W3176046636 @default.
- W2038705764 hasRelatedWork W3198718099 @default.
- W2038705764 isParatext "false" @default.
- W2038705764 isRetracted "false" @default.
- W2038705764 magId "2038705764" @default.
- W2038705764 workType "article" @default.