Matches in SemOpenAlex for { <https://semopenalex.org/work/W2575237024> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2575237024 endingPage "18" @default.
- W2575237024 startingPage "1" @default.
- W2575237024 abstract "Abstract For a fixed set A . the number of queries to A needed in order to decide a set S is a measure of S's complexity. We consider the complexity of certain sets defined in terms of A : and, for m > 2, where # n A . ( x 1 ….. x n ) = A ( x 1 ) + A ( x n )(We identify with , where χ A is the characteristic function of A .) If A is a nonrecursive semirecursive set or if A is a jump, we give tight bounds on the number of queries needed in order to decide ODD n A and MOD m n A : • ODD n A can be decided with n parallel queries to A , but not with n − 1. • ODD n A can be decided with ⌈log( n + 1)⌉ sequential queries to A but not with ⌈log( n + 1)⌉ − 1. • MOD m n A can be decided with ⌈ n / m ⌉ + ⌊ n / m ⌋ parallel queries to A but not with ⌈ n / m ⌉ + ⌊ n / m ⌋ − 1. • MOD m n A can be decided with ⌈log(⌈ n / m ⌉ + ⌊ n / m ⌋ + 1)⌉ sequential queries to A but not with ⌈log(⌈ n / m ⌉ + ⌊ n / m ⌋ + 1)⌉ − 1. The lower bounds above hold for nonrecursive recursively enumerable sets A as well. (Interestingly, the lower bounds for recursively enumerable sets follow by a general result from the lower bounds for semirecursive sets.) In particular, every nonzero truth-table degree contains a set A such that ODD n A cannot be decided with n − 1 parallel queries to A . Since every truth-table degree also contains a set B such that ODD n B can be decided with one query to B , a set's query complexity depends more on its structure than on its degree. For a fixed set A , Q( n , A ) = { S : S can be decided with n sequential queries to A }. Q ∥ ( n , A ) = { S : S can be decided with n parallel queries to A }. We show that if A is semirecursive or recursively enumerable, but is not recursive, then these classes form non-collapsing hierarchies: • Q(0, A ) ⊂ Q (1, A ) ⊂ Q(2, A ) ⊂ … Q ∥ (0, A ) ⊂ Q ∥ (1, A ) ⊂ Q ∥ (2, A ) ⊂ … The same is true if A is a jump." @default.
- W2575237024 created "2017-01-26" @default.
- W2575237024 creator A5038789555 @default.
- W2575237024 creator A5057460107 @default.
- W2575237024 creator A5078715930 @default.
- W2575237024 creator A5080054000 @default.
- W2575237024 creator A5085103227 @default.
- W2575237024 creator A5089274175 @default.
- W2575237024 date "2000-03-01" @default.
- W2575237024 modified "2023-09-27" @default.
- W2575237024 title "The complexity of ODD n A " @default.
- W2575237024 cites W10794601 @default.
- W2575237024 cites W1967660233 @default.
- W2575237024 cites W1990851447 @default.
- W2575237024 cites W1995304514 @default.
- W2575237024 cites W2005432166 @default.
- W2575237024 cites W2037662783 @default.
- W2575237024 cites W2047390745 @default.
- W2575237024 cites W2047808405 @default.
- W2575237024 cites W2060270693 @default.
- W2575237024 cites W2611398525 @default.
- W2575237024 cites W3129458497 @default.
- W2575237024 cites W4232277851 @default.
- W2575237024 cites W594315820 @default.
- W2575237024 doi "https://doi.org/10.2307/2586523" @default.
- W2575237024 hasPublicationYear "2000" @default.
- W2575237024 type Work @default.
- W2575237024 sameAs 2575237024 @default.
- W2575237024 citedByCount "9" @default.
- W2575237024 countsByYear W25752370242013 @default.
- W2575237024 crossrefType "journal-article" @default.
- W2575237024 hasAuthorship W2575237024A5038789555 @default.
- W2575237024 hasAuthorship W2575237024A5057460107 @default.
- W2575237024 hasAuthorship W2575237024A5078715930 @default.
- W2575237024 hasAuthorship W2575237024A5080054000 @default.
- W2575237024 hasAuthorship W2575237024A5085103227 @default.
- W2575237024 hasAuthorship W2575237024A5089274175 @default.
- W2575237024 hasConcept C10138342 @default.
- W2575237024 hasConcept C114614502 @default.
- W2575237024 hasConcept C118615104 @default.
- W2575237024 hasConcept C121332964 @default.
- W2575237024 hasConcept C124101348 @default.
- W2575237024 hasConcept C134306372 @default.
- W2575237024 hasConcept C14036430 @default.
- W2575237024 hasConcept C162324750 @default.
- W2575237024 hasConcept C177264268 @default.
- W2575237024 hasConcept C182306322 @default.
- W2575237024 hasConcept C199360897 @default.
- W2575237024 hasConcept C203702658 @default.
- W2575237024 hasConcept C24890656 @default.
- W2575237024 hasConcept C2775997480 @default.
- W2575237024 hasConcept C33923547 @default.
- W2575237024 hasConcept C41008148 @default.
- W2575237024 hasConcept C45235069 @default.
- W2575237024 hasConcept C63553672 @default.
- W2575237024 hasConcept C77553402 @default.
- W2575237024 hasConcept C78458016 @default.
- W2575237024 hasConcept C86803240 @default.
- W2575237024 hasConceptScore W2575237024C10138342 @default.
- W2575237024 hasConceptScore W2575237024C114614502 @default.
- W2575237024 hasConceptScore W2575237024C118615104 @default.
- W2575237024 hasConceptScore W2575237024C121332964 @default.
- W2575237024 hasConceptScore W2575237024C124101348 @default.
- W2575237024 hasConceptScore W2575237024C134306372 @default.
- W2575237024 hasConceptScore W2575237024C14036430 @default.
- W2575237024 hasConceptScore W2575237024C162324750 @default.
- W2575237024 hasConceptScore W2575237024C177264268 @default.
- W2575237024 hasConceptScore W2575237024C182306322 @default.
- W2575237024 hasConceptScore W2575237024C199360897 @default.
- W2575237024 hasConceptScore W2575237024C203702658 @default.
- W2575237024 hasConceptScore W2575237024C24890656 @default.
- W2575237024 hasConceptScore W2575237024C2775997480 @default.
- W2575237024 hasConceptScore W2575237024C33923547 @default.
- W2575237024 hasConceptScore W2575237024C41008148 @default.
- W2575237024 hasConceptScore W2575237024C45235069 @default.
- W2575237024 hasConceptScore W2575237024C63553672 @default.
- W2575237024 hasConceptScore W2575237024C77553402 @default.
- W2575237024 hasConceptScore W2575237024C78458016 @default.
- W2575237024 hasConceptScore W2575237024C86803240 @default.
- W2575237024 hasIssue "1" @default.
- W2575237024 hasLocation W25752370241 @default.
- W2575237024 hasOpenAccess W2575237024 @default.
- W2575237024 hasPrimaryLocation W25752370241 @default.
- W2575237024 hasRelatedWork W2016249251 @default.
- W2575237024 hasRelatedWork W2040339278 @default.
- W2575237024 hasRelatedWork W2214237916 @default.
- W2575237024 hasRelatedWork W2302201961 @default.
- W2575237024 hasRelatedWork W2950704194 @default.
- W2575237024 hasRelatedWork W2964200445 @default.
- W2575237024 hasRelatedWork W3129563183 @default.
- W2575237024 hasRelatedWork W4312263675 @default.
- W2575237024 hasRelatedWork W4320169877 @default.
- W2575237024 hasRelatedWork W2188046885 @default.
- W2575237024 hasVolume "65" @default.
- W2575237024 isParatext "false" @default.
- W2575237024 isRetracted "false" @default.
- W2575237024 magId "2575237024" @default.
- W2575237024 workType "article" @default.