FRINK Linked Data Fragments server

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

• W2103296472 abstract "The relationship between counting functions and logical expressibility is explored. The most well studied class of counting functions is P, which consists of the functions counting the accepting computation paths of a nondeterministic polynomial-time Turing machine. For a logic L, L is the class of functions on finite structures (of a fixed signature) counting the tuples (T~, c~) satisfying a given formula /spl psi/(T~, c~) in (L. Saluja et al., 1992) showed that on classes of ordered structures FO= P (where FO denotes first-order logic) and that every function in /spl Sigmasub 1/ has a fully polynomial randomized approximation scheme. We give a probabilistic criterion for membership in /spl Sigmasub 1/ (on unordered structures). A consequence is that functions counting the number of cliques, the number of Hamilton cycles, and the number of pairs with distance greater than two in a graph, are not contained in /spl Sigmasub 1/. It is shown that on ordered structures /spl Sigmasub 1/ captures the previously studied class span P. On unordered structures FO is a proper subclass of P and /spl Sigmasub 1/ is a proper subclass of spanP; in fact, no class L contains all polynomial-time computable functions on unordered structures. However, it is shown that on unordered structures every function in P is identical almost everywhere with some function #FO, and similarly for /spl Sigmasub 1/ and spanP. Finally, it is shown that FO is closed under various operations under which P is closed, but that FO is not closed under other operations under which P would be closed only if certain generally believed assumptions in complexity theory failed. >" @default.
• W2103296472 created "2016-06-24" @default.
• W2103296472 creator A5010064604 @default.
• W2103296472 creator A5015848236 @default.
• W2103296472 date "2002-12-17" @default.
• W2103296472 modified "2023-10-16" @default.
• W2103296472 title "Logical definability of counting functions" @default.
• W2103296472 cites W1026721552 @default.
• W2103296472 cites W1508184538 @default.
• W2103296472 cites W1541794392 @default.
• W2103296472 cites W1570380 @default.
• W2103296472 cites W1575897077 @default.
• W2103296472 cites W1736584826 @default.
• W2103296472 cites W1970629906 @default.
• W2103296472 cites W1983682288 @default.
• W2103296472 cites W1984581643 @default.
• W2103296472 cites W2006912660 @default.
• W2103296472 cites W2038225707 @default.
• W2103296472 cites W2051748083 @default.
• W2103296472 cites W2061042466 @default.
• W2103296472 cites W2063406522 @default.
• W2103296472 cites W2063981365 @default.
• W2103296472 cites W2085536555 @default.
• W2103296472 cites W2088094394 @default.
• W2103296472 cites W2105223629 @default.
• W2103296472 cites W2107996672 @default.
• W2103296472 cites W2116940701 @default.
• W2103296472 cites W2131742729 @default.
• W2103296472 cites W2132541147 @default.
• W2103296472 cites W2181072414 @default.
• W2103296472 cites W234224109 @default.
• W2103296472 cites W251225716 @default.
• W2103296472 cites W2905110430 @default.
• W2103296472 cites W3127113455 @default.
• W2103296472 doi "https://doi.org/10.1109/sct.1994.315798" @default.
• W2103296472 hasPublicationYear "2002" @default.
• W2103296472 type Work @default.
• W2103296472 sameAs 2103296472 @default.
• W2103296472 citedByCount "1" @default.
• W2103296472 crossrefType "proceedings-article" @default.
• W2103296472 hasAuthorship W2103296472A5010064604 @default.
• W2103296472 hasAuthorship W2103296472A5015848236 @default.
• W2103296472 hasConcept C11413529 @default.
• W2103296472 hasConcept C114614502 @default.
• W2103296472 hasConcept C118615104 @default.
• W2103296472 hasConcept C118930307 @default.
• W2103296472 hasConcept C134306372 @default.
• W2103296472 hasConcept C14036430 @default.
• W2103296472 hasConcept C16592021 @default.
• W2103296472 hasConcept C176181172 @default.
• W2103296472 hasConcept C187455244 @default.
• W2103296472 hasConcept C29248071 @default.
• W2103296472 hasConcept C311688 @default.
• W2103296472 hasConcept C33923547 @default.
• W2103296472 hasConcept C39637292 @default.
• W2103296472 hasConcept C45374587 @default.
• W2103296472 hasConcept C54271186 @default.
• W2103296472 hasConcept C78458016 @default.
• W2103296472 hasConcept C86803240 @default.
• W2103296472 hasConcept C90119067 @default.
• W2103296472 hasConceptScore W2103296472C11413529 @default.
• W2103296472 hasConceptScore W2103296472C114614502 @default.
• W2103296472 hasConceptScore W2103296472C118615104 @default.
• W2103296472 hasConceptScore W2103296472C118930307 @default.
• W2103296472 hasConceptScore W2103296472C134306372 @default.
• W2103296472 hasConceptScore W2103296472C14036430 @default.
• W2103296472 hasConceptScore W2103296472C16592021 @default.
• W2103296472 hasConceptScore W2103296472C176181172 @default.
• W2103296472 hasConceptScore W2103296472C187455244 @default.
• W2103296472 hasConceptScore W2103296472C29248071 @default.
• W2103296472 hasConceptScore W2103296472C311688 @default.
• W2103296472 hasConceptScore W2103296472C33923547 @default.
• W2103296472 hasConceptScore W2103296472C39637292 @default.
• W2103296472 hasConceptScore W2103296472C45374587 @default.
• W2103296472 hasConceptScore W2103296472C54271186 @default.
• W2103296472 hasConceptScore W2103296472C78458016 @default.
• W2103296472 hasConceptScore W2103296472C86803240 @default.
• W2103296472 hasConceptScore W2103296472C90119067 @default.
• W2103296472 hasLocation W21032964721 @default.
• W2103296472 hasOpenAccess W2103296472 @default.
• W2103296472 hasPrimaryLocation W21032964721 @default.
• W2103296472 hasRelatedWork W107724628 @default.
• W2103296472 hasRelatedWork W1519919954 @default.
• W2103296472 hasRelatedWork W1569494417 @default.
• W2103296472 hasRelatedWork W1592037696 @default.
• W2103296472 hasRelatedWork W1990663377 @default.
• W2103296472 hasRelatedWork W1999435051 @default.
• W2103296472 hasRelatedWork W2024548433 @default.
• W2103296472 hasRelatedWork W2359371306 @default.
• W2103296472 hasRelatedWork W2395504005 @default.
• W2103296472 hasRelatedWork W247209993 @default.
• W2103296472 hasRelatedWork W2788153075 @default.
• W2103296472 hasRelatedWork W2950017203 @default.
• W2103296472 hasRelatedWork W2952477503 @default.
• W2103296472 hasRelatedWork W2952783120 @default.
• W2103296472 hasRelatedWork W2963062403 @default.
• W2103296472 hasRelatedWork W2964221993 @default.
• W2103296472 hasRelatedWork W2971435283 @default.
• W2103296472 hasRelatedWork W3045417474 @default.
• W2103296472 hasRelatedWork W3098534012 @default.

• next