大英博物馆算法

✍ dations ◷ 2025-12-02 23:26:40 #算法

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

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

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

相关

范·海尔蒙特扬·巴普蒂斯塔·范·海尔蒙特（Jan Baptista van Helmont，1579年1月12日－1644年12月30日；姓又译范赫蒙），弗拉芒化学家、生理学家、医生。他将四元素说中的四种元素削减为水和空气，
托勒密八世托勒密八世·费斯康（施惠者二世）Πτολεμαίος Η' Ευεργέτης Β' ή Φύσκων（约前182年—前116年6月26日）埃及托勒密王朝国王（前170年—前163年，前145年—
中原文化中原文化是以中原地区为基础的物质文化和精神文化的总称，最早可追溯至公元前约六千年至公元前约三千年的中国新石器时期。中原文化以河南省为核心，以广大的黄河中下游地区为腹
新西伯利亚水库新西伯利亚水库（俄语：Новосибирское водохранилище）是俄罗斯的水库，位于新西伯利亚州和阿尔泰边疆区，在1956年因鄂毕河上兴建水坝形成，用作水力发电，水
马里帝国马里帝国（Mali Empire），又名曼丁帝国（Manding Empire）或曼迪联邦（Manden Kurufa），是西非中世纪时的一个强大伊斯兰教帝国，是北部非洲以南的广阔内陆中历史最悠久的国家，古代最重要的伊
Liberty Reserve自由储备银行（英语：Liberty Reserve），是一个以哥斯达黎加为基地的数字货币服务，标榜自己为“最古老，最安全和最流行的付款处理者……服务数百万世界各地的用户”。该网站在其
弗兰兹·库恩弗兰兹·库恩（德语：Franz W. Kuhn，1884年3月10日－1961年1月22日），德国著名中国文学翻译家。中国古典文学的《红楼梦》、《三国演义》、《水浒传》、《金瓶梅》全由库恩翻译成德文，
新加坡卫生部新加坡卫生部（英语：Ministry of Health (MOH)；马来语：Kementerian Kesihatan；泰米尔语：சுகாதார அமைச்சு）是新加坡政府的一个下辖部门。它主要负责提供信息以提高健康
池田正之辅池田正之辅（日语：池田正之輔／いけだまさのすけ；1898年1月12日－1986年3月27日）是日本的政治人物及众议员（第10届众议院），曾担任第9任科学技术厅长官（日语：科学技術庁長官）和社团法人
侯芙生侯芙生（1923年11月28日－2018年10月31日），江苏无锡人，炼油及石油化工专家，中国工程院院士，中国石化集团公司教授级高级工程师。