Witam!
Mam pytanie dotyczące najsilniejszego niezmiennika pętli. W jaki sposób się go definiuje?
Mam następujący program.
Kod: Zaznacz cały
x=0;
y=1;
i=1;
while (i<n) do
z=x+y;
x=y;
y=z;
i=i+1;
end while
Wiem, że niezmiennik to warunek dotyczący pętli, który zawsze jest prawdziwy. Niezmiennikiem (trywialnym) może w sumie być
\(\displaystyle{ 0<1}\), ale nie o to chodzi.
Według mnie w powyższym przykładzie niezmiennikiem (najsilniejszym) jest
\(\displaystyle{ z<n}\). Czy mam rację?
Ostatnio zmieniony 17 sty 2016, o 14:18 przez
Afish, łącznie zmieniany 1 raz.
Powód: Całe wyrażenia matematyczne umieszczaj w tagach [latex] [/latex].