Andrew Krizhanovsky proof with (1) without link  almost 8 years ago

Commit id: bf052f3dc30de23a1cc66571ce96a99c5479729d

deletions | additions      

       

\begin{theorem}[IntS theorem]  \label{IntSrem}  Слово (или "синоним"?) $v$ принадлежит внутренности синсета $S$ тогда и только тогда, когда это слово обладает максимально возможным рангом в данном синсете, этот ранг совпадает с числом Стирлинга второго рода.Синсет $S$ по определению содержит больше одного слова, внутренность синсета $IntS$ определена для синсетов, содержащих три и более слов.  $$  v \in IntS   \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(1)}}}   rank\ (v) = 2^{|S|-2}-1,\ \ |S| \geqslant 3,  $$  При этом внутренность синсета $IntS$ определена для синсетов, содержащих три и более слов, поскольку для вычисления $IntS$ множество $S$ нужно разбить на три части: $S \setminus \{v\} = S_1 \sqcup S_2$.  \end{theorem}  \begin{proof}  $v $$  v  \in IntS \Leftrightarrow $ \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(1)}}} %  см. (\ref{eqn:eq_short_ints}),$  \forall p_i: Int S = \{v \in S: sim^1_i > sim_i \ \wedge \ sim^2_i > sim_i \} $ $$    \end{proof}