0000011 2

17 rozpotrzonye przykładzie założono, że jokoóć wykonywania przez obiekt funkcji zależy tylko od podzbioru eprownych elementów, a mi od ich uporzodkowenla. Dlatego atruktura mogło być przedstawiono hiporgrafom niezorientowanym, w ogólnyo wypodku uporządkowanie eloaentów może mleć wpływ no Jokoóć działania obiektu i będzie konloczne poełużenio elf hlpergrofem zdefiniowanym w oensle ogólnyo. Na przykłod, wyotcpi to, gdy zołożyoy, że elesenty xCX sq okroólonyei operacjoml, które należy wy -konać w odpowiedniej kolejnoócl, oby wykonać zadania fig. Uszkodzenie eloeontu x nożna wtedy lntorpretować jako niemożliwość wykonania operacji x w określonych warunkoch. Gałęzie hlpergro-fu w eenele ogólnya tą skojarzone z odpowiednimi, wybranymi per-autacjaal eloaentów określonych podzbiorów zbioru X.

Rozdział 2

POOSTAIYOWE POŁCIA I OEFINICOE 2.1. Doflnlcje hipergrafu i grafu skończonego Woźny pod uwogę dwa dowolna zbiory skończona

X • |,x_n } - zbiór wierzchołków hiporgrafu,

U • (u₁,...,Uj,....u^J    - zbiór hipergałęzi

Elonenty tych zbiorów nazywo się olemontomi hipergrafu. Oeźell hiporgrof przedetowia strukturę eyetemu, to wierzchołki mogę roprozentować wyróżnione elementy eyetenu. natoniaet hiparga -łęzie będę roprozentowały elementy lub podzbiory olementów wieloczłonowych relacji określonych w zbiorze elementów modelowanego oyetoeowo obiektu.

Eloaentem wybranej n-członowej relacji Jeet uporządkowane n-ka wierzchołków hipergrafu. Można by więc zapisać hipergraf wypioujęc elementy wszystkich określonych relacji. Trudność stanowi jednak możliwość występowania różnych, z punktu widzenia eenou fizycznego, relocji o tej samej ilości członów. Wtedy upo-rzędkowana n-ka elementów nie określo jednoznacznie hipergałęzi. 2 drugioj otrony, niektóre alementy wieloczłonowej relacji nie euezę być rozróżniane, z punktu widzenia celu modelowania, 1 mogę woboc tego być utożsamione z jednę htpergałęzię. Oletego też Jeot konieczne wprowadzenie expliclte zbioru hlpergołęzi U. Przyjmiemy naotępujęcę, ogólnę definioję hipergrafu:

Hipergrofem skończonym nazwiemy trójkę upo -rzędkowanę

H ■< X, U. P>