Колмогорова складність рядка не обчислюється. Однак у випадковому підмножині розміру двійкових рядків довжиною скільки очікується, що їх складність буде меншою, ніж якесь ціле число менше (як функція , та )?
Колмогорова складність рядка не обчислюється. Однак у випадковому підмножині розміру двійкових рядків довжиною скільки очікується, що їх складність буде меншою, ніж якесь ціле число менше (як функція , та )?
Відповіді:
Складність Колмогорова визначається лише до деякої адитивної константи, тому точну відповідь неможливо дати. Межа, яку я тут описую, ще слабша.
Звичайно, очікуване число можна легко обчислити, коли ми дізнаємося, скільки з рядків мають складність менше , тому дозвольте мені відповісти на це. Зазвичай перше твердження про складність Колмогорова полягає в тому, що це число не більше - оскільки існує лише ці багато рядків меншої довжини. З іншого боку, якщо у вашій програмі написано "довжини , візьміть го числа", то ви отримаєте рядки складності менше , де - без префіксу версія складності Колмогорова (так щонайбільше). Більш детально, рядок спочатку містить опис машини Тьюрінга, яка приймала введення , де p - опис програми без префіксів, яка виводить , виводить е число довжини , яке становить біт , а потім за цим слідує .
Можливо, можна покращити ці межі, але я сумніваюся, що ви могли б отримати точну відповідь.
Точну відповідь можна дати. Кількість рядків довжиною з (простою) складністю не більше становить , аж до постійного коефіцієнта. Отже, будь-який процес, який випадковим чином вибирає підмножину, матиме з обґрунтованою ймовірністю частку рядків складності менше . Для того, щоб показати наше наше твердження, досить показати , що число рядків зі складністю рівним для запиті також надсилається . Ми можемо показати необхідний результат, визначивши підсумовування цього значення за від 1 до. Щоб показати це, ми використовуємо результат адитивності для простої складності (завдяки Б. Баувенсу та А. Шен. Теорема адитивності для простої складності Колмогорова . Теорія обчислювальних систем, 52 (2): 297-302, лют. 2013), Тут позначає складність Колмогорова без префіксу. Вибираючи , ми спостерігаємо, що для кожної -бітної рядок складності маємо Отже, для кожного такого маємо . Нехай