Matches in SemOpenAlex for { <https://semopenalex.org/work/W2532005027> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2532005027 abstract "Let Φ be any abstract measure of computational complexity, and let L denote the specific measure of memory resource (tape) on one tape Turing machines. Denote by Rt( )Φ the class of all total functions whose Φ-complexity is bounded by the function t( ) almost everywhere. Call such classes Φ-complexity classes. We are interested in relationships among these classes, under proper set inclusion (⊂). In other words, we are interested in the partially ordered structure ≪ ΣΦ,⊆ ≫ where ΣΦ = {Rt( )Φ|t( ) is recursive} is called the family of Φ-complexity classes. Of special interest is the subfamily ΩΦ = {RΦi( )Φ | Φi( ) is total}, called the family of exact Φ-complexity classes. We show that ΣL and ΩL are dense under ⊂ for sufficiently large bounds t( ), but ΩL is not dense in ΣL. We also construct measures Φ for which ΣΦ and ΩΦ are non-dense, for which ΣΦ is dense but ΩΦ is not, for which ΩΦ is dense but ΣΦ is not and for which ΩΦ is dense in ΣΦ. Thus density is not a measure invariant property of ΣΦ or ΩΦ. These are the first examples of important structural properties of these families which are not measure invariant." @default.
- W2532005027 created "2016-10-28" @default.
- W2532005027 creator A5024976345 @default.
- W2532005027 creator A5043211393 @default.
- W2532005027 creator A5051801130 @default.
- W2532005027 date "1969-10-01" @default.
- W2532005027 modified "2023-09-24" @default.
- W2532005027 title "Dense and non-dense families of complexity classes" @default.
- W2532005027 cites W1963780006 @default.
- W2532005027 cites W2004471951 @default.
- W2532005027 cites W2015666295 @default.
- W2532005027 cites W2089442854 @default.
- W2532005027 cites W4239242491 @default.
- W2532005027 doi "https://doi.org/10.1109/swat.1969.4" @default.
- W2532005027 hasPublicationYear "1969" @default.
- W2532005027 type Work @default.
- W2532005027 sameAs 2532005027 @default.
- W2532005027 citedByCount "14" @default.
- W2532005027 countsByYear W25320050272015 @default.
- W2532005027 crossrefType "proceedings-article" @default.
- W2532005027 hasAuthorship W2532005027A5024976345 @default.
- W2532005027 hasAuthorship W2532005027A5043211393 @default.
- W2532005027 hasAuthorship W2532005027A5051801130 @default.
- W2532005027 hasBestOaLocation W25320050272 @default.
- W2532005027 hasConcept C11413529 @default.
- W2532005027 hasConcept C114614502 @default.
- W2532005027 hasConcept C118615104 @default.
- W2532005027 hasConcept C121332964 @default.
- W2532005027 hasConcept C122806257 @default.
- W2532005027 hasConcept C131583701 @default.
- W2532005027 hasConcept C133142742 @default.
- W2532005027 hasConcept C134306372 @default.
- W2532005027 hasConcept C154945302 @default.
- W2532005027 hasConcept C169699857 @default.
- W2532005027 hasConcept C190470478 @default.
- W2532005027 hasConcept C199360897 @default.
- W2532005027 hasConcept C27142425 @default.
- W2532005027 hasConcept C2777212361 @default.
- W2532005027 hasConcept C2779341405 @default.
- W2532005027 hasConcept C2780009758 @default.
- W2532005027 hasConcept C29248071 @default.
- W2532005027 hasConcept C311688 @default.
- W2532005027 hasConcept C33923547 @default.
- W2532005027 hasConcept C34388435 @default.
- W2532005027 hasConcept C37914503 @default.
- W2532005027 hasConcept C39637292 @default.
- W2532005027 hasConcept C41008148 @default.
- W2532005027 hasConcept C45374587 @default.
- W2532005027 hasConcept C62520636 @default.
- W2532005027 hasConcept C77088390 @default.
- W2532005027 hasConcept C84114770 @default.
- W2532005027 hasConcept C92043244 @default.
- W2532005027 hasConcept C9870796 @default.
- W2532005027 hasConceptScore W2532005027C11413529 @default.
- W2532005027 hasConceptScore W2532005027C114614502 @default.
- W2532005027 hasConceptScore W2532005027C118615104 @default.
- W2532005027 hasConceptScore W2532005027C121332964 @default.
- W2532005027 hasConceptScore W2532005027C122806257 @default.
- W2532005027 hasConceptScore W2532005027C131583701 @default.
- W2532005027 hasConceptScore W2532005027C133142742 @default.
- W2532005027 hasConceptScore W2532005027C134306372 @default.
- W2532005027 hasConceptScore W2532005027C154945302 @default.
- W2532005027 hasConceptScore W2532005027C169699857 @default.
- W2532005027 hasConceptScore W2532005027C190470478 @default.
- W2532005027 hasConceptScore W2532005027C199360897 @default.
- W2532005027 hasConceptScore W2532005027C27142425 @default.
- W2532005027 hasConceptScore W2532005027C2777212361 @default.
- W2532005027 hasConceptScore W2532005027C2779341405 @default.
- W2532005027 hasConceptScore W2532005027C2780009758 @default.
- W2532005027 hasConceptScore W2532005027C29248071 @default.
- W2532005027 hasConceptScore W2532005027C311688 @default.
- W2532005027 hasConceptScore W2532005027C33923547 @default.
- W2532005027 hasConceptScore W2532005027C34388435 @default.
- W2532005027 hasConceptScore W2532005027C37914503 @default.
- W2532005027 hasConceptScore W2532005027C39637292 @default.
- W2532005027 hasConceptScore W2532005027C41008148 @default.
- W2532005027 hasConceptScore W2532005027C45374587 @default.
- W2532005027 hasConceptScore W2532005027C62520636 @default.
- W2532005027 hasConceptScore W2532005027C77088390 @default.
- W2532005027 hasConceptScore W2532005027C84114770 @default.
- W2532005027 hasConceptScore W2532005027C92043244 @default.
- W2532005027 hasConceptScore W2532005027C9870796 @default.
- W2532005027 hasLocation W25320050271 @default.
- W2532005027 hasLocation W25320050272 @default.
- W2532005027 hasOpenAccess W2532005027 @default.
- W2532005027 hasPrimaryLocation W25320050271 @default.
- W2532005027 hasRelatedWork W1504200807 @default.
- W2532005027 hasRelatedWork W1988772559 @default.
- W2532005027 hasRelatedWork W2105972598 @default.
- W2532005027 hasRelatedWork W2161147766 @default.
- W2532005027 hasRelatedWork W2173966285 @default.
- W2532005027 hasRelatedWork W2174726128 @default.
- W2532005027 hasRelatedWork W2295040078 @default.
- W2532005027 hasRelatedWork W2327776271 @default.
- W2532005027 hasRelatedWork W2532005027 @default.
- W2532005027 hasRelatedWork W2798907744 @default.
- W2532005027 isParatext "false" @default.
- W2532005027 isRetracted "false" @default.
- W2532005027 magId "2532005027" @default.
- W2532005027 workType "article" @default.