大英博物馆算法

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

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

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