Dnia 16.10.2012 bartekltg <b...@g...com> napisał/a:
> W dniu 2012-10-16 21:49, Baranosiu pisze:
>> Dnia 16.10.2012 M.M. <m...@g...com> napisał/a:
>>> W dniu wtorek, 16 października 2012 20:39:53 UTC+2 użytkownik notb napisał:
>>>> Aby sortowanie miało sens (teoretyczny) musi istnieć jakaś metoda
>>>> porównywania, czyli na zbiorze musi istnieć jakiś porządek liniowy.
>>>
>>> No wlasnie jak to bylo? Na pewno nie wystarczy ze istnieje metoda
>>> porownywania. Typowy przyklad z programow szachowych: program A
>>> wygrywa z programem B, B wygrywa z C, a C wygrywa z A - da sie
>>> porownac, ale jak to sensownie posortowac (bez dodatkowych
>>> zabiegow)?
>>>
>>
>> Musi być tzw. dobry porządek liniowy. Porządek liniowy to zbiór z
>
> Nieprawda.
>
> To, że porządek jest dobry nie ma nic wspólnego
> z możliwością posortowania. Liczby rzeczywiste z "naturalną"
> relacją > - to nie jest dobry porządek (zbiór (0,1) choćby:) )
> A posortować się je da (na osi liczbowej leżą posortowane:)
>
> Do posortowania wystarczy samo to, ze porządek jest liniowy.

To zależy jak się rozumie pojęcie "posortować", bo w CIĄG rosnący to
się ich ustawić nie da (choć zgoda, każde dwie da się porównać i tak
ustawić, że "każda po prawo jest większa od tej po lewej")
ale... jeśli nie da się ułożyć w ciąg, to też nie da się podać
algorytmu sortującego, więc... coś za coś, jeśli zluzujemy z definicją
"posortowany" (niekoniecznie w ciąg) to luzujemy z definicją
"algorytmu" (rezygnujemy z "sekwencja następujących po sobie
instrukcji") bo inaczej nie da się przedstawić algorytmu sortowania w
"nie-ciąg" :D

>
> > "Dobry porządek" to porządek liniowy, w którym każdy niepusty podzbiór
> > danego zbioru ma element najmniejszy (w sensie relacji R).
>
>
> pzdr
> bartekltg
>
>
>
>