Andrew Krizhanovsky IntS more compact definition!  almost 8 years ago

Commit id: d06ad743134b452cf376eaa706b47765c9da6669

deletions | additions      

       

Обозначим $sim_i=sim\{ S_1, S_2 \}$,   $sim^1_i = sim\{ S_1 \cup v, S_2 \}$,  $sim^2_i = sim\{ S_1, S_2 \cup v \}$.   При этом получаем более компактное определение внутренности$Int S$ синсета $S$   $$  Int S = \{v \in S: sim_i < sim^1_i \ \wedge \ sim_i < sim^2_i\}  $$  Введем функцию $r_v: P_v\rightarrow \{-1, 0, 1\}$ следующего вида:  $$