A British Museum algoritmusa szerint az összes lehetséges opciót végigjárja, a legkisebb mérettől kezdve, amíg meg nem találja a megfelelő megoldást. Ez az algoritmus a gyakorlatban szinte nem alkalmazható, mivel csak elméleti alapelv, amely bármilyen probléma esetén alkalmazható nagyszámú lehetséges opcióval.
Például az algoritmus segítségével megtalálhatja a legrövidebb programot, amely megoldja a problémát, az alábbiak szerint. Először az összes lehetséges program egy karakter hosszú forráskóddal készül. Ezután ellenőrizzük, hogy mindegyik program megoldja-e a problémát. (Az ellenőrzést sokkal nehezebbé teszi a leállási probléma .) Ha egyik program sem felel meg a feladatnak, akkor minden olyan program figyelembe vehető, amely két karakter hosszú, három karakter stb. Elméletileg ennek eredményeként valóban meg fog találni a kívánt programot, de a gyakorlatban az algoritmus túlságosan hosszú ideig fog futni (sok esetben a futási idő meghaladhatja az Univerzum létezésének időtartamát).
Hasonló számításokkal az algoritmus felhasználható optimalizálások, tételek, tesztnyelv-felismerő rendszerek bizonyítására és egyéb célokra.
Allen Newell , Cliff Shaw és Herbert Simon [1] amerikai tudósok "British Museum algoritmusnak" nevezték ezt az eljárást.
"[az ötlet] olyan őrültnek tűnt, mintha majmokat próbálnának írógépek elé ültetni abban a reményben, hogy a British Museum összes könyvét reprodukálják. "Grafikon keresési algoritmusok | ||
---|---|---|
Tájékozatlan módszerek | ||
Tájékozott módszerek | ||
Parancsikonok | ||
Minimálisan átívelő fa | ||
Egyéb |