Algoritmos y Programación en Pascal

20.3. Programación dinámica 459
type
tDominio = 0..20;
tTabla = array [tDominio] of record
definido: boolean;
resultado: integer
end; {record}
var
tablaFib: tTabla;
cuyo estado inicial debe incluirse en el programa principal:
tablaFib[0].definido:= True;
tablaFib[0].resultado:= 1;
tablaFib[1].definido:= True;
tablaFib[1].resultado:= 1;
for i:= 2 to 20 do
tablaFib[i].definido:= False
Entonces, la función Fib resulta
function Fib(n: tDominio; var t: tTabla): integer;
begin
if not t[n].definido then begin
t[n].definido:= True;
t[n].resultado:= Fib(n-1,t) + Fib(n-2,t)
end; {if}
Fib:= t[n].resultado
end; {Fib}
que se llama, por ejemplo, mediante Fib(14, tablaFib).
❡❡
Un requisito indispensable para que una función se pueda tabular correctamente
es que esté libre de (producir o depender de) efectos laterales, de
manera que el valor asociado a cada argumento sea único, independiente del
punto del programa en que se requiera o del momento en que se invoque.
Esta observación es necesaria, ya que en esta técnica se utilizan variables
globales; como se explicó en el apartado 8.5.4, un uso incontrolado de estas
variables puede acarrear la pérdida de la corrección de nuestros programas.
Tabulación de algoritmos de programación dinámica
Veamos ahora cómo las técnicas de tabulación descritas mejoran la eficiencia
del algoritmo del grafo polietápico.