1
Metoda relurii
Datele iniiale n metoda relurii
Mulimile:
A1 {a11 , a12, , a1m1 };
A2 {a21 , a22, , a2 m2 };
...
An {an1 , an 2, , anmn }.
Soluia n metoda relurii
Spaiul soluiilor:
S A1 A2 An
Soluia:
X ( x1 , x2 , , xn ),
unde
x1 A1 ; x2 A2 ; ..., xn An .
Ideia metodei relurii
1. Presupunem c la pasul k am calculat deja valorile:
( x1 , x2 , , xk )
2. Selectm din mulimea Ak+1 valoarea xk+1:
( x1 , x2 , , xk , xk 1 )
3. Dac ( x1 ,
x2 , , xk , xk 1 ) satisface condiiile
problemei, trecem la pasul k+2.
n caz contrar revenim la pasul k i alegem alt xk.
Cutarea soluiei prin metoda relurii 5
k := 1
1 ,1
1 ,2
2 ,2
k := k + 1
a
2 ,1
1
k := k + 1
k := k -1
k := k + 1
a
0
3 ,1
a 3 ,2
0
0
a 3 ,3
Schema general a algoritmului recursiv
6
bazat pe metoda relurii
procedure Reluare(k:integer);
begin
if k<=n then
begin
X[k]:=PrimulElement(k);
if Continuare(k) then Reluare(k+1);
while ExistaSuccesor(k) do
begin
X[k]:=Succesor(k);
if Continuare(k) then Reluare(k+1)
end; { while }
end { then }
else PrelucrareaSolutiei;
end; {Reluare}
Operaii
Procedura Reluare comunic cu programul apelant i subprogramele
apelante prin variabilile globale ce reprezin vectorul X i
mulimile A1, A2, ..., An.
Subprogramele apelante execut urmtoarele operaii:
PrimulElement (k)- returneaz primul element din mulimile Ak ;
Continuare (k)- returneaz valoarea true dac elementele nscrise n primele k componente
ale vectorului X satisfac condiiile de continuare i false n caz contrar;
ExistaSuccesor (k)- returneaz valoarea true dac elementul memorat n componena xk
are un succesor n mulimea Ak i false n caz contrar.
Succesor (k)- returneaz succesorul elementului memorat n componena x
PrelucrareaSolutiei- de obicei, n aceast procedur soluia reinut n vecto
afiat la ecran.
Clasificarea problemelor
1. Mulimile A1, A2, ..., An snt cunoscute.
2. Snt cunoscute elementele din care snt formate
mulimile A1, A2, ..., An, numrul n fiind
necunoscut.
3. Elementele din care snt formate mulimile A1,
A2, ..., An i numrul n snt necunoscute.
Exemplul 1. Problema din manual
Se consider mulimile A1, A2, ..., An, fiecare mulime
fiind format din mk numere naturale. Selectai din
fiecare mulime cte un numr n aa mod nct suma lor
s fie egal cu q.
Exemplul 1. Reprezentarea datelor
10
const mmax=50; { numrul maximal de mulimi }
nmax=50; { numrul maximal de elemente }
type Natural = 0..MaxInt;
Multime = array[1..nmax] of Natural;
var
A : array[1..nmax] of Multime;
n : 1..nmax;
{ numrul de mulimi }
M : array[1..nmax] of 1..mmax; { cardinalul mulimii S[k] }
X : array[1..nmax] of 1..mmax; { indicii elementelor selectate }
q : Natural;
k, j : integer;
Indicator : boolean;
Function PrimulElement
11
function PrimulElement(k : integer) : Natural;
begin
PrimulElement:=1;
end; {PrimulElement }
Function Continuare
12
function Continuare(k : integer) : boolean;
var j : integer;
suma : Natural;
begin
suma:=0;
for j:=1 to k do suma:=suma+A[j, X[j]];
if ((k<n) and (suma<q)) or ((k=n) and (suma=q))
then Continuare:=true
else Continuare:=false;
end; { Continuare }
Function ExistaSuccesor
function ExistaSuccesor(k : integer) : boolean;
begin
ExistaSuccesor:=(X[k]<M[k]);
end; { ExistaSuccesor }
function Succesor (k:integer) : integer;
begin
Succesor :=X[k]+1;
end;{Succesor}
procedure PrelucrareaSolutiei;
var k: integer;
begin
write (Solutia:);
for k:=1 to n do write (A[k, X[k]],);
writeln;
Indicator:=true;
end; {PrelucrareaSolutiei}
13
Procedure Reluare
14
procedure Reluare(k : integer);
{ Metoda reluarii - varianta recursiva }
begin
if k<=n then
begin
X[k]:=PrimulElement(k);
if Continuare(k) then Reluare(k+1);
while ExistaSuccesor(k) do
begin
X[k]:=Succesor(k);
if Continuare(k) then Reluare(k+1);
end { while }
end { then }
else PrelucrareaSolutiei;
end; { Reluare }
Exemplul 2. Labirintul
1
1
2
3
2 3 ...
... m
i
C
n
15
Labirintul. Formularea matematic 16
Mulimile:
A1 {Sus, Dreapta , Jos, Stnga}
A2 {Sus, Dreapta , Jos, Stnga}
A3 {Sus, Dreapta , Jos, Stnga}
...
Soluia:
X {Dreapta , Dreapta , Dreapta , Jos, Dreapta ,
Dreapta , Dreapta , Jos, Jos, Jos, Jos}
