PuzzleUp 2017

[uvo]

Diese Sortierung definiert eine Äquivalenzrelation: zwei Zustände (t1, ..., t6) und (s1, ..., s6) sind äquivalent, wenn für beliebige i,j das Relationszeichen zwischen t_i und t_j dasselbe ist wie zwischen s_i und s_j, wenn also |t_i-t_j| = |s_i-s_j| ist.

Ich meinte natürlich nicht den Absolutbetrag, sondern die Vorzeichenfunktion (signum): (t1, ..., t6) und (s1, ..., s6) sind äquivalent, wenn für beliebige i,j gilt sgn(t_i-t_j) = sgn(s_i-s_j).