Hej, zrobiłem program sortujący na różne sposoby(insertion, bubble, selection i funkcją bilioteczną) ale nie jestem pewien jakie są ich niezmienniki. Pomoże ktoś?
insertion_sort: 
Bubble sort: 
Selection sort: 
funkcją bilioteczną: 
0
0
Niezmiennik (inwariant) – cecha lub właściwość, która jest stała (nie zmienia się) w trakcie przekształceń, procesów przemiany itp.
wiec np wielkosc tablicy sie nie zmienia
0
fasadin napisał(a):
Niezmiennik (inwariant) – cecha lub właściwość, która jest stała (nie zmienia się) w trakcie przekształceń, procesów przemiany itp.wiec np wielkosc tablicy sie nie zmienia
Hmm, no tak, ale cały czas sie zastanwiam czy coś jeszcze można dodać... Ale chyba faktycznie to jedyny niezmiennik
0
Niezmiennik to faktycznie coś co jest niezmienne, ale akurat wiedza o tym, że wielkość tablicy się nie zmienia jest mało przydatna.
Niezmiennik pętli to własność, która jest spełniona przy wejściu do pętli, w trakcie jej wykonywania i po jej zakończeniu. Z dobrze obranego niezmiennika wnioskujemy poprawność algorytmu, tzn. czy robi on dokładnie to co chcemy.
Edit: i tak, oczywiście da się znaleźć takie niezmienniki dla tych pętli.
Moze niezbyt szeroko, ale sens jest tu: https://pl.wikipedia.org/wiki/Niezmiennik_pętli