DSC03351 (3)

wietych stanów - 160. Tej ostatniej wartości nie można jednak obilosy6 sa pomocą Żadnego wzoru, ponieważ wynika ona bezpośrednio a własności topologicznych zabronionych figur grafowych bodących aodelaai kolizji apriorycznych /por. schemat 3*59/• Dc określenia wszystkich dopuszczalnych wierzchołków grafu stanów zastosujewy wariant rozszerzonej techniki AlDA. Zabronione figury grafowe zapiszemy w postaci funkcji algebry logiki.

Zgodnie z techniką AIDA generowanie dopuszczalnych wierzchołków grafu stanów obejmie: /*!/ zbudowanie modelu grafowego przestrzeni decyzyjnej, /2/ dekompozycjo modelu grafowego na warianty stabilnych wewnętrznie podzbiorów formujących. Przestrzeń decyzyjna będzie zawierać następujące obszary decyzyjne /zbiory formujące/*

D - opis położenia kostki nr 1

= a, dg * b, d* * c } ,

gdzie fil fs a oznacza, że kostka nr 1 znajduje się na polu a; pozostałe dj - analogicznie;

ZX> - opis położenia kostki nr 2

gjgj i {dj ■«, d| » b, d| = c } ,

Dj - opis położenia kostki nr 3

^*{<*7 “O. o| = ^b> ^d!“^cJ'

D- - opis położenia kostki nr 4

^D* ■ {*io ⁼ *• *11 * ^b* *12 ^{s c}) •

gg - opis wzajemnego położenia kostek 1_v2

HU -    - 1/2, d^ * 2/1,    d^₅ » 0 } ,

gdzie    *    1/2 oznacza, że kostka nr 1 znajduje się nad kostką

ar | |    = 0 - kostki na rożnych polach, pozostałe d^ - ant*

logiezalet

Bj* - opla wzajemnego położenia kostek 2, 3

D| - opla wzajemnego położenia kostek 5. <*

n? | {a?9 ■ 3/*,    | 4/j,    11}.

Blementy należące do Jednego zbioru formującego są względem siebie alternatywne /wymóg techniki AIDA/. Alternatywne są również niektóre zespoły elementów należących do różnych zbiorów formujących /kolizja aprioryczna/. Wszystkie alternatywne sle-oonty łączymy krawędziami.

Ponieważ niektóre elementy zbiorów formujących są alternatywne nie w stosunku do pojedynczych elementów innych zbiorów, lecz do podzbiorów tych elementów, zabronione figury grafowe zapiszemy w postaci zestawienia funkcji algebry logiki.

fj A	4) ^v	(4	A 4) V f!| A d|).	|
(4 ^A	4) v	(4 '	^k 4)v (4 i lii 4)
(4 ^A	S	(4 ^1	1 40^v (d| A 4a1 =4i
(4 i	d|) I 1	[Ą A	d|)V (4 A 4) V
v (4	A d£)v	(4 A	33l a 4) | H <	1
(4 ^A	^AI)V	(4 ^A	4) V (d| A 4)v
v (4	A 4)V	(4 ^A	|1 V (a| 1 4)m d®6, <	^i617
(4 A		(«7 a	42)V (d| A 40) V
v(4	A di2	:)v(d|	a 4o>^v (4 ^A 4) I	I-

gdzie zapis (d!j A d|)V... & oznacza, że element d^j e gs Jest alternatywny Jednoczesnemu wystąpieniu elementu d^ e | elementu d? e D₂< Na modelu grafowym przestrzeni decyzyjnej /schemat 5.jy/ nie zaznaczono zabronionych figur grafowych ze względu na ich złożoną postać logiczną*