Resource-bounded balanced genericity, stochasticity and weak randomness

  • Klaus Ambos-Spies
  • Elvira Mayordomo
  • Yongge Wang
  • Xizhong Zheng
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1046)

Abstract

We introduce balanced t(n)-genericity which is a refinement of the genericity concept of Ambos-Spies, Fleischhack and Huwig [2] and which in addition controls the frequency with which a condition is met. We show that this concept coincides with the resource-bounded version of Church's stochasticity [6]. By uniformly describing these concepts and weaker notions of stochasticity introduced by Wilber [19] and Ko [11] in terms of prediction functions, we clarify the relations among these resource-bounded stochasticity concepts. Moreover, we give descriptions of these concepts in the framework of Lutz's resource-bounded measure theory [13] based on martingales: We show that t(n)-stochasticity coincides with a weak notion of t(n)-randomness based on so-called simple martingales but that it is strictly weaker than t(n)-randomness in the sense of Lutz.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    K. Ambos-Spies. Resource-bounded genericity. To appear in Computability, Enumerability and Unsolvability: Directions in Recursion Theory (B. Cooper et al., Eds.), Cambridge University Press. Extended abstract in Proc. 10th Conf. on Structure in Complexity Theory, pages 162–181. IEEE Computer Society Press, 1995.Google Scholar
  2. 2.
    K. Ambos-Spies, H. Fleischhack, and H. Huwig. Diagonalizations over deterministic polynomial time. In Proc. of CSL 87, Lecture Notes in Comput. Sci. 329, pages 1–16. Springer Verlag, 1988.Google Scholar
  3. 3.
    K. Ambos-Spies, H.-C. Neis, and S. A. Terwijn. Genericity and measure for exponential time. Theoret. Comput. Sci. (to appear). Extended abstract in Proc. MFCS 94, Lecture Notes in Comput. Sci. 841, pages 221–232. Springer Verlag, 1994.Google Scholar
  4. 4.
    K. Ambos-Spies, S. A. Terwijn, and X. Zheng. Resource-bounded randomness and weakly complete problems. Theoret. Comput. Sci. (to appear). Extended abstract in Proc. 5th ISAAC, Lecture Notes in Comput. Sci. 834, pages 369–377. Springer Verlag, 1994.Google Scholar
  5. 5.
    J. L. Balcazar and E. Mayordomo. A note on genericity and bi-immunity. In Proc. 10th Conf. on Structure in Complexity Theory, pages 193–196. IEEE Computer Society Press, 1995.Google Scholar
  6. 6.
    A. Church. On the concept of a random sequence. Bull. Amer. Math. Soc., 45:130–135, 1940.Google Scholar
  7. 7.
    R. A. Di Paola. Random sets in subrecursive hierarchies. J. Assoc. Comput. Mach., 16:621–630, 1969.Google Scholar
  8. 8.
    S. A. Fenner. Notions of resource-bounded category and genericity. In Proc. 6th Conf. on Structure in Complexity Theory, pages 196–221. IEEE Computer Society Press, 1991.Google Scholar
  9. 9.
    S. A. Fenner. Resource-bounded Baire category: A stronger approach. In Proc. 10th Conf. on Structure in Complexity Theory, pages 182–192. IEEE Computer Society Press, 1995.Google Scholar
  10. 10.
    D. Juedes and J. H. Lutz. Weak completeness in E and E 2. Theoret. Comput. Sci., 143:149–158, 1995.CrossRefGoogle Scholar
  11. 11.
    K. Ko. On the notion of infinite pseudorandom sequences. Theoret. Comput. Sci., 48:9–33, 1986.CrossRefGoogle Scholar
  12. 12.
    J. H. Lutz. Category and measure in complexity classes. SIAM J. Comput., 19:1100–1131, 1990.CrossRefGoogle Scholar
  13. 13.
    J. H. Lutz. Almost everywhere high nonuniform complexity. J. Comput. and System Sci., 44:220–258, 1992.CrossRefGoogle Scholar
  14. 14.
    E. Mayordomo. Contributions to the study of resource-bounded measure. PhD thesis, Barcelona, 1994.Google Scholar
  15. 15.
    C. P. Schnorr. Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeittheorie. Lecture Notes in Math. 21. Springer Verlag, 1971.Google Scholar
  16. 16.
    V. A. Uspenskii, A. L. Semenov, and A. Kh. Shen. Can an individual sequence of zeros and ones be random? Russian Math. Surveys, 45:121–189, 1990.Google Scholar
  17. 17.
    J. Ville. Ètude Critique de la Notion de Collectif. Gauthiers-Villars, Paris, 1939.Google Scholar
  18. 18.
    R. von Mises. Grundlagen der Wahrscheinlichkeitsrechnung. Math. Z., 5:52–89, 1919.CrossRefGoogle Scholar
  19. 19.
    R. Wilber. Randomness and the density of hard problems. In Proc. 24th IEEE Symp. on Foundations of Computer Science, pages 335–342, 1983.Google Scholar

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Klaus Ambos-Spies
    • 1
  • Elvira Mayordomo
    • 2
  • Yongge Wang
    • 1
  • Xizhong Zheng
    • 1
  1. 1.Mathematisches InstitutUniversität HeidelbergHeidelbergGermany
  2. 2.Dept. Ingeniería InformáticaUniversidad de ZaragozaZaragozaSpain

Personalised recommendations