Divi neatkarīgi darbinieki vienlaikus pārbauda, vai dežūrā ir vairāk nekā trīs ārsti, un katrs ņem atvaļinājumu, pārkāpjot invariantu. Kas ir šī problēma un kā to risināt?