Andrew Krizhanovsky r p_i -> r_v p_i  almost 8 years ago

Commit id: bce2e51ff0505168d69c1ec7ef3d17cd508ac3cb

deletions | additions      

       

$sim^1_i(v)=sim\{ S_1 \cup v, S_2 \}$,  $sim^2_i(v)=sim\{ S_1, S_2 \cup v \}$.   Введем функцию $r: $r_v:  P_v\rightarrow \{-1, 0, 1\}$ следующего вида: $$  r(p_i) r_v (p_i)  = \begin{cases} \ \ -1, & sim^1_i(v) < sim_i \bigwedge sim^2_i(v) < sim_i, \\  \ \ 1, & sim^1_i(v) > sim_i \bigwedge sim^1_i(v) > sim_i, \\   \ \ 0, & (sim^1_i(v) - sim_i) \cdot (sim^2_i(v) - sim_i) < 0 \end{cases} 

$(sim^1_i(v) - sim_i) \cdot (sim^2_i(v) - sim_i) < 0$   эквивалентно и является компактной записью для   $(sim^1_i(v) < sim_i \wedge sim^2_i(v) > sim_i) \bigvee (sim^1_i(v) > sim_i \wedge sim^2_i(v) < sim_i)$.   Другими словами функция $r(p_i)$ $r_v (p_i)$  дает значение $0$, если добавление слова $v$ одному из элементов разбиения $p_i$ уменьшает (увеличивает) расстояние $sim_i$, а добавление ко второму элементу~--- наоборот~--- увеличивает (уменьшает) расстояние $sim_i$. То есть элемент $v$ действует на множества в "противофазе". На рис.~\ref{fig:SynsetSetsRank} это разбиения 2 и 3.  \begin{definition}