Достигается в меньшем количестве линий полуликвидных?
-
29-09-2020 - |
Вопрос
Предполагая, что у нас есть две программы $ P_1 $ и $ p_2 $ и два строки $ n_1 $ и $ n_2 $ . Делает $ p_1 $ Reach $ N_1 $ в менее вычислительных этапах, чем $ p_2 $ достигает $ n_2 $ ? Посредством уменьшения от остановки это явно не разрешимо, но я думаю, что это полученно.
Для этого я бы построил интерпретатор, который выполняет $ p_1 $ и $ p_2 $ Одновременно шаг за шагом и подсчитайте шаги для каждой программы. Как только $ p_1 $ достигает $ n_1 $ , я сравниваю количество шагов к
Решение
Это только полученно, если вы очень тщательно осторожно.И вы должны словить это таким образом, чтобы случай, когда оба программы никогда не достигают своего $ n $ s, находится в категории отклонения.Поскольку $ \ infty <\ \ \ infty $ - это неоднозначный / undefined, я бы явно упомянул этот случай в вашей решении.
Кроме того, да, это правильно.Ваша машина останавливается, если либо $ p_1 $ или $ p_2 $ Halts (просмотр, достигнув $ n $ как просто еще одно условие остановки) и обеспечивает правильный ответ в таком сценарии.Если вы исправите вышеуказанную проблему, то, когда ни один из $ p_1, p_2 $ останавливается, вы находитесь в корпусе отклонения, и, таким образом, вам разрешено никогда не останавливаться, а также полученным образом,