Andrew Krizhanovsky proof  almost 8 years ago

Commit id: efb77e558403c9974a04866fe84c12eef7205b40

deletions | additions      

       

Легко видеть, что если $v \in Int S$, то $rank\ (v) = 2^{|S|-2}-1$ -- это число всех непустых дизъюнктных разбиений $(|S|-1)-$элементного множества $S\setminus \{v\}$, т.е. $rank\ (v)$ максимален и совпадает с числом Стирлинга второго рода: $\textstyle \lbrace{n\atop k}\rbrace = \lbrace{|S|\atop 2}\rbrace$, где n~--- мощность разбиваемого множества, а k~--- число подмножеств, здесь два.  -----------------  Взаимосвязь $IntS$ и ранга синонима в синсете $S$ сформулируем в виде теоремы. 

$$  \end{theorem}  \begin{proof}  Proof is left as an exercise to the reader. $v \in IntS \Leftrightarrow $  \end{proof}    \textbf{Следствие 1:} слова, попадающие в $IntS$, имеют больший ранг и значение центральности относительно других слов синсета $S$. (todo Это очевидно или требуется докозательство?)  -----------------------  \begin{definition}