Перш за все, я заздалегідь вибачаюся за будь-яку дурість. Я аж ніяк не фахівець з теорії складності (далеко не це! Я студент, який бере свій перший клас з теорії складності) Ось моє запитання. Тепер теорема Савича стверджує, що Мені цікаво, якби ця нижня межа була щільною, тобто це щось уздовж рядків недосяжне.
Здається, що тут має бути зроблений прямий комбінаторний аргумент - кожен вузол у графіку конфігурації для детермінованої машини Тьюрінга має лише один вихідний край, тоді як кожен вузол у графіку конфігурації недетермінованої машини Тьюрінга може мати більше ніж один вихідний край. Алгоритм Савича - це перетворення графіків конфігурації з будь-яким числом вихідного краю в графіки конфігурації з вихідними ребрами.
Оскільки графік конфігурації визначає унікальну TM (не впевнений у цьому), комбінаторний розмір останньої майже напевно більший, ніж перший. Ця "різниця", можливо, є фактором , можливо, менше - я не знаю. Звичайно, є багато маленьких технічних питань, які потрібно розробити, як, наприклад, як вам потрібно переконатися, що немає циклів тощо, але моє питання, чи це розумний спосіб почати доводити подібну річ.