暂停问题的略有不同的版本

时间:2017-09-19 17:12:17

标签: algorithm theory halting-problem

我遇到了一个问题,希望能为解决方案提供一些指导。

我需要证明下一个问题是不可判定的:
输入 - 程序
问题 - 程序停止的可能输入数量是否大于程序不会停止的数量?

我尝试构建一个减少(在输入是偶数的情况下)为每个偶数停止,为每个奇数进行无限循环并使用输入运行程序。或者如果输入是奇数则相反 - 但只有当我能够证明实数奇数等于实数偶数时它才有效。

1 个答案:

答案 0 :(得分:1)

这是一个提示。

˙“ɥƃnouǝǝƃɹɐʃ”ǝɹɐʇɐɥʇsʇɐɥʇnduıʃʃɐɹɟɟʇʃɐɥɯɯɯʇɐɥʇsɯɐɹƃoɹdʇɐʞʞ˥