Fiind un semicerc de oameni sociabili, există cel mult <tex>{N/2}</tex> oameni muţi, iar fiecare persoană ştie despre orice altă persoană ce tip de om este.

Dorind să se integreze în grup, protagonistul nostru s-a hotărât să afle ce tip de om e fiecare punând urmatoarele întrebări:

Dorind să se integreze in grup, protagonistul nostru s-a hotărât să afle ce tip de om e fiecare punând urmatoarele întrebări:

# Petrică îl intreabă pe <tex>X_1</tex> ce ar zice <tex>X_2</tex> dacă ar fi întrebat ce ar zice <tex>X_3</tex> dacă ar fi întrebat ce ar zice <tex>X_4</tex> .... dacă ar fi întrebat ce zice <tex>X_{K-1}</tex> despre <tex>X_K</tex>, unde <tex>X_1, X_2, ... X_K</tex>, cu <tex>K \ge 2</tex>, sunt persoane **diferite** din grup.
        De exemplu: pentru <tex>K=2</tex>, Petrică îl întreabă pe <tex>X_1</tex> dacă <tex>X_2</tex> minte sau nu