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
来源：
THEORETICAL COMPUTER SCIENCE | 2002年 / 271卷 / 1-2期
关键词：
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 条
  • [41] Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem
    Castelli, Gabriella
    Mamei, Marco
    Rosi, Alberto
    Zambonelli, Franco
    2012 IEEE SIXTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW), 2012, : 205 - 210
  • [42] Reducing non-determinism in right nulled GLR parsers
    Elizabeth Scott
    Adrian Johnstone
    Acta Informatica, 2004, 40 : 459 - 489
  • [43] Non-determinism analysis in a parallel-functional language
    Peña, R
    Segura, C
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2001, 2011 : 1 - 18
  • [44] DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism
    Sung, Hyojin
    Komuravelli, Rakesh
    Adve, Sarita V.
    ACM SIGPLAN NOTICES, 2013, 48 (04) : 13 - 25
  • [45] A relational semantics for parallelism and non-determinism in a functional setting
    Bucciarelli, Antonio
    Ehrhard, Thomas
    Manzonetto, Giulio
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 918 - 934
  • [46] Sectorial local non-determinism and the geometry of the Brownian sheet
    Khoshnevisan, Davar
    Wu, Dongsheng
    Xiao, Yimin
    ELECTRONIC JOURNAL OF PROBABILITY, 2006, 11 : 817 - 843
  • [47] Trace Equivalence Decision: Negative Tests and Non-determinism
    Cheval, Vincent
    Comon-Lundh, Hubert
    Delaune, Stephanie
    PROCEEDINGS OF THE 18TH ACM CONFERENCE ON COMPUTER & COMMUNICATIONS SECURITY (CCS 11), 2011, : 321 - 330
  • [48] Eliminating Irrelevant Non-determinism in Functional Logic Programs
    Antoy, Sergio
    Hanus, Michael
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2017), 2017, 10137 : 1 - 18
  • [49] Non-determinism and Probabilities in Timed Concurrent Constraint Programming
    Perez, Jorge A.
    Rueda, Carnilo
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 677 - +
  • [50] An Empirical Study of the Non-Determinism of ChatGPT in Code Generation
    Ouyang, Shuyin
    Zhang, Jie m.
    Harman, Mark
    Wang, Meng
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2025, 34 (02)
12345