Достигается в меньшем количестве линий полуликвидных?

Question

Предполагая, что у нас есть две программы $ 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_2 $ и вернитесь, если оно меньше. Если $ p_2 $ достигает $ n_2 $ Во-первых, я возвращаю false. В случае, если программа не достигнет $ n_1 $ или $ n_2 $ , ничего не происходит (после получена).

Answer 1

Это только полученно, если вы очень тщательно осторожно.И вы должны словить это таким образом, чтобы случай, когда оба программы никогда не достигают своего $ n $ s, находится в категории отклонения.Поскольку $ \ infty <\ \ \ infty $ - это неоднозначный / undefined, я бы явно упомянул этот случай в вашей решении.

Кроме того, да, это правильно.Ваша машина останавливается, если либо $ p_1 $ или $ p_2 $ Halts (просмотр, достигнув $ n $ как просто еще одно условие остановки) и обеспечивает правильный ответ в таком сценарии.Если вы исправите вышеуказанную проблему, то, когда ни один из $ p_1, p_2 $ останавливается, вы находитесь в корпусе отклонения, и, таким образом, вам разрешено никогда не останавливаться, а также полученным образом,