大英博物馆算法

✍ dations ◷ 2024-09-20 05:35:51 #算法

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

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

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

相关

.nl.nl为荷兰国家和地区顶级域（ccTLD）的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az B .ba .bb .bd .be .bf .bg .bh .bi .bj .bm .bn
国家防卫军国家防卫军（德语：Reichswehr）指1919年至1935年魏玛共和国的正规军队，它下辖有陆军、海军和秘密设立的空军。第一次世界大战结束后，根据协约国提出的《凡尔赛条约》，德国仅保有一支
多种不同的解释枪支管制的相关政策一直是美国政治中的争议议题。持枪权的支持者和枪支管制的支持者（不等同反对持枪权）在该问题上分歧很大，经常在枪支管制、枪支造成和预防犯罪、公共安全等问
文森弗雷德里克·摩尔·文森（Frederick Moore Vinson，1890年1月22日－1953年9月8日），于1890年生于美国路易莎，在1953年9月8日于华盛顿逝世。美国律师、政治家，曾任第53任美国财政部长和
四氢叶酸四氢叶酸（英语：Tetrahydrofolic acid，简称为THF）是叶酸的一种还原型衍生物，由二氢叶酸还原酶还原二氢叶酸得到的一种辅酶。这种辅酶在转移一碳化合物的过程中起重要作用。医学导
2019年3月逝世人物列表2019年3月逝世人物列表，是用于汇总2019年3月期间逝世人物的列表。
希维拉杜夫-兹德鲁伊希维拉杜夫-兹德鲁伊（Świeradów-Zdrój）是波兰的一座城市。2006年，有人口4,554人。坐标：50°54′N 15°20′E / 50.900°N 15.333°E / 50.900; 15.333
叶大庆叶大庆，字荣甫，龙泉人氏。宋朝学者。开禧元年（1205年）中进士，早年入县学，二十岁时升京师国子学。授建州州学教授。晚年有疾，谢绝一切应酬，闭门著书，著有《考古质疑》一书。大庆卒后，其
佐藤文俊 (总务官僚)佐藤文俊（日语：佐藤文俊，1956年10月6日－）是日本的自治总务官僚。总务省主要走财政领域，历任自治财政局财政课长、同局长、总务审议官（自治行政担当）。1956年10月6日出生。福岛县出
意大利面冰淇淋意大利面冰淇淋（英语：Spaghettieis，德语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000"