可构函数

✍ dations ◷ 2025-08-17 04:33:58 #可构函数

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

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

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

相关

1985年贝卢诺第十二届冬季世界大学生运动会于1985年在意大利的贝卢诺举行。本次比赛于2月16日至24日举行，为期9天。本届赛事共设9个项目。共有来自30个国家和地区的大约1000名运动员参加
中国皇帝寿命列表在中国历史上有记载的一共出现了83个王朝。历代中国的皇帝中，由于早殇、累于政事或沉溺淫乐，短寿的皇帝很多。活过60岁的皇帝中，一般认为中国历史上最长寿的皇帝为清高宗爱新觉
张天复张天复（1513年－1578年），字复亨，号内山，浙江绍兴府山阴县（今属绍兴市）人，民籍，明朝政治人物、地理学家。嘉靖丁未进士，官至云南副使。浙江乡试第七十五名，嘉靖二十六年（1547年）丁未科进士。
无冬城 (小说)无冬城（）系列小说是R·A·萨尔瓦多的作品，围绕着龙与地下城中的著名城市无冬城展开，目前已出版了三本。2010年10月发售。本作继续描写卓尔精灵背教者崔斯特·杜垩登的传奇，故事设
雪人FROSTY《雪人FROSTY》（英语：Frosty the Snowman）是改编自美国漫画家金·奥崔的作品《雪人》、由Rankin Bass负责执导，于1965年12月9日在CBS电视网上作为圣诞节特别节目播放。
淮沭河淮沭河位于中国江苏省北部，是分淮入沂、淮水北调工程淮沭新河的一段，为一条集防洪、排涝、供水、灌溉、航运、发电等综合利用的人工河道。淮沭河南起淮安市西郊王营镇杨庄（原为
尼尔斯·约翰松 (1904年)尼尔斯·约翰松（瑞典语：Nils Johansson，1904年10月3日－1936年12月8日），瑞典前男子冰球运动员。他曾代表瑞典国家队参加1928年冬季奥林匹克运动会冰球比赛，获得一枚银牌。
969年
预测编码 (神经心理学)预测编码（英语：Predictive coding ）也称为预测处理，是一种大脑功能理论，该理论认为大脑会不断地产生并更新环境的心理模型，预测感觉输入，并与实际感觉输入比较，产生预测误差，进而将这种误差用于更新和修正心理模型。预测编码理论最早可追溯至1860年亥姆霍兹提出的无意识推论（英语：Unconscious inference）。无意识推论的想法指的是，人脑会对收到的视觉资讯作出解释，让场景变得得以理解。举例来说，如果在视野中的某个事物比另一个对象来得小，那么大脑就会利用这些资讯作为物体深度的线
李沂 (万历进士)李沂（1555年—1606年），字景鲁，号太清，湖广武昌府嘉鱼县人，站籍。乙卯年三月初三日生，行七，治《诗经》，由国子生中式癸酉乡试八十四名举人，年三十二岁中式万历十四年（1586年）丙戌科会试二百六十五名，第三甲第八十六名进士。刑部观政，改翰林院庶吉士。十六年十月选授吏科给事中。东厂中官张鲸横肆，御史何出光、马象乾弹劾。张鲸任职如故。马象乾一度下狱。李沂拜职刚刚一月，上疏言张鲸之罪恶百倍于冯保，万倍于宋坤，流传张鲸广献金宝，故得无事。万历帝震怒，立下诏狱，廷杖六十，斥为民。家居十八年卒。明光宗立，赠光禄