Andrew Krizhanovsky i.e.  almost 8 years ago

Commit id: e48aef851ec7fdbbae75f0a1a50899e11ec1c9e8

deletions | additions      

       

Введём понятие \textbf{ранга синонима} $v\in S$.  Дизъюнктное разбиение на два множества, элемента разбиения, будем называть разбиением. Пусть $P_v= \{p_i, i=1,...,2^{n-2}-1\}$~--- множество всех пронумерованных каким-либо образом разбиений $(n-1)$--элементного множества $S\setminus \{v\}$, $n>2$.  Рассмотрим какое-либо разбиение $p_i$ множества $S \setminus \{v\}$ на подмножества $S_1$ и $S_2$, т.е. то есть  $S \setminus v = S_1 \sqcup S_2$. Обозначим $sim_i=sim\{ S_1, S_2 \}$,   $sim^1_i = sim\{ S_1 \cup v, S_2 \}$,