可构函数

✍ dations ◷ 2025-09-12 02:12:01 #可构函数

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

相关

蒙马特蒙马特（法语：Montmartre），又译蒙马特尔，是位于法国巴黎市十八区的一座130米高的山丘，在塞纳河的右岸。蒙马特高地著名的旅游景点有白色圆顶的圣心堂、圣伯多禄堂（L'église Saint-P
色丁色丁（Satin），是一种用通常有光泽的表面，但却有暗沉背面的纺织品。色丁是一种以经线为主的织造技术，使织物的交织点保持在最低水平。一般来说，除了用棉之类的短纤纱线织成的会被称
战线前线指战争中双方交火的地点或士兵。后来又指服务行业或社会低层的劳动者，因他们负责对外接触方面的最前行列，例如售货员、清洁工、保安，并不包括管理层的应酬活动。和平期间罕
关于朝鲜及台湾住民政治参与之诏书《关于朝鲜及台湾住民政治参与之诏书》（朝鮮及台湾住民政治参与ニ関スル詔書），是1945年4月1日日本天皇颁布之诏书，其内容为赋予台湾和朝鲜两“外地”之住民参与国政（日本政治）的权
京都府第6区京都府第6区是日本众议院的选区，始于1994年。北海道 13 | 山形县 4 | 静冈县 9 | 岛根县 3 | 大分县 4福井县 3 | 山梨县 3 | 德岛县 3 | 高知县 3 | 佐贺县 3青森县 4 | 岩
富弼富弼（1004年－1083年），字彦国，中国宋朝政治家，河南（今河南洛阳东）人。富弼为官清正，颇有廉声。宋仁宗庆历二年（1042年）出使契丹，以增加岁币为条件，拒绝割地要求；次年任枢密副使，与范仲淹等共
帕特·史朵芮帕特·史朵芮主教（英语：Pat Storey）为爱尔兰圣公宗首位女性主教。她于2004年就任北爱尔兰伦敦德里郡的圣奥古斯丁牧区的教长，2013年12月被任命位于爱尔兰共和国的密特与基达尔教
陈海山 (政治人物)陈海山（台湾话：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif}Tân Hái-suann，1950年11月10日－），台湾澎湖县建筑商、政治人物。民国70年（1981年）踏入政坛，当选马公市第1、2届市民代表，澎湖县议会第12至18届议员，2018年再度当选第19届澎湖县
若宫正子若宫正子（わかみやまさこ，1935年4月19日－）是一位日本IT人士。她是BBS“メロウ倶楽部”的副会长，也是世界上最年长的程序员，她在2017年81岁时开发了IPhone应用程序hinadan。她的网名是 "Merchan"。
银川双年展银川双年展在2016年由银川当代美术馆首次举办当代艺术双年展，自开馆时就开始筹备，是中国西北地区首个城市双年展。