Problem om riddare och knavar är ett slags matematiska problem där karaktärer förekommer:
och dess antagonist
Lösningen av sådana problem reduceras vanligtvis till en uppräkning av alternativ med undantag för de som leder till en motsägelse.
Det finns uppgifter med tre typer av karaktärer - riddare, knavar och normala människor (alternativ - spioner). Den senare kan både ljuga och säga sanningen (till exempel: den svåraste logiska uppgiften ).
Det finns också hela klasser av problem av samma typ, men med olika karaktärer - problem om patienter och läkare , samlade i synnerhet i matematikern Raymond M. Smallians böcker .
Riddare och knep lever på ön. En resenär som träffade en av lokalbefolkningen frågade honom vem han var. Vad kommer den boende att säga?
Resenären kom till vägen som förbinder lögnarstaden och riddarstaden. Han vill veta vilken sida var och en av städerna ligger på. Vilken fråga ska han ställa till en förbipasserande (utan att veta om han är en riddare eller en knäve) för att avgöra detta?
Två personer A och B, av vilka det är känt att var och en av dem är antingen en riddare, en knekt, eller en normal person, gör följande påståenden:
A: B är en riddare.
B: A är ingen riddare.
Bevisa att åtminstone en av dem talar sanning, men inte en riddare.
På en ö som bara befolkas av riddare som alltid säger sanningen och lögnare som alltid ljuger, finns ett vetenskapligt forskningsinstitut. Var och en av dess anställda gjorde en gång två uttalanden:
a) Det finns inte ens tio personer på institutet som arbetar mer än jag.
b) Minst hundra personer på institutet får en högre lön än min.
Det är känt att belastningen för alla anställda är olika, liksom lönerna. Hur många arbetar på forskningsinstitutet?
En version av problemet med riddare och knep nämns i den spanska thrillern Farm Trap . Ett problem av denna typ finns också i filmen " Labyrinth " av Jim Henson.