72
правки
Изменения
м
:- <tex>\; </tex>Как и для частичного, оно должно быть конечно.
→Сильное ранжирование
{{Определение
|definition =
[[Бинарное отношение]] <tex><</tex> на множестве <tex>X x \times X</tex>, для некоторых элементов которого определена несравнимость <tex>\sim</tex>,называется '''сильным ранжированием''' (англ. ''total order''), если оно обладает следующими свойствами:
* [[Рефлексивное отношение|Иррефлексивность]] (англ. ''irreflexivity''): <tex>\forall a \in X:</tex> <tex>a \sim a</tex>.
* [[Симметричное отношение|Ассиметричность]] (англ. ''asymmetry''): <tex>\forall a, b \in X:</tex> если <tex>a < b</tex>, то не <tex> b < a </tex>.
{{Лемма|о сильном упорядочивании
|statement=
Для любого конечного сильного упорядочивания <tex>\le \in XxXX\times X</tex> возможно определить такой функционал <tex> u: X \rightarrow Y :</tex> если <tex>a\le b</tex>, то <tex>u(a) \le u(b)</tex> и наоборот.
}}
Ограничения:
== Supervised алгоритмы ранжирования ==
