FRINK Linked Data Fragments server

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

• W2952783120 abstract "Given a p-order A over a universe of strings (i.e., a transitive, reflexive, antisymmetric relation such that if (x, y) is an element of A then |x| is polynomially bounded by |y|), an interval size function of A returns, for each string x in the universe, the number of strings in the interval between strings b(x) and t(x) (with respect to A), where b(x) and t(x) are functions that are polynomial-time computable in the length of x. By choosing sets of interval size functions based on feasibility requirements for their underlying p-orders, we obtain new characterizations of complexity classes. We prove that the set of all interval size functions whose underlying p-orders are polynomial-time decidable is exactly #P. We show that the interval size functions for orders with polynomial-time adjacency checks are closely related to the class FPSPACE(poly). Indeed, FPSPACE(poly) is exactly the class of all nonnegative functions that are an interval size function minus a polynomial-time computable function. We study two important functions in relation to interval size functions. The function #DIV maps each natural number n to the number of nontrivial divisors of n. We show that #DIV is an interval size function of a polynomial-time decidable partial p-order with polynomial-time adjacency checks. The function #MONSAT maps each monotone boolean formula F to the number of satisfying assignments of F. We show that #MONSAT is an interval size function of a polynomial-time decidable total p-order with polynomial-time adjacency checks. Finally, we explore the related notion of cluster computation." @default.
• W2952783120 created "2019-06-27" @default.
• W2952783120 creator A5031190525 @default.
• W2952783120 creator A5049639443 @default.
• W2952783120 creator A5088546793 @default.
• W2952783120 creator A5089269353 @default.
• W2952783120 date "2005-02-13" @default.
• W2952783120 modified "2023-09-27" @default.
• W2952783120 title "The Complexity of Computing the Size of an Interval" @default.
• W2952783120 cites W1553952730 @default.
• W2952783120 cites W1937848486 @default.
• W2952783120 cites W1982406523 @default.
• W2952783120 cites W1987205876 @default.
• W2952783120 cites W1993180032 @default.
• W2952783120 cites W2000819002 @default.
• W2952783120 cites W2002089154 @default.
• W2952783120 cites W2012182522 @default.
• W2952783120 cites W2036265926 @default.
• W2952783120 cites W2044504659 @default.
• W2952783120 cites W2052053866 @default.
• W2952783120 cites W2052582609 @default.
• W2952783120 cites W2065251436 @default.
• W2952783120 cites W2065703771 @default.
• W2952783120 cites W2069139349 @default.
• W2952783120 cites W2083557874 @default.
• W2952783120 cites W2085634981 @default.
• W2952783120 cites W2115826669 @default.
• W2952783120 cites W2137438459 @default.
• W2952783120 cites W2178192088 @default.
• W2952783120 cites W2912962911 @default.
• W2952783120 hasPublicationYear "2005" @default.
• W2952783120 type Work @default.
• W2952783120 sameAs 2952783120 @default.
• W2952783120 citedByCount "1" @default.
• W2952783120 crossrefType "posted-content" @default.
• W2952783120 hasAuthorship W2952783120A5031190525 @default.
• W2952783120 hasAuthorship W2952783120A5049639443 @default.
• W2952783120 hasAuthorship W2952783120A5088546793 @default.
• W2952783120 hasAuthorship W2952783120A5089269353 @default.
• W2952783120 hasConcept C10138342 @default.
• W2952783120 hasConcept C114614502 @default.
• W2952783120 hasConcept C118615104 @default.
• W2952783120 hasConcept C134306372 @default.
• W2952783120 hasConcept C14036430 @default.
• W2952783120 hasConcept C153269930 @default.
• W2952783120 hasConcept C162324750 @default.
• W2952783120 hasConcept C182306322 @default.
• W2952783120 hasConcept C2524010 @default.
• W2952783120 hasConcept C2778067643 @default.
• W2952783120 hasConcept C2834757 @default.
• W2952783120 hasConcept C311688 @default.
• W2952783120 hasConcept C33923547 @default.
• W2952783120 hasConcept C34388435 @default.
• W2952783120 hasConcept C54271186 @default.
• W2952783120 hasConcept C78458016 @default.
• W2952783120 hasConcept C86803240 @default.
• W2952783120 hasConcept C90119067 @default.
• W2952783120 hasConceptScore W2952783120C10138342 @default.
• W2952783120 hasConceptScore W2952783120C114614502 @default.
• W2952783120 hasConceptScore W2952783120C118615104 @default.
• W2952783120 hasConceptScore W2952783120C134306372 @default.
• W2952783120 hasConceptScore W2952783120C14036430 @default.
• W2952783120 hasConceptScore W2952783120C153269930 @default.
• W2952783120 hasConceptScore W2952783120C162324750 @default.
• W2952783120 hasConceptScore W2952783120C182306322 @default.
• W2952783120 hasConceptScore W2952783120C2524010 @default.
• W2952783120 hasConceptScore W2952783120C2778067643 @default.
• W2952783120 hasConceptScore W2952783120C2834757 @default.
• W2952783120 hasConceptScore W2952783120C311688 @default.
• W2952783120 hasConceptScore W2952783120C33923547 @default.
• W2952783120 hasConceptScore W2952783120C34388435 @default.
• W2952783120 hasConceptScore W2952783120C54271186 @default.
• W2952783120 hasConceptScore W2952783120C78458016 @default.
• W2952783120 hasConceptScore W2952783120C86803240 @default.
• W2952783120 hasConceptScore W2952783120C90119067 @default.
• W2952783120 hasLocation W29527831201 @default.
• W2952783120 hasOpenAccess W2952783120 @default.
• W2952783120 hasPrimaryLocation W29527831201 @default.
• W2952783120 hasRelatedWork W1205694693 @default.
• W2952783120 hasRelatedWork W1495932320 @default.
• W2952783120 hasRelatedWork W1517540643 @default.
• W2952783120 hasRelatedWork W1559446374 @default.
• W2952783120 hasRelatedWork W1730478055 @default.
• W2952783120 hasRelatedWork W2137828924 @default.
• W2952783120 hasRelatedWork W2152561478 @default.
• W2952783120 hasRelatedWork W2417273130 @default.
• W2952783120 hasRelatedWork W247209993 @default.
• W2952783120 hasRelatedWork W2752113279 @default.
• W2952783120 hasRelatedWork W2809522234 @default.
• W2952783120 hasRelatedWork W2910056172 @default.
• W2952783120 hasRelatedWork W2942073256 @default.
• W2952783120 hasRelatedWork W2951829047 @default.
• W2952783120 hasRelatedWork W2963570027 @default.
• W2952783120 hasRelatedWork W2977380761 @default.
• W2952783120 hasRelatedWork W3045417474 @default.
• W2952783120 hasRelatedWork W3139422612 @default.
• W2952783120 hasRelatedWork W3170725852 @default.
• W2952783120 hasRelatedWork W3195540944 @default.
• W2952783120 isParatext "false" @default.
• W2952783120 isRetracted "false" @default.

• next