this is for holding javascript data
Andrew Krizhanovsky + flalign
almost 8 years ago
Commit id: 0513f0448c7c01aa6bb475720b3cbfad3ac1ae8d
deletions | additions
diff --git a/Rank & centrality.tex b/Rank & centrality.tex
index de867aa..0dd68d6 100644
--- a/Rank & centrality.tex
+++ b/Rank & centrality.tex
...
\end{theorem}
\begin{proof}
\begin{equation} %\begin{equation}
% \begin{aligned}
\begin{flalign}
v \in IntS
\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) \ \
...
\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 = d,
% \end{aligned}
\end{equation} %\end{equation}
\end{flalign}
Поскольку $d$~--- это максимально возможное число непустых дизъюнктных разбиений. (+todo? ссылку на работу с описанием числа Стирлинга второго рода?)
\end{proof}