Kolmogorov complexity and non-determinism

被引:0
|
作者
Grigorieff, S
Marion, JY
机构
[1] Univ Paris 07, UFR Informat, F-75251 Paris 05, France
[2] Univ Clermont Ferrand, Lab LLAIC, Clermont Ferrand, France
[3] Univ Nancy 2, LORIA, Calligramme Project, F-54506 Vandoeuvre Les Nancy, France
关键词
Kolmogorov complexity;
D O I
10.1016/S0304-3975(01)00038-X
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We are concerned with Kolmogorov complexity of strings produced by non-deterministic algorithms. For this, we consider five classes of non-deterministic description modes: (i) non-bounded description modes in which the number of outputs depends on programs, (ii) distributed description modes in which the number of outputs depends on the size of the outputs, (iii) spread description modes in which the number of outputs depends on both programs and the size of the outputs., (iv) description modes for which each string has a unique minimal description, and lastly (v) description modes for which the set of minimal length descriptions is a prefix set. (C) 2002 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:151 / 180
页数:30
相关论文
共 50 条
  • [1] REFINING NON-DETERMINISM IN NP
    KINTALA, CMR
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (06): : A596 - A596
  • [2] Resolving Non-determinism in Choreographies
    Bocchi, Laura
    Melgratti, Hernan
    Tuosto, Emilio
    PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 8410 : 493 - 512
  • [3] On non-determinism in machines and languages
    Grumbach, S
    Lacroix, Z
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 169 - 213
  • [4] Linearity, Non-determinism and Solvability
    Pagani, Michele
    Della Rocca, Simona Ronchi
    FUNDAMENTA INFORMATICAE, 2010, 103 (1-4) : 173 - 202
  • [5] Non-Determinism and the Dynamics of Knowledge
    Grossi, Davide
    Herzig, Andreas
    van der Hoek, Wiebe
    Moyzes, Christos
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1053 - 1059
  • [6] On non-determinism in machines and languages
    Stéphane Grumbach
    Zoé Lacroix
    Annals of Mathematics and Artificial Intelligence, 1997, 19 : 169 - 213
  • [7] Determinism versus non-determinism for linear time RAMs
    Ajtai, Miklos
    Conference Proceedings of the Annual ACM Symposium on Theory of Computing, 1999, : 632 - 641
  • [8] Stochastic non-determinism and effectivity functions
    Doberkat, Ernst-Erich
    Sanchez Terraf, Pedro
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 357 - 394
  • [9] PHRASE STRUCTURES, NON-DETERMINISM AND BACKTRACKING
    ALLISON, L
    INFORMATION PROCESSING LETTERS, 1978, 7 (03) : 139 - 143
  • [10] Non-determinism in nowadays computing and IT education
    Henno, J.
    Jaakkola, H.
    Makela, J.
    2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 794 - 801