跳跃逆转定理

✍ dations ◷ 2025-07-26 16:34:23 #递归论,计算机科学

跳跃逆转定理是递归论中关于不可解度的三个定理,定理给出满足特定条件的不可解度的“图灵逆跳跃”的存在性。

B T 0 {\displaystyle B\geq _{T}\mathbf {0} ^{\prime }} ,则存在 A {\displaystyle A} 使 A T B {\displaystyle A^{\prime }\equiv _{T}B}

B T 0 {\displaystyle B\geq _{T}\mathbf {0} ^{\prime }} 且可用具备 0 {\displaystyle \mathbf {0} ^{\prime }} 的预言机递归枚举,则存在 A T 0 {\displaystyle A\leq _{T}\mathbf {0} ^{\prime }} 使 A T B {\displaystyle A^{\prime }\equiv _{T}B}

B T 0 {\displaystyle B\geq _{T}\mathbf {0} ^{\prime }} 且可用具备 0 {\displaystyle \mathbf {0} ^{\prime }} 的预言机递归枚举,则存在递归可枚举集合 A {\displaystyle A} 使 A T B {\displaystyle A^{\prime }\equiv _{T}B}

相关

  • 比得哥什比得哥什(波兰语:Bydgoszcz,德语:Bromberg,音译“布龙贝格”,拉丁语:Bydgostia)是波兰北部的一个城市,位于巴达河和维斯瓦河之上,人口369,151人(2004年)。自1999年起该市是库亚维-波美
  • 石灰石灰是生石灰的俗称,主要成分是氧化钙(CaO)。把生石灰和水混合产生化学反应,就会产生出熟石灰(消石灰,学名氢氧化钙(Ca(OH)2)。熟石灰在一升水中溶解1.56克,它的饱和溶液称为石灰水,呈
  • 螺旋-转角-螺旋螺旋-转角-螺旋(英语:helix-turn-helix,简称为HTH)是一种蛋白质的结构基序(structural motif),可与DNA进行结合。此结构是由一条氨基酸短链将两个α螺旋连结在一起,可见于许多专门调
  • 秦国秦国是春秋战国时期诸侯国,嬴姓,赵氏。《史记•秦本纪》据为秦人所自述历史。据被盗掘后抢救回来的清华简《系年》的第三章所载,周初三监之乱平定后,蜚廉“东逃于商奄国。成王伐
  • 不列颠岛坐标:53°49′34″N 2°25′19″W / 53.826°N 2.422°W / 53.826; -2.422大不列颠岛(英语:Great Britain;苏格兰盖尔语:Breatainn Mhòr;威尔士语:Prydain Fawr;Cornish:Breten Veur
  • 私家车轿车,某些地区称房车或私家车,美国英语称为Sedan,在英国则称为Saloon,通常指用于人员以及行李运输的汽车。轿车除乘客厢外,外观上可见明显长度的车头与车尾,因此可从外形上清晰分
  • 维瑟尔埃利瑟·“埃利”·维瑟尔(Eliezer "Elie" Wiesel,1928年9月30日-2016年7月2日),是一位作家、教师、活跃政治家、诺贝尔奖得主与犹太人大屠杀的幸存者。第一本作品《夜》描述他一
  • F-15鹰式战机空对空导弹:AIM-7“麻雀”中程空对空导弹AIM-120“AMRAAM”先进中程空对空导弹AIM-9响尾蛇短程空对空导弹配置:四枚AIM-7麻雀导弹或四枚AIM-120先进中程空对空导弹,通常挂载于
  • 伊德瑞斯·艾尔巴伊德瑞萨·阿库纳·艾尔巴,OBE(英语:Idrissa Akuna "Idris" Elba,1972年9月6日-)或简称伊德瑞斯·艾尔巴(英语:Idris Elba),是一名英国男演员、制片人、导演、音乐家和DJ。较著名的是
  • 新月形沙丘新月形沙丘是风成地貌的一种。由风所夹带的沙粒堆积而成。迎风坡凸而平缓,坡度在5°~20°之间;背风坡凹而陡,坡度在28°~34°之间。两坡交接成弧形沙脊。两翼末端沿着盛行风吹动