不可判定问题

✍ dations ◷ 2025-08-17 04:18:47 #数理逻辑,计算理论,计算复杂性理论,递归论

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

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

相关

  • 人工合成人工合成元素,又称为人造元素,在化学中是指自然界中不存在,只有通过人工方法才能制造出来的化学元素。一般透过将两种元素以高速撞击,增大自然存在的元素原子核质子的个数,达到增
  • 腓力二世腓力二世·奥古斯都(法语:Philippe II Auguste,1165年8月21日-1223年7月14日)卡佩王朝国王(1180年—1223年在位),法国名君之一。因为饶富谋略与政治手腕而有“尊严王”的美称。腓力
  • 双硫键二硫键在化学上是一条从结合硫醇而衍生的单共价键。它又称为二硫键或双硫桥,大部分用于生物化学的范畴。其正式名称应为过硫化物,但却甚少使用。与过氧化物(R-O-O-R)相似,它的整
  • 重铬酸盐铬酸盐是铬酸形成的非多聚阴离子的盐,含有铬酸根离子——CrO2−4,呈现特征性的黄色;重铬酸根化学式则为 Cr2O72−,在水性溶液中呈橙色。铬酸盐中的铬为 VI 氧化态,具氧化性、有毒
  • 23街23街是横贯美国纽约州纽约市曼哈顿区的一条主要街道,为曼哈顿格子式街道计划中少数能双向通行的街道。23街以第五大道为界(交汇于麦迪逊广场公园),分为东23街与西23街。自1999年
  • 2014年国际足联世界杯预选赛 – 亚洲区第一轮本条目是提供2014年世界杯预选赛亚洲区第一轮的赛事资讯。本轮赛事的配对由抽签随机决定主客场。抽签于2011年3月30日于马来西亚吉隆坡的亚足联总部进行。马来西亚 v 中华
  • 台北十二景《台北十二景》,为在台日本人乡原古统的名所绘。作画时间约为台湾日治时代中后期的1927~1930年。作品为日治时期台北的12个名所以及城市生活。每幅作品上面有用行书标明各幅
  • 短发 (AOA迷你专辑)“短发”(단발머리)是韩国的女子乐团和舞蹈团体AOA的第1张迷你专辑。于2014年6月19日发行。唱片公司为FNC Entertainment。
  • 红眼树蛙红眼树蛙(学名:),树蛙的一种,并属于有袋蛙。生活在哥斯达黎加、中美洲和南美洲的热带雨林中。是一种非常罕见的蛙。红眼睛的树青蛙是中等大小树青蛙,到达50-75毫米的长度周围覆盖
  • 长坂信政长坂信政(生年不详-1572年)是日本战国时代武将。三河松平氏(后来的德川氏)家臣。通称彦五郎、茶利九郎。别名是九郎。儿子有长坂信宅。家系是清和源氏义光流小笠原氏的庶流长坂氏