Invarijante i monovarijante - Primjer 2
Primjer 2:
Na otoku se nalazi crvenih kameleona, plavih i zelenih. Kada se sretnu dva kameleona različitih boja, oba promijene boju u onu treću. Može li se dogoditi da svi kameleoni postanu iste boje?
Rješenje:
U ovom zadatku invarijanta je već malo suptilnija nego u prethodnom primjeru. Najbolji način za početi zadatak je simulirati nekoliko koraka i probati uočiti neku pravilnost u broju crvenih, plavih i zelenih kameleona. U svakom koraku kad se susretnu dva kameleona različitih boja, broj kameleona tih boja se smanji za dok se broj kameleona treće boje poveća za . Tražimo nešto što je isto kad mu oduzmemo ili mu dodamo . To nas dovodi do promatranja ostataka broja kameleona pri dijeljenju s brojem .
Kako se prilikom svakog sudara broj kameleona pojedine boje ili poveća za ili smanji za , zaključujemo da se u svakom susretu ostatak pri dijeljenju broja pripadnika svake vrste s 3 promijeni, i to tako da se poveća točno za dva. Na početku su svi ostatci broja kameleona pojedine vrste pri dijeljenju s međusobno različiti, te će stoga takvi i ostati nakon svakog poteza. Kada bi mogli postići da svi kameleoni budu iste boje, ostaci broja svih vrsta pri dijeljenju s bi bili jednaki , što je nemoguće.
Za dobivanje boda za ovaj primjer unesite broj kao rješenje zadatka.