On 2012-10-16, M.M. <m...@g...com> wrote:
> Jaki jest przyklad zbioru z czesciowym porzadkiem ktorego nie
> da sie posortowac?

No a żeby nie było tak nudno, że tylko podzbiory i liczby zespolone,
to jeszcze np.:
- zbiór ludzi z relacją "bycia rodzicem",
- zbiór przedmiotów w polu grawitacyjnym z relacją "leżeć na",
- twierdzenia i definicje matematyczne z "korzystania".

:]

No i tak wyglądają (a przynajmniej powinny wyglądąć) zależności
w programowaniu. Tzn. zbiór programów z "wymagać" (na Linuxie
najłatwiej to zauważyć :)), z czym niestety bywa różnie...
Podobnie jest w kodzie (zależności między obiektami, bibliotekami itp).

Ogólnie rzecz biorąc porządek częściowy jest równoważny grafowi
skierowanemu:
a) o cyklach długości max 1 (porządek słaby - z nieostrą relacją),
b) bez cykli (porządek ostry - z ostrą relacją).

Także o ile (przyznaję) wykrycie takiego porządu w najbliższym
otoczeniu bywa niełatwe, to łatwo sobie jakiś stworzyć :).

pozdrawiam,
PK