Witam,
Mam problem z wyliczeniem niezmiennika dla takiej pętli:
START
\(\displaystyle{ (y_1,y_2,y_3)=(1,2,0)}\)
\(\displaystyle{ dopóki\mbox{ }(y_1 qslant x)\mbox{ }rob\mbox{ }((y_1,y_2,y_3)=(y_1+1,y_2+2,y_1+y_2+y_3))}\)
\(\displaystyle{ wynik=2y_3-3y_1+3}\)
I dla x=4 mam tabelkę:
y1 y2 y3
1 2 0
2 4 3
3 6 9
4 8 18
5 10 30
i widać, że y2=2y1, ale jak przykładowo z tego wyznaczyć wartośc y3?