메뉴 건너뛰기




Volumn 29, Issue 1, 1999, Pages 302-326

Equivalence of measures of complexity classes

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; POLYNOMIALS; PROBABILITY DISTRIBUTIONS; THEOREM PROVING;

EID: 0342733652     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/S0097539796302269     Document Type: Article
Times cited : (7)

References (29)
  • 2
    • 0031070091 scopus 로고
    • Resource bounded randomness and weakly complete problems
    • K. AMBOS-SPIES, S. A. TERWIJN, AND X. ZHENG, Resource bounded randomness and weakly complete problems, Theoret. Comput. Sci., 172 (1977), pp. 195-207.
    • (1977) Theoret. Comput. Sci. , vol.172 , pp. 195-207
    • Ambos-Spies, K.1    Terwijn, S.A.2    Zheng, X.3
  • 4
    • 0343279798 scopus 로고
    • Families of recursive predicates of measure zero
    • R. I. FREIDZON, Families of recursive predicates of measure zero. J. Soviet Math., 6 (1976), pp. 449-455, 1972.
    • (1976) J. Soviet Math. , vol.6 , pp. 449-455
    • Freidzon, R.I.1
  • 5
    • 0004207439 scopus 로고
    • Springer-Verlag, Berlin, New York
    • P. R. HALMOS, Measure Theory, Springer-Verlag, Berlin, New York, 1950.
    • (1950) Measure Theory
    • Halmos, P.R.1
  • 6
    • 21344453689 scopus 로고
    • Weakly complete problems are not rare
    • D. W. JUEDES, Weakly complete problems are not rare, Computational Complexity, 5 (1995), pp. 267-283.
    • (1995) Computational Complexity , vol.5 , pp. 267-283
    • Juedes, D.W.1
  • 7
    • 0029287714 scopus 로고
    • The complexity and distribution of hard problems
    • D. W. JUEDES AND J. H. LUTZ, The complexity and distribution of hard problems, SIAM J. Comput., 24 (1995), pp. 279-295.
    • (1995) SIAM J. Comput. , vol.24 , pp. 279-295
    • Juedes, D.W.1    Lutz, J.H.2
  • 9
    • 0000616816 scopus 로고
    • On the equivalence of infinite product measures
    • S. KAKUTANI, On the equivalence of infinite product measures, Annals of Mathematics, 49 (1948), pp. 214-224.
    • (1948) Annals of Mathematics , vol.49 , pp. 214-224
    • Kakutani, S.1
  • 11
    • 0026851355 scopus 로고
    • Almost everywhere high nonuniform complexity
    • J. H. LUTZ, Almost everywhere high nonuniform complexity, J. Comput. System Sci., 44 (1992), pp. 220-258.
    • (1992) J. Comput. System Sci. , vol.44 , pp. 220-258
    • Lutz, J.H.1
  • 12
    • 0000923207 scopus 로고    scopus 로고
    • The quantitative structure of exponential time
    • L. A. Hemaspaandra and A. L. Selman, eds., Springer-Verlag, Berlin, New York
    • J. H. LUTZ, The quantitative structure of exponential time, in Complexity Theory Retrospective II, L. A. Hemaspaandra and A. L. Selman, eds., Springer-Verlag, Berlin, New York, 1997, pp. 225-254.
    • (1997) Complexity Theory Retrospective , vol.2 , pp. 225-254
    • Lutz, J.H.1
  • 13
    • 0000638073 scopus 로고
    • Weakly hard problems
    • J. H. LUTZ, Weakly hard problems, SIAM J. Comput., 24 (1995), pp. 1170-1189.
    • (1995) SIAM J. Comput. , vol.24 , pp. 1170-1189
    • Lutz, J.H.1
  • 15
    • 0028484111 scopus 로고
    • Measure, stochasticity, and the density of hard languages
    • J. H. LUTZ AND E. MAYORDOMO, Measure, stochasticity, and the density of hard languages, SIAM J. Comput., 23 (1994), pp. 762-779.
    • (1994) SIAM J. Comput. , vol.23 , pp. 762-779
    • Lutz, J.H.1    Mayordomo, E.2
  • 17
    • 0030246728 scopus 로고    scopus 로고
    • Cook versus Karp-Levin: Separating completeness notions if NP is not small
    • J. H. LUTZ AND E. MAYORDOMO, Cook versus Karp-Levin: Separating completeness notions if NP is not small, Theoret. Comput. Sci., 164 (1996), pp. 141-163.
    • (1996) Theoret. Comput. Sci. , vol.164 , pp. 141-163
    • Lutz, J.H.1    Mayordomo, E.2
  • 18
    • 0028749932 scopus 로고
    • Almost every set in exponential time is P-bi-immune
    • E. MAYORDOMO, Almost every set in exponential time is P-bi-immune, Theoret. Comput. Sci., 136 (1994), pp. 487-506.
    • (1994) Theoret. Comput. Sci. , vol.136 , pp. 487-506
    • Mayordomo, E.1
  • 23
    • 0002894287 scopus 로고
    • Klassifikation der zufallsgesetze nach komplexität und ordnung
    • C. P. SCHNORR, Klassifikation der Zufallsgesetze nach Komplexität und Ordnung, Z. Wahrscheinlichkeitstheorie verw. Geb., 16 (1970), pp. 1-21.
    • (1970) Z. Wahrscheinlichkeitstheorie Verw. Geb. , vol.16 , pp. 1-21
    • Schnorr, C.P.1
  • 24
    • 0000583779 scopus 로고
    • A unified approach to the definition of random sequences
    • C. P. SCHNORR, A unified approach to the definition of random sequences, Math. Systems Theory, 5 (1971), pp. 246-258.
    • (1971) Math. Systems Theory , vol.5 , pp. 246-258
    • Schnorr, C.P.1
  • 26
    • 0015902552 scopus 로고
    • Process complexity and effective random tests
    • C. P. SCHNORR, Process complexity and effective random tests, J. Comput. System Sci., 7 (1973), pp. 376-388.
    • (1973) J. Comput. System Sci. , vol.7 , pp. 376-388
    • Schnorr, C.P.1
  • 27
    • 0011565585 scopus 로고
    • Ph.D. thesis, Department of Mathematics, University of Amsterdam, Amsterdam, the Netherlands
    • M. VAN LAMBALGEN, Random Sequences, Ph.D. thesis, Department of Mathematics, University of Amsterdam, Amsterdam, the Netherlands, 1987.
    • (1987) Random Sequences
    • Van Lambalgen, M.1
  • 28
    • 0000727615 scopus 로고
    • On a randomness criterion
    • V. G. VOVK, On a randomness criterion, Soviet Mathematics Doklady, 35 (1987), pp. 656-660.
    • (1987) Soviet Mathematics Doklady , vol.35 , pp. 656-660
    • Vovk, V.G.1
  • 29
    • 77951203397 scopus 로고
    • The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms
    • A. K. ZVONKIN AND L. A. LEVIN, The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms, Russian Math. Surveys, 25 (1970), pp. 83-124.
    • (1970) Russian Math. Surveys , vol.25 , pp. 83-124
    • Zvonkin, A.K.1    Levin, L.A.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.