Väzňova dilema

Väzňova dilema je názov problému z oblasti teórie hier. V roku 1950 ho sformulovali Merril Flood a Melvin Dresher. Jeho znenie doladil Albert Tucker nasledovne:

Dvaja podozriví sú zadržaní políciou. Polícia nemá dostatok dôkazov a navštívi preto oboch väzňov, ktorí sú oddelení, aby im ponúkla rovnakú dohodu. Ak bude jeden z nich svedčiť proti druhému (zradí druhého) a tento nič neprezradí (bude spolupracovať), zradca bude prepustený a spoluväzeň si musí odsedieť celých desať rokov. V prípade, že obaja nebudú svedčiť, budú odsudení len na 6-mesačné odňatie slobody. Ak sa väzni zradia navzájom, bude im udelený 5-ročný trest. Obaja väzni sa musia rozhodnúť, či budú mlčať alebo svedčiť, pričom vedia, že spoluväzeň sa o zrade nedozvie pred ukončením vyšetrovania. Ako by mali väzni konať?