Аноним

Декомпозиция на значительно удаленные пары: различия между версиями

Материал из WEGA
м
Строка 29: Строка 29:




Согласно определению в [3], для любых двух множеств A и B множество пар <math>\mathcal{P} = \{ P_1, P_2, ..., P_m ]} \;</math>, где <math>P_i = (A_i, B_i) \;</math>, называется попарной [[Decomposition|декомпозицией]] (A, B) (или A, если A = B) в случае, если
Согласно определению в [3], для любых двух множеств A и B множество пар <math>\mathcal{P} = \{ P_1, P_2, ..., P_m \} \;</math>, где <math>P_i = (A_i, B_i) \;</math>, называется попарной [[Decomposition|декомпозицией]] (A, B) (или A, если A = B) в случае, если


• Для всех значений индексов i верно Ai С A и Bi С B.
• Для всех значений индексов i верно <math>A_i \subseteq A \;</math>, <math>B_i \subseteq B</math>.


Ai \ Bi = ;.
<math>A_i \cap B_i = \empty</math>.


• Для любых двух элементов a 2 A и b 2 B существует уникальный индекс i, такой, что a 2 Ai и b 2 Bi. Будем говорить, что (a, b) покрывается парой (Ai, Bi).
• Для любых двух элементов <math>a \in A, b \in B \;</math> существует уникальный индекс i, такой, что <math>a \in A_i, b \in B_i \;</math>. Будем говорить, что (a, b) ''покрыты'' парой <math>(A_i, B_i) \;</math>.




4551

правка