可构函数

✍ dations ◷ 2025-02-27 14:33:15 #可构函数

复杂度理论里，函数 ${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》的内容，版权遵守知识共享协议：署名-相同方式共享协议。

相关

大蛇王《大蛇王》（英文：），是台湾1984年的电影。一研究所秘密研制一种“生长激素”可让生物的生长速度提高300-1000倍。就要成功时研究所被黑手党袭击，而生长激素意外落入一个小女孩手里
火之鸟凤凰篇我王的冒险《火之鸟凤凰篇我王的冒险》（日语：火の鳥鳳凰編我王の冒険）是由日本科乐美公司所研发，以手冢治虫的作品《火鸟》为名（除了全破时会播放《火鸟》动画版主题曲的配乐外，其实内容
肯尼思·格拉姆肯尼斯·格雷厄姆（英语：Kenneth Grahame，1859年3月8日－1932年7月6日）是一位英国作家，以经典儿童文学《柳林中的风声》（The Wind in the Willows, 1908）而闻名于世。他在1898年创作的
花园天皇花园天皇（日语：花園天皇／はなぞのてんのう；1297年8月14日－1348年12月2日）是生于镰仓时代的第95代天皇（在位期间：1308年12月28日－1318年3月29日）。讳富仁（日语：富仁／とみひと）。为伏见
伊丁·苏米塔伊丁·苏米塔（1908年4月3日 - 2001年11月17日）是印度尼西亚裔苏里南政治家，爪哇人，印度尼西亚民族联合与团结党的创始人。伊丁出生于印度尼西亚爪哇岛，年幼时来到苏里南。1946年
永中科技永中科技有限公司为台裔美籍工程师曹参博士所创办之中国软件公司，主要产品为永中Office，为一款使用Java编程语言创作的套装办公软件。其它产品还有科教之星等。永中科技有限公司，由无锡新区经济发展集团总公司和百慕大EvermoreSoftware公司在2000年1月24日成立共同投资创立。虽然创办人原为台湾籍，但目前营运重心则设于中国江苏无锡。永中Office是一款将办公三大应用（文字处理、电子表格、简报制作）集成在单一用户界面中的办公软件，真正实现了集成Office。永中Office是中国唯一拥有完全自
前356年
1985年美国职棒大联盟全明星赛< 1984年1986年 >1985年美国职棒大联盟全明星赛是大联盟历史上第56届全明星赛，比赛于1985年7月16日在明尼苏达双城的主场胡伯特·哈姆佛里圆顶体育场举行。这场比赛国联以6比1打败美联，拿下明星赛胜利。两队先发阵容由球迷投票选出，而投手群则是由双方总教练挑选出来。表示该名球员入选名人堂。 #表示该选手无法出赛。大联盟在这年举办首届的本垒打大赛，最终由戴夫·帕克拿下冠军。
生物淤积当人造的物体被浸没在海水中时，包括微生物、藻类、动植物在内的各种生物会在它的表面上生长，累积，并逐渐覆盖这个表面。这一过程被称为生物附着（英语：Biofouling）。生物附着大致可分为“微生物附着”（英语：Microfouling）和“宏观生物附着”（英语：Macrofouling）两类。在生物附着的过程中，两类附着过程依次出现。生物附着的速率和附着生物的种类受到物体表面结构和周围环境的共同影响。无论是在过去还是现在，海洋生物在海洋作业平台，船只，港口建筑物表面和内部的附着都带来了很大的危害。为此，人们
领土型国家领土型国家（英语：Territorial state）是自公元1000年起欧洲中世纪中期的典型国家及“其他大规模复杂组织，这类组织具有自古典时代以来未曾出现过的面积、稳定性、能力、效率和疆域。”早期领土型国家包括亨利二世的英格兰王国及12世纪诺曼人建立的西西里王国。