如果没理解错误 决定性问题 = 判定问题 查英文是一样的 下面有三个出处的诠释 它们真的是指相同的事情嘛？ thank 1.维基： 在可计算性理论与计算复杂性理论中，所谓的决定性问题(Decision problem)是一个在某 些形式系统回答是或否的问题。例如：「给两个数字x与y，x是否可以整除y？」便是决定 性问题，此问题可回答是或否，且依据其x与y的值。 2.某书：(忘了哪本抄录下来的) p193 「判定问题」就是想找出一个严谨的逐步程序，藉由演绎逻辑的形式言自动做出证 明 3.好像是网路看到的： 不可判定问题是更加困难的 例如停机问题 它们无法在任何给定时间内解决 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 118.163.106.192 ※ 文章网址: http://webptt.com/cn.aspx?n=bbs/Prob_Solve/M.1406594036.A.8CB.html