next up previous
Next: About this document ... Up: Sorting - třídění Previous: Pole indexů, pořadí

Třídy ekvivalence

Chceme vytvořit pole CisTridEq[n] takové, že
$(j
\Leftrightarrow k) \Longleftrightarrow ({\tt CisTriEq[j] =
CisTridEq[k]}$. Tedy $j$ je ekvivalentní $k$, právě když jsou hodnoty pole CisTridEq v obou bodech stejné.

2 možnosti zadání

  1. Seznam podmínek, tedy vektory lista a listb. Tyto podmínky pro všechna $i = 1, \dots, M$ znamenají, že pokud ${\tt lista[i]} = j$ a ${\tt listb[i]} = k$, potom $j$ a $k$ jsou ekvivalentní.
  2. Boolovská funkce Equiv, pro kterou platí, že Equiv(j, k) = True, právě když $j$ je ekvivalentní $k$.



Jiri Limpouch
2000-03-29