Vrijeme: 11:59
Invarijante i monovarijante - Lanac 3 - Zadatak 3
Zadatak 3:
Iva ima vrt oblika 
polja. Na nekim poljima raste korov. Svaki dan, korov će se proširiti na susjedno polje ako su barem dva susjedna polja već zarasla korovom (dva polja su susjedna ako imaju zajedničku stranicu). Ako je prvi dan ukupno devet polja obraslo korovom, može li se dogoditi da cijeli Ivin vrt na kraju bude pokriven korovom?