Problema canibalilor si a misionarilor Pe malul drept al unui rau se afla trei canibali si trei misionari.

Cei sase trebuie sa ajunga pe malul drept. Daca la un moment dat pe un mal se afla mai multi canibali decat misionari atunci canibalii vor manca misionarii. Gasiti o modalitate de a traversa pe malul stang astfel incaat sa nu fie mancat nici un misionar. Pentru o simulare a problemei studiati site-ul : http://www.plastelina.net/games/game2.html A. Un model matematic de rezolvare este: { (a,b,c,d,e,f) | a,b,c,d,e,f din {0,1,2,3} } B. Definirea formala a problemei: Starea initiala Mal Stang Barca Mal drept MMMCCC

pasii spre rezolvare Pas Mal stang Barca Mal drept MMMCCC MMMC MMMC MMM MMM MC MC CC CC C C

1 2 3 4 5 6 7 8 9 10 11 12

C C CC CC CM CM MMM MMM CMMM CMMM CCCMMM Starea finala:

CC C CC C MM MC MM C CC C CC

Mal Stang CCCMMM

Barca

Mal drept

C.

Operatorii: c_md_b, canibal de pe mal Drept in barca

c_ms_b, c_b_md, c_b_ms, m_md_b, m_ms_b, m_b_md, m_b_ms, D. Spatiul starilor:

canibal de pe mal Stang in barca canibal din barca pe mal Drept canibal din barca pe mal Stang misionar de pe mal Drept in barca misionar de pe mal Stang in barca misionar din barca pe mal Drept misionar din barca pe mal Stang

S={ (canibali,misionari) canibali={0,1,2,3 }, misionari={0,1,2,3} } E. Arborele de stari:

Problema lup, capra, varza Un taran are un lup, o capra si o varza. El se afla pe malul stang al unei ape si trebuie sa treaca cele trei animale pe malul drept. Daca raman nesupravagheate lupul poate manca capra, iar capra poate manca varza. Se cere sa se gaseasca o solutie astfel incat toate cele trei animale sa ajunga pe malul drept in conditiile expuse mai sus. A. Un model matematic de rezolvare este:

{ (a,b,c,d,e,f,g) | a,b,c,d,e,f,g din {0,1} } B. Definirea formala a problemei: Starea initiala Mal Stang Barca LCV pasii spre rezolvare Pas Mal stang Barca Mal drept LCV LV LV V V C C Mal drept

1 2 3 4 5 6 7 8

C C C L L LV LV LCV Starea finala: Mal Stang Barca L C V C V L

V V

L L

Mal drept

LCV

C.

Operatorii: capra de pe mal Drept in barca capra de pe mal Stang in barca capra din barca pe mal Drept capra din barca pe mal Stang

c_md_b, c_ms_b, c_b_md, c_b_ms,

l_md_b, l_ms_b, l_b_md, l_b_ms, v_md_b, v_ms_b, v_b_md, v_b_ms

lup de pe mal Drept in barca lup de pe mal Stang in barca lup din barca pe mal Drept lup din barca pe mal Stang varza de pe mal Drept in barca varza de pe mal Stang in barca varza din barca pe mal Drept varza din barca pe mal Stang

asta nu se intampla niciodata asta nu se intampla niciodata

asta nu se intampla niciodata asta nu se intampla niciodata

D.

Spatiul starilor: S={ x | x din {l , c, v } }

E.

Arborele de stari: