【发布时间】：2018-02-28 13:55:25
【问题描述】：
我遇到了一个问题，想获得一些解决方案的指导。
我需要证明下一个问题是不可判定的：
Input - 一个程序
Problem - 程序的可能输入的数量halts 大于程序不会停止的那些？
我试图建立一个减少（如果输入是偶数）对每个偶数停止，对每个奇数进入一个无限循环并使用输入运行程序。或者如果输入为奇数，则相反 - 但只有当我能够证明实奇数的数量等于实偶数时它才有效。
【问题讨论】：
-
通常的方法是构建另一个可以使用这个程序来解决停机问题的程序。如果你成功了，你就证明了原来的程序是不存在的。
-
@sascha 不适合我，很遗憾。我试图构建一个（如果输入是偶数）对每个偶数停止，对每个奇数进入无限循环并使用输入运行程序。或者如果输入为奇数，则相反 - 但只有当我能够证明实奇数的数量等于实偶数时它才有效。
-
@biziclop 这也是我的方法，但我想不出一个好的方法。
-
@biziclop 你能想出一个对我有帮助的程序的一般描述吗？
-
@Eddie 您可以考虑解决完全忽略其输入的程序的停止程序的问题。您可能还考虑编写一个忽略提供的输入的程序，但写出第二个程序将其视为输入的数据，因此两者的组合完全忽略了原始输入，但第二个程序处理第一个程序的输出就好像它是输入一样。
标签： algorithm theory halting-problem