不可判定问题

✍ dations ◷ 2025-05-17 15:47:28 #数理逻辑,计算理论,计算复杂性理论,递归论

不可判定问题是可计算性理论和计算复杂性理论中定义的一类决定性问题,此类问题无法总是用单一算法得出正确的是/否的答案。停机问题是这类问题的一个代表:对于停机问题,没有算法能够正确判定任意程序是否会终止运行。

决定性问题是一类根据从一个无限集合中选取的输入值,得出是或否的回答的问题。因此,根据传统定义,寻求答案为是的输入值之集合的问题,与决定性问题等价。

相关

  • 基因突变突变(英语:Mutation,即基因突变)在生物学上的含义,是指细胞中的遗传基因(通常指存在于细胞核中的去氧核糖核酸)发生的改变。它包括单个碱基改变所引起的点突变,或多个碱基的缺失、重
  • 中东亚力酒亚力酒(阿拉伯语:عرق‎,英语:Arak,或Araq),中国古译阿剌吉、哈喇基,是一款蒸馏酒,是一种透明无色,茴香味且不甜的茴香酒。起源于黎凡特地区,在中东地区的伊拉克、黎巴嫩、巴勒斯坦、
  • 阿肯纳顿阿蒙霍特普四世(按不同的时间体系估计,去世于前1351年-前1334年之间),后改名埃赫那吞(Akhenaten,亦译做埃赫那顿),古埃及第十八王朝法老。阿蒙霍特普四世是第十八王朝全盛时期的法老
  • 3-戊醇3-戊醇(英语:3-Pentanol),IUPAC系统名戊-3-醇(Pentan-3-ol),是一种仲戊醇,由于没有手性碳原子,不存在对映异构。3-戊醇可由3-戊酮的催化加氢得到。
  • 奈良县坐标:34°34′N 135°46′E / 34.567°N 135.767°E / 34.567; 135.767奈良县(日语:奈良県/ならけん Nara ken */?)位处日本近畿地方,纪伊半岛内陆,首府为奈良市,为八个无海岸线的
  • 格日勒鸟格日勒鸟(学名Gurilynia)是一属反鸟亚纲鸟类。其下只有G. nessovi一个物种。它们生存在白垩纪晚期的马斯特里赫特阶。格日勒鸟的化石只是碎片,都是在蒙古戈壁南部的耐梅盖特地
  • 肿瘤分级在病理学上,学界会订出不同分级(grading)标准评估肿瘤的状态。有些肿瘤分级仅用于恶性(英语:malignant)肿瘤(癌症),有些则涵盖良性肿瘤。一般来说,肿瘤的分级会参考细胞的分化情形。肿
  • 贾瑞 (红楼梦)贾瑞,贾府义学塾贾代儒的长孙。父母早亡,由祖父养大,贾代儒对贾瑞管教极为严格,但是贾瑞令人失望。他性格爱贪便宜,在学中以公报私,勒索子弟们请他,一任薛蟠横行霸道。在宁国府为贾
  • 约翰·加多林约翰·加多林(瑞典语:Johan Gadolin,1760年6月5日-1852年8月15日)是芬兰化学家、物理学家和矿物学家。他在1794年发现了化学元素钇,他的研究成果引发了稀土金属镧系元素的发现。他
  • HotelsCombined2005年成立于澳洲雪梨的先进订房比价元搜索引擎,搜索与比较超过百家顶级旅游网站,汇集全球100多万间饭店、度假村、青年旅馆、民宿,能够提供42种语言服务。2018年7月,被美商 Boo