[Algorytmy] Znajdź niezmiennik algorytmu

aolo23
Użytkownik
Użytkownik
Posty: 307
Rejestracja: 5 sty 2016, o 13:01
Płeć: Mężczyzna
Lokalizacja: Polska
Podziękował: 118 razy
Pomógł: 2 razy

[Algorytmy] Znajdź niezmiennik algorytmu

Post autor: aolo23 »

Niech \(\displaystyle{ n ­ \ge 0}\) będzie liczbą całkowitą. Podaj najsilniejszy warunek, który jest niezmiennikiem poniższej pętli:

Kod: Zaznacz cały

x <− 0 ;
y <− 1 ;
    while x < n do
    x <− x+1;
    y <− y∗x ;
end while
Chciałbym się poradzić jaki tutaj jest niezmiennik.
Ostatnio zmieniony 22 sty 2018, o 18:24 przez Afish, łącznie zmieniany 2 razy.
Powód: Niepoprawne tagowanie: [icode] zamiast [code].
bartek118
Użytkownik
Użytkownik
Posty: 5974
Rejestracja: 28 lut 2010, o 19:45
Płeć: Mężczyzna
Lokalizacja: Toruń
Podziękował: 15 razy
Pomógł: 1251 razy

[Algorytmy] Znajdź niezmiennik algorytmu

Post autor: bartek118 »

Wygląda na coś takiego
\(\displaystyle{ N = [ y = x! \ \wedge x \leq n ]}\)
ODPOWIEDZ