Andrew Krizhanovsky again  almost 8 years ago

Commit id: 1a720abd013ac1dfd550e617a28287aceed6921f

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 \{v\}  = S_1 \sqcup S_2$. Обозначим $sim_i=sim\{ S_1, S_2 \}$,   $sim^1_i = sim\{ S_1 \cup v, S_2 \}$,