Раздел: Документация
0 ... 34 35 36 37 38 39 40 ... 96 -определяется состав унитарных цветов, реализуемых телами, входящими в матрицу [A+k х A(f)+k ]; этот состав и будет раскраской f(A)+k множества IJAS+k. -в булеву матрицу [А х f(A)] исходного ЛА5-множества добавляется строка ak и столбцы, соответствующие новым унитарным цветам, появившимся в f(A)+k; в результате будет построена матрица [A+k х f(A)+k ] унитарных цветов нового множества IJAS+k. В результате множество IJAS+k будет полностью определено, поскольку компоненты A+k, f(a)+k и [A+k х f(a)+k ] вычисляются ранее. Раскраска включаемого в IJAS элемента ak также разделяется на части fa(ak)и f(ak), вычисляемые по формулам (2.95), (2.96). В свою очередь, состав цветов fA(ak) разделяется на группу цветов fA(ak)p, обладающих свойством (2.97), и группу цветов fA(ak)N, обладающих свойством (2.98). Хотя цвета обеих групп соответствуют одноименным унитарным цветам конечного множества IJAS+k , цвета группы fa (ak )р влияют па существование одноименных унитарных цветов f(A)+k и ak входит в составы тел этих цветов, а цвета группы fa (ak ) не влияют на существование одноименных унитарных цветов f(A)+k и ak ие входит в составы тел этих цветов. Цвета исходного множества ЛА5, конечного множества IJS+k и включаемого в П S элемента ak также разделяются на характерные группы, расположенные в разных зонах диаграмм Венпа (рис.2.4). Группе цветов FC4)7 , существующей в f(A)+k только за счет нового элемента ak , соответствуют две зоны в диаграмма Венна: зона f(A)k, вычисляемая по формуле f(A)[k =ЯЛ) л fA(ak)p =F(a)[k v F(a),(2.130) где f(a)[k =f(a)afA(ak)p,(2.131) и зона f(a)k, вычисляемая по формуле f(a)v =f(a) a fA(ab)p a f(A\(2.132) +k£Y к  Сравнение этих формул с формулами (2.100), (2.101) и (2.102) показывает содержательное различие между ними: при исключении элемента ak зоны Fia)1 и F(a)k определяются в зависимости от раскрасок F(a) k и F(A) k конечного множества F[AS k, а при включении элемента ak - в зависимости от раскрасок F(a) и F(A) исходного множества ЯЛ5. Содержание же самих зон в обоих случаях аналогично: тела унитарных цветов, одноименных цветам из Ff(a)r+k и F(a)k, состоят из одного элемента ak ; при этом в составе F(a) отсутствуют цвета других элементов, одноименные цветам F(a)r+ , но есть цвета, одноименные цветам F(a) . + r Группа цветов F(A)1 , существующих в F(A)+k за счет элемента ak и других элементов исходного /7Л5-множества, вычисляется по формуле: fc4) = F(A) л FA (ak )р = F (а)1.(2.133) В составе цветов F(a)+k, одноименных унитарным цветам F(A)+k , могут быть цвета, одноименные цветам F(ak, не входящим в FA(ak)p, вычисляемые по формуле: F(a)l[ =F(A)AF(ak)AFA(ak)p.(2.134) Группа цветов F(A)+£ , существующих в F(A) и F(A)+k только за счет других элементов, не считая присоединяемый элемент ak, вычисляется по формуле: FGl)™ = F(a)rkr 1 v F{a)vJk,(2.135) где F(a)"k вычисляется по формуле F(a)[rl =ЯЛ) л F(ak) = ЯЛ)+* л F(e) л F<n)™. (2.136) Общий состав унитарных цветов конечного множества Л S+k является объединением всех цветов, входящих в группы F(A)r k, F{A)n. и F(A)rl[, и вычисляется по формуле (3.120), +к+к Группа цветов F(A)k , вообще не существующих ни в F(a), ни в F(A)+k, состоит из цветов Яя)+£> не имеющих одноименных унитарных цветов в раскраске F(A)+k: F(A)[vk =F(a)+k v HA)+k(2.137) или F(A)[Vk = F(a)+k v F(a)™ v Fia)™1 v F<n)J*.(2.138) В этой формуле: F(a)™ =F(a) a F(ak) a F(A),(2.139) F(a)v™ =F(a) a F(ak) a F(A) a FA(ak)p,(2.140) F(a)[xk =F(ak)AF(ak)AFA(ak)p.(2.141) Рассмотрим Л£-множество с составом компонентов (2.16) и множество FlSi с составом компонентов nSi = (А;Яя);,ЯЛ),,[Л; х F(a)iUAi х F(A)i]9[Ai * ЖЯ,-]), (2.142) которое будет подмножеством IJS и обозначается Я5; с Я5. Состав компонентов (2.142) подмножества ITSj определяется как результат исключения из Я5-множества (2.16) элементов ak е А, не вошедших в состав А{ и образующих подмножество 0 ... 34 35 36 37 38 39 40 ... 96
|
