首页 >
决定性问题
✍ dations ◷ 2025-09-18 15:53:47 #决定性问题
在可计算性理论与计算复杂性理论中,所谓的决定性问题(Decision problem)是一个在某些形式系统回答是或否的问题。例如:“给两个数字x与y,x是否可以整除y?”便是决定性问题,此问题可回答是或否,且依据其x与y的值。决定性问题与功能性问题(Function problem,或复杂型问题)密切相关,功能性问题的答案内容,较简单的是与非复杂许多。范例问题:“给予一个正整数x,则哪些数可整除x?”另一个与上述两类问题相关的是最佳化问题(Optimization problem),此问题关心的是寻找特定问题的最佳答案。解决决定性问题的方法称为决策程式或算法。一个针对决定性问题的算法将说明给予参数x和y的情况下如何决定x是否整除y。若是某些决定性问题可以被一些算法所解决,则称此问题可决定。计算复杂度的领域中,分类可决定问题的依据在于此问题有多难被解决。在此标准下,所谓的难是以解决某问题最有效率的算法所花费的计算资源为依据。在递回理论中,非决定性问题由图灵度决定,指的是一种在任何解答中隐含的不可计算性量词。计算性理论的研究集中在决定性问题上。在与功能性问题的等值问题中,并没有失去其普遍性。决定性问题指的是在一个数量为无限大的输入集合中,可产出任何是或非解答的问题之集合。因此传统上定义决定性问题,乃依其解答为是的输入之集合。在此情形下,一决定性问题亦等于一形式语言。形式上,决定性问题是一自然数子集A。借由使用哥德尔数,也可学习诸如形式语言的其他集合。非正规的定义决定性问题,就是判别一个给予的数字是否在此集合内。一决定性问题若其A是一个递归集合,则称做可决定的(decidable)或有效可解(effectively solvable)。若其A是一递归可枚举集合则称为部分可决定的(partially decidable)、半可决定的(semidecidable)、可解的(solvable)或可证明(provable)。除此之外,此问题称为不可决定的。一个经典可决定的决定性问题是质数问题。借由测试每一个可能的因数,有可能有效决定一个自然数是否为质数。尽管存在很多效能更佳的质数判定方法,任何有效方法的存在就已足够建立可决定性。重要的不可决定的决定性问题包括停机问题,其他请见不可决定的问题列表。在计算复杂性理论中,完备的决定性问题通常用来判别其他决定性问题的复杂度类别。重要的实例包括SAT问题与其数变种,还有无向与有向图可达性问题。德语“Entscheidungsproblem”,亦即“判定性问题”(Decision-problem),最早出自于大卫·希尔伯特的话:“在1928年的会议上,希尔伯特精确地描述了他的问题。首先,数学是否具有完备性?……其次,数学是否具有相容性?……再次,数学是否具有判定性?这些问题的意思是,是否存在这样一种确定的方法,在理论上可适用于任何假设,并且能够保证对无论是否正确的假设都能给出一个正确的结果”(Hodeges,p. 91)。希尔伯特相信“在数学上没有‘ignorabimus’”,亦即“我们将无从得之”。需要了解更多信息请参见大卫·希尔伯特和停机问题。
相关
- 热性痉挛热性痉挛(febrile convulsion),又称作又称作发烧性抽搐、热性抽搐、热性惊厥、热性全身痉挛,是一种癫痫性发作(英语:epileptic seizure),伴有体温升高的症状但是并无任何潜在的健康
- 病理人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学病理学(pathology)是医学领域的一门分支
- 脑膜脑炎脑膜脑炎(英语:Meningoencephalitis /mɪˌnɪŋɡoʊɛnˌsɛfəˈlaɪtᵻs, -ˌnɪndʒoʊ-, -ən-, -ˌkɛ-/ )是一种兼具脑膜炎(脑膜的感染、发炎)和脑炎(脑的感染、发炎)特点
- 谈迁谈迁(1594年11月23日-1658年1月14日),明末清初史学家,原名以训,字观若;明亡后改名迁,字孺木,明朝诸生,浙江杭州府海宁枣林(浙江海宁西南)人。《国榷》作者。万历二十一年(1594年)甲午十月
- 相对风险在流行病统计学中,相对风险(relative risk)是指在暴露在某条件下,一个(产生疾病的)事件的发生风险。相对风险概念即是指一暴露群体与未暴露群体发生某事件的比值。 若将暴露群体写
- 墨西哥城墨西哥城(西班牙语:Ciudad de México 西班牙语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","C
- 反复反复流产(recurrent miscarriage)是指两次或两次以上连续流产,过去称为习惯性流产(habitual abortion),而在医学研究中较常使用复发性流产(recurrent pregnancy loss 或 RPL)。造成
- 毒蜥毒蜥属(Heloderma)是毒蜥科下的唯一属,包含了分布在美国西南部、墨西哥及南至危地马拉有毒的蜥蜴。其下有2个物种及6个亚种。它们的近亲是蛇蜥科。毒蜥属的体型很大及粗壮,行动
- 海军海军或水军是一国军队当中的主要构成部分之一,为在海洋、河流、湖泊等水体上作战的军种,一般来说以锚作为标志。海军使用的武器主要为各式水上的军舰、以及在海底航行的潜艇;操
- 尤卡吉尔语系尤卡吉尔语系是俄罗斯尤卡吉尔人(西伯利亚人之一)的几种语言,他们生活在科雷马河(Kolyma)盆地。现时只有北尤卡吉尔语和南尤卡吉尔语两种语言存在。其他的已经消亡。这些语言与其