DSC03355 (3)

148

1*9

■ujących są takie same Jak w 3-5*9* Uwaga ta dotyczy również rówoollcznośel zbiorów forsujących_v a także zabronionych figur grafowych, które obowiązują niezależnie od aktualnego stanu zasobu 1 mają postać forwul algebry logiki. Wagi *. X zostaną wprowadzone po wygenerowaniu-wszystkich dopuszczalnych stanów z poziomu stanów sąsiednich /por. schemat 3.42/•    Na podstawie

wag zostaną wybrane warianty /stany/ najbardziej perspektywiczne i punktu wtdaeola osiągnięcia stanu docelowego *4+4* .

Proceduro generowania wariantów rozpoczniemy od czynności /1/ i E9 tan. od określenia mocy i uporządkowania zbiorów formujących!

fili i 5.

|D,I ■ 1.

O5I • 5.

t

•)⁴1> jfe» *5 1 •

ą-IO»

•5 i 1*7' ^de* I •

H §    *11* ^121 • i®J =

■5 i Kj* ^-1$ > -    l|p - 2.

H • i**r •    iPd ■ ²*

®7 | 1*19* *20*    • l^l - 3.

po npertądlrowenltt otrzymujemy t

•1.    V °5* %• ®2 •

§ wyniku czynności /3/ 1 /*/ otrzymujemy:

| grupę podzbiorów formujących nr 1*

K- V    Sł⁵- i^d10* **11’ ^d*12)⁴* t^dl9- ^d20^f

• 1*17^ *ief» ł^ł² •

-    podzbiorów formujących nr 1.1 dla elementu <Ł|:

I^1¹» i^7*    sP^# ł^ił* •    •

KjP.K/M-mł².

S gąi pedzbioróe formujących nr 1.2 dla elementu dg ¹

-    grupę podzbiorów formujących nr 1.3 dla elementu dj :

{d₃}¹, {dy, dg, dgj³, ł<L,_ot <L,₁, 4,2)*, | ⁴19» ^20* jjjp|j '

t^di₅) , {(L,₇, d₁₈) |    |

(izynność /5/ nie pozwala na określenie BPP i 8*PP- ^a****^cia' pianie grup będziemy kontynuować względem zbioru formującego Dj. Po wykonaniu serii czynności /6/ i /7/ uzyskamy następujące grupy 1

-    grupę podzbiorów formujących nr 1.1.1 dla elementu dy t

Kf. IM⁵.    B^v®

/grupa SWPP/

-    grupę podzbiorów formujących nr 1.1*2 dla elementu d₀:

BI H Kił⁴. S H H S

/grupa BPP/*

-    grupę podzbiorów formujących nr 1.1-5 dla ^{olellentu d}9*

KP. ł<0³. Hi 11® H B B

/grupa BPP/,

-    grupę podzbiorów formujących nr 1.2.1 dla elementu d^ «

iW* ł^J³*    ^i)⁴ •    ł^i)^7, ^s)⁵ I !

KI².

•    grupę podzbiorów formujących nr 1.2.2 dla elementu d₀ 1

*    kf. 1!#. ii |1| M B

/grupa BPP/

-    grupę podzbiorów formujących nr 1*2.3 dl* elementu d^ 1

iw. K)³. Ko. |||    *K\²

/grupa BPP/

-    grupę podzbiorów formujących nr 1.3-¹ dla elementu 1 ł^y¹, łdy}⁵ , | d₁₀, d_11# d₁₂f f {*20* ^2l)⁷»

{*15)^ » i^d17⁶ • I^d|k}² •

-    grupę podzbiorów formujących nr 1.3-2 dla elementu d₀ 1

ł^djł¹. {‘‘ał^3, i^o* *11. *12)    ^19) I

1

⁴?)¹* I⁴?* V sP* I ^dK>»    * i ^211⁷ •