大英博物馆算法

✍ dations ◷ 2025-08-19 10:07:59 #算法

大英博物馆算法或称大英博物馆技巧，即是以穷举法，从最小的组合开始找答案。严格而言，这只是一个解题的概念而非一个可实现的算法，而且以穷举法列出所有可能的话，运算时间和空间上并不划算。

大英博物馆算法可以下例说，假设有一问题，希望得到一个最短的程序来解决，则求此程序的方法如下：先从长度为n=1开始，产生所有长度n的源代码，再检查当中有否可解决此问题的程序（因停机问题，此检查过程不可能实现），若否，则测试n=2，如此类推，最终必会找到该最短程序，然而此方法却须花费非常长的时间（大部分问题所须的时间比宇宙的生命还长）。

类似方法可用以证明例如优化、公式证明、辨别等问题可解还是不可解。

相关

固氮固氮作用（英语：Nitrogen fixation），简称固氮，指将空气中游离态的氮（氮气）转化为含氮化合物（如硝酸盐、氨、二氧化氮）的过程。可分为自然固氮以及人工固氮两种。自然固氮（Natural nitro
酸性酸（有时用“HA”表示）的传统定义是当溶解在水中时，溶液中氢离子的浓度大于纯水中氢离子浓度的化合物。换句话说，酸性溶液的pH值小于水的pH值（25℃时为水的pH值是7）。酸一般呈酸味，
爱德华二世爱德华二世（英语：Edward II，1284年4月25日－1327年9月21日），英格兰国王（1307年—1327年在位），金雀花王朝成员。他的一生皆为其宠信的弄臣和叛乱的贵族所主宰，以致最后悲惨地死去。葬于
詹姆斯·莱特希尔詹姆斯·莱特希尔爵士 FRS（英语：Sir James Lighthill，1924年1月23日－1998年7月17日），英国应用数学家，尤以其在气动声学（英语：Aeroacoustics）领域的贡献而著称。莱特希尔出生于法国巴黎
加拿大国旗加拿大国旗，又称枫叶旗（英语：Maple Leaf），在法语区称单叶旗（法语：l'Unifolié），是代表加拿大的官方旗帜。加拿大国旗为红色旗帜，中间镶嵌白色方格，白色方格上有绘有一片13个顶点的非写
博迪博迪（蒙古语：Боди，1504年－1547年），尊号阿剌克汗（蒙古语：Алаг хаан），蒙古大汗，察哈尔首任可汗。达延汗长子图鲁博罗特的长子，是达延汗指定的继承人。然而，在1517年，达延汗死后，
大坪林站坐标：24°58′59″N 121°32′29″E / 24.98292°N 121.54134°E / 24.98292; 121.54134大坪林站位于台湾新北市新店区，为台北捷运松山新店线与环状线第一阶段之交会捷运车站
宗康·昂旺华旦丹贝坚赞宗康·昂旺华旦丹贝坚赞（藏语：.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen Sarchung","Qomolangma-Uchen Su
西西里巴洛克西西里巴洛克是指一种独特的巴洛克建筑风格，存在于十七至十八世纪间，意大利南岸的西西里岛。西西里巴洛克有着典型巴洛克式曲线与华丽，点缀著露齿而笑般的人面装饰、男童天使（pu
旅游景点旅游景点（英语：Tourist attraction）是指游客慕名参观的景点，特别在于其固有或展现的自然或文化价值、历史影响、自然或人造美，又或提供悠闲与娱乐。自然景观如海滩、热带度假岛（英