Эфективные системы синтеза графов с заданным множеством фундаментальных циклов или разрезов

)' ,ilK 5191765197 1422

B. llJ. POT K 0

3WK;raIOT npaBIlJlbHOCTb n OJlO>KeHllil. HCnOJlb30i E{I. 2.... . m}. Ha3b1BaeTCH nBy6JJo'lHoe pa36HeHHe B a H H ~ np H pa3pa60TKe aJJropHTMoB . S = {So. SI} MHolKecraa E raxoe, 'ITO Ci S So 1IJ11l Ct ,=SI. Onpeneaeua e 6. f,\HO>KeCTBa M W s M . U' Eto. I}. n OCTPOEHHE HEOPHEHTHPOBAHHOrO rPAllJA cososynaocrn M = {Cl' C2 1 ... . Cm} MHO>KeCTB CiS E C 3AAA HHbiM MHOlfiE CTBOM Ha3bIBaIOT CH 3aUenJiHI01UIlMHCH no C iE/vI, eCJIIl ,llJlH

KecTBa

6yneM 0603Ha 'laTb card

kH6E.PHETIlKA. 1986. 16 I

X.

M IC t = {CI CYl1leCTByeT

C,. ..· • CI_

1

Ci • Ci+I"-C l ... . , Cm Cd

cenaparop S = {So. S'}

TaK OH, 'I TO

w

M W={Cj EM IC j nS = 0 }, wE {O, I}. (lnp enenenu e 7. Ko~moHeH THoH xyrmocrn

M = {Cl' Ct• ... Cm}

Ha3bIBaeTCH rpeOOBaHHHM:

CBH3HOCTII

K

COBO-

MHO>KeCTB C, S E YJlOBJIeTBOpHlOmee CJIeJlYlOl1lllM I

L s E.

I) L = Ct. C, EM - KOMnOHeHTa CBH3HOCTH K; 2) eCJIIl L -KOMnOHeHTa CBH3HOCTH II L nC" =1= 0 .

C" EM.

TO L UC" Onpeneaeuue 8.

-

KOMnOHeHTa CBH3HOCTH KOMn oHeHTa CBH3HOC TII

K. K

Ha3b1.

39

lilIlf JI{-

,'vI ,

HblX nap .

= /VI,

I,VI)

04eBH)lHO, eCJIH M TO P (M npHHH raer 3Ha4eHHe «II CTIl HCU npu YCJiOBHU. 'I TO /\tt<ecTBO PernCHIlC nOCTaBJIC HHOU aana sa CBSl3a HO e noneKO)! 611HapHblx cenaparopo s . Ilpn n o eTpO CHHII IlX anropHTMa BocnOJlb3YCMell eJlCll.YIOUlHM yTBCp>tt<ecTBO MaKCllMaJlbHbIX KOMnOHeHT eB1l3HOCTli eOBO-

=

K)l1HOCT1l M IC MHO>KecTB ;Wy6.7JO'lHoe pa36HCHHC K .

l

C," ,C =t= 0 H {K0. K } Torna {Ko. Kl} coorsercr-

{ i}

[1,2.J,~.5}

{ ff}

{i,2,J,-:,5}

Puc. 2.

ayer

rpaq, C 33;1.31111L1M MHOlKCCTOOM

611llapHbli\ eenapaTOp

Ai HeopllCIITlI pooallllLlx

UK,•

{SO. 5 1}. rne SW=

K,EK'" n p OHJlJlIOeTp Hp y CM paoory anroparxa na npHMcp e . I. nYCTL COBo Ky m l oCTL M = {I . 2. 3. 4. 5) MIIOlKeCTB·

n pUMOp

{c.

f. e. h. i} . 4 = (d, f. h.

6YJl.eM 9J1CMellTbi MHO)Kecrna

M. SlBJlSlJOll(lIeCSl ra x ace

I = {a. i). 5 =

f. gJ. 2 = l b. f. g, h}. :; =

»cecrna

if

Ie, f. i} HIlTepnpetllpyetCSl KaK MHOlKeCTBO q,yH;J.a ICHram-nux pa apeaos rpaq,a . n OCTpOHM MHOlKCCTOO N' uenr p aasIIb1X paapeson rparpa , npcACTaB.1l'IJOll(erO 3aAaHHOC MIIOlKCCTBl> Ai q,YHJl.aMeHTaJlbIlLlx paap esoa . B l eCTO asuoro o n ucauas 101110 '

M.

9J1e\leHTaMH MHOlKeCTBa nOMeqaTb csepxy C1lMBOJlOM er o x x a•• Ilpouecc pa60TbI aJlr OplITMa HJlJlIOCTpllpyetCSl Ta6.1. 1. 3Aecb I _ HOMep urara npouecca , Q - aaaa H311 pyeMaSl co s o x y n aoct s MHOlKeCTB . C - sane namomee MHOJKeCTBO. QIC - peayuapoaan aas OTIIOCHTCJlbHO C co so xynuocrs Q IHOlKeCTO. K (QIC) Ko>mOH eHTbl CBSl3HOCTH QIC. S (Q) - 6HHapHble cenaparopu AJlSl Q. A (Q. C) - an sr ep aaraa uu e napu 3auenJl SlJOll(IIXCSl no C cOBoKy nHoCTell MHOlKeCTB .

P (QW) -

3HaqeHHSl npeaa x ara pea -

JlII3ye MOCTH cOBoKynHocT II ~UI MHOlKCCTB. R -