Andrew Krizhanovsky rm amp  almost 8 years ago

Commit id: f49b17187b126a69a51438edb13afcb2794fa5d2

deletions | additions      

       

\begin{equation}  %\begin{align*}  v \in IntS   &\mathrel{\mathop{\Leftrightarrow}^{\mathrm{(1)}}} \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(1)}}}  % see (\ref{eqn:eq_short_ints}), \forall p_i: Int S = \{v \in S: sim^1_i > sim_i \ \wedge \ sim^2_i > sim_i \} \ \ (v\ \text{сближает}\ S_1\ \text{и}\ S_2) \ \   \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(2)}}} \\ % see (\ref{eqn:eq_rv_pi_definition}),  &\mathrel{\mathop{\Leftrightarrow}^{\mathrm{(2)}}} \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(2)}}}  \forall p_i: r_v (p_i) = 1  \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(3)}}} % see (\ref{eqn:eq_synonym_rank}),  rank\ (v) = \sum_{i=1}^{|P_v|} 1 = |P_v| = 2^{|S|-2}-1, %\end{align*} \end{equation}  todo ref  Поскольку $2^{|S|-2}-1$~--- это максимально возможное число непустых дизъюнктных разбиений, совпадающее с числом Стирлинга второго рода~\cite[с.~24]{Baranov_Stechkin_2004}.   \end{proof}