[42FP] Problemă de optimizare

Day 3,598, 06:12 • Published in Romania Romania • by 42 Tea Party
Introducerile, regulile etc. le găsiți aici.

De câte găini fără cap este nevoie pentru a schimba un bec? Justificați.

Pentru puncte bonus: este reciproca adevărată? i.e. pentru orice găină fără cap, există un număr de becuri pentru a schimba găina? Demonstrați ipoteza sau găsiți un contraexemplu. Sfat: atenție la ordinea cuantificatorilor.