Зафіксуємо кодування без машинної префіксації машин Тьюрінга та універсальної машини Тьюрінга яка на вході (кодується як код без префіксу а потім ) видає будь-які виходи на вхід (можливо обидва бігають вічно). Визначте складність Колмогорова , як довжину найкоротшої програми такою, що .
Чи є машина Тьюрінга така, що для кожного вводу він видає ціле числощо відрізняється від складності Колмогорова , тобто але ?
Умови необхідні, тому що
(a) якщо , тоді було б легко вивести число, яке тривіально відрізняється від оскільки воно більше, ніж ,
(b) якщо , то ми можемо просто вивести (або якусь іншу константу) майже для всіх чисел, "на щастя" здогадавшись щонайбільше одного (безліч кінцевих чисел), які оцінюють до (до якоїсь іншої константи) і виводять там щось інше. Ми навіть можемо гарантувати , вивівши щось на зразок для .
Також зауважте, що наша робота була б легкою, якби ми знали, що не є сюжетним, але про це відомо мало , тому відповідь може залежати від , хоча я сумніваюся, що це буде.
Я знаю, що взаємини взагалі багато вивчаються, але
Хтось коли-небудь задавав подібне питання, де наша мета - дати алгоритм, який не виводить якийсь параметр?
Моя мотивація - це проблема http://arxiv.org/abs/1302.1109 .