9.6. Сумма ВС

Пусть имеются N ВС vs1 .. vsN (не обязательно различных) и N состояний k1 .. kN одного массива sel таких, что произведением ВС vsi на соответствующее ему состояние ki является некая ВС

vsi* = vsi ✖ ki

Тогда суммой vs0 указанных слагаемых vs1 .. vsN

vs0 = (vs1 ✚ … ✚ vsN)k1, … ,kN = ∑sel(vsi), (i = 1..N)

с ключами k1 .. kN селектора sel называется ВС vs0, чьими состояниями [vs0] является объединение множеств указанных vsi*

[vs0] = [vs1*] ∪ .. ∪ [vsN*] = ⋃[vsi*] = ⋃[vsi ✖ ki], (i = 1..N)

поскольку, очевидно, для такого объединения существует дерево сборки.

В таком случае, то есть когда для ВС vs1 .. vsN существует некая сумма на sel, можно говорить, что эти ВС являются ЛИБО-связанными, находятся в отношении ЛИБО (на селекторе sel !).

Так определённой сумме соответствуют

Назад Вперёд