Witam.
Mam pytanie czy zna ktoś jakąś książkę, stronę albo inne źródła gdzie można by było poćwiczyć znajdowanie niezmienników pętli? Miałem dzisiaj na kolosie takie zadanie "znaleźć niezmiennik pętli funkcji POWER"
POWER(a, n)
p <- 1.0
q <- a
i <- n
while i > 0 do
if i % 2 = 0 then
p <- p * q
q <- q * q
i <- i / 2
return p
siedziałem nad tym dosłownie pół godziny i nie wymyśliłem. Może mi ktoś powiedzieć jaki tutaj jest niezmiennik i zarazem zaproponować inną książkę niż "Wprowadzenie do algorytmów - Cormena" gdzie można takie coś poćwiczyć?
Ktoś rzucił hasło, że niezmiennikiem jest wyrażenie q^i * p , ale za nic mi to nie pasuje.