British Museum algoritmus

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. "

Lásd még

Források

Jegyzetek

  1. Newell Allen , Shaw JC , Simon Herbert A. Az emberi problémamegoldás elméletének elemei.  // Pszichológiai Szemle. - 1958. - T. 65 , 3. sz . - S. 151-166 . — ISSN 0033-295X . - doi : 10.1037/h0048495 .