可构函数

✍ dations ◷ 2025-07-08 11:56:53 #可构函数

复杂度理论里,函数 f : N N {displaystyle f:mathbb {N} to mathbb {N} } (())空间内输出 f ( n ) {displaystyle f(n)} (())时间内判断其他算法是否已经用了超过 f ( n ) {displaystyle f(n)} 步的图灵机。假若 f ( n ) {displaystyle f(n)} 不能在这么多步以内计算,该图灵机当然不可能存在。类似的复杂度定理一般对所有自然的函数 f {displaystyle f} 都成立,但不一定对人为构造的 f {displaystyle f} 成立。时间可构函数的严谨定义成功准确刻划了这些满足时间阶层定理的函数。

空间可构函数在空间阶层定理里亦有类似的应用。

本条目含有来自PlanetMath《constructible》的内容,版权遵守知识共享协议:署名-相同方式共享协议。

相关

  • 小词不当小词不当(Illicit minor)是一种形式谬误,是因三段论中的小词在结论周延,而在小前提中不周延,而导致论证无效。例句:推理规则:例句分析结果:有效性检验:其他检验:猫是猫科动物,猫是哺乳
  • 人生就是这样 (歌曲)《人生就是这样》(英语:),是美国女歌手凯蒂·佩芮的一首歌曲,收录于她的第3张录音室专辑《超炫光》()中。
  • 虎狮虎狮兽(Tigon)是雄虎跟雌狮的人工圈养混种后代,是比狮虎兽更罕见的混种。因栖境跟行为的不同,虎狮兽不会自然产生。就如狮虎兽,虎狮兽也有其父母的混合特征,如兼有狮子的斑点和老
  • 马成效马成效(1964年6月-)回族,青海民和人,中国人民解放军少将。1984年7月,马成效离开母校青海民族学院参加中国人民解放军。在兰州军区历任排长、连长。曾参加对越自卫反击战。后来升任
  • 汤姆·塞立克汤姆·塞立克(英语:Tom Selleck,1945年1月29日-),1980年代美国好莱坞知名一线动作片演员;出生于密歇根州底特律,政治上是美国前总统雷根好友及支持者,活跃于影、视、歌三栖长青树。
  • 奥沙奥沙,又译奥谢(O'Shea)可以指:
  • 悬铃叶苎麻悬铃叶苎麻(学名:)为荨麻科苎麻属的植物。分布于日本、朝鲜以及中国大陆的广东、山东、陕西、河南、河北、广西、四川、湖北、山西、福建、江苏、江西、甘肃、湖南、浙江、贵州、安徽等地,生长于海拔500米至1,400米的地区,一般生于低山山谷疏林下、沟边及田边,目前尚未由人工引种栽培。八角麻(浙江、江西) 野苎麻(江西、安徽、甘肃) 方麻(浙江) 龟叶麻(安徽) 山麻(江西、甘肃)
  • 苏维埃社会主义自治共和国苏维埃社会主义自治共和国(俄语:Автономная Советская Социалистическая Республика,АССР)是苏联为了实现民族自治而成立的地方自治行政单位,隶属于各加盟共和国,级别和各加盟共和国的州平级,但拥有较大的权利,有自己的宪法。苏联的加盟共和国中,有自治共和国的国家有:俄罗斯、格鲁吉亚、阿塞拜疆、乌兹别克斯坦、乌克兰。(1961年10月10日)||||||苏联解体后,各加盟共和国纷纷将境内各自治共和国去除“苏维埃社会主义”文字,称为“自治共和国”(俄语:Автоно
  • 贾拉索贾拉索(Jarlaxle)是角色扮演游戏《龙与地下城》的设定集被遗忘的国度中虚构的一个人物。是一名卓尔精灵。应该被献祭的班瑞家族三子,也是魔索布莱城中达耶特佣兵团的头子。札克纳梵·杜垩登的朋友之一。如札克纳梵似的,为了在混乱邪恶的魔索布莱城生存,发展出其独特的生存之道。时常表现出狡诈机智的模样,周游于各家族间获取利益。除了一身魔法装备外,并曾在比试中击败札克纳梵。
  • 卢水胡卢水胡,中国历史上的少数民族,居住在今天甘肃河西走廊一带,也被称为河西胡。原隶属于匈奴,随着南匈奴亲附汉朝,居住在张掖一带的居民,因为当地有卢水流过,被汉族称为卢水胡。中国史书经常将他们归类为杂胡之一,现已汉化消失。卢水源出祁连山,流经张掖,注入额济纳河。根据《读史方舆纪要》,在张掖镇东南,有沮渠川,因为沮渠蒙逊在此居住而得名,即卢水。河西酒泉郡一带原是月氏的居处,在月氏被匈奴击破后,一部分的族人迁至葱岭以西,称大月氏。留在原地的族人,居住在西平、张掖一带,与羌人杂居,称小月氏。卢水胡可能是小月氏的后裔,