W dniu 2012-10-17 05:44, M.M. pisze:
> W dniu środa, 17 października 2012 05:28:39 UTC+2 użytkownik bartekltg napisał:
>
>> No, ładny graf. Ale nie jest to porządek.
>> "jeżeli a>=b i b>=a to a=b".
>> Z definicjami matematycznymi nie ma się co kłócić.
>> Jak nam nie odpowiada, należy ją zmodyfikować
>> lub zbudować nową, ale nie wolno twierdzić, że to
>> nadal to samo;)
>
> Nie kłócę się, tylko próbuję ogarnąć :)
> Jeśli dobrze Cię zrozumiałem, to zapis a=b,
> oznacza tutaj wręcz że a jest tożsame b, nie
> tylko że a jest równe b pod względem jakiejś
> cechy?
>
> Wynikało by z tego, że jak mamy zbiór {a,b,c,d} i cechę
> f(a)=1, f(b)=1, f(c)=2, f(d)=3, to nie
> da się tego zbioru posortować, bo na
> tej cesze nie da się wprowadzić porządku
> liniowego. Jednak posortować się da, więc
> nadal nic nie kumam :) Chyba już późno :)

Ale zamiast czegoś takiego < : f(a) < f(b) używasz niejawnie
(w zależności od algorytmu sortującego) czegoś podobnego do
< : f(a) < f(b) dla f(a) != f(b)
i(a) < i(b) dla f(a) = f(b)
gdzie i(a) daje indeks elementu a w tablicy wejściowej