Ruciński A Teoria Grafów 1, wyklad8

background image

WYKŁAD 8. Siła spójności

• Wierzchołek v nazywamy

wierzchołkiem

cięcia

grafu G, gdy podgraf G-v ma więcej

składowych spójności niż G.

• Krawędź e nazywamy

krawędzią cięcia

grafu G, gdy podgraf G-e ma więcej
składowych spójności niż G.

background image

Cięcia

• Mówimy, że zbiór X

wierzchołków

(

krawędzi

) grafu G jest cięciem

wierzchołkowym

(

krawędziowym

)

grafu G, gdy podgraf G-X jest
niespójny.

• Jeśli wierzchołki u i v należą do

różnych składowych spójności

podgrafu G-X, to mówimy, że

cięcie X

rozspójnia u i v w G

.

background image

Wierzchołki i krawędzie

cięcia

• Jeśli X={v} rozspójnia dwa wierzchołki

tej samej składowej grafu G, to v jest

wierzchołkiem cięcia

.

• Krawędź, która rozspójnia swoje końce,

to

krawędź cięcia

.

• Wierzchołek

(

krawędź

) cięcia stanowi

1-elementowe cięcie

wierzchołkowe

(

krawędziowe

), ale odwrotnie być nie

musi (

podać kontrprzykład

).

background image

k-Spójność

• Dla k

0, graf G jest

k-spójny

, gdy |

V(G)|>k i G nie ma cięcia
wierzchołkowego mocy mniejszej niż
k.

• Każdy graf jest 0-spójny.

• Każdy spójny graf oprócz K_1 jest 1-

spójny.

• Spójny graf G jest

2-spójny

, gdy |

V(G)|>2 i G nie ma wierzchołka
cięcia.

background image

Charakteryzacja grafów 2-

spójnych

Tw

. Graf G jest 2-spójny

wgdy

można go

otrzymać z cyklu przez sukcesywne

dodawanie ścieżek zaczepionych

obydwoma końcami w

dotychczasowym grafie,

tzn.

istnieje ciąg grafów H_1,...,H_l, gdzie

H_1 jest cyklem, H_l=G i dla każdego

i=2,...,l graf H_i jest sumą H_{i-1} i

ścieżki P_i o końcach u_i i v_i takiej, że

}

,

{

)

(

)

(

1

i

i

i

i

v

u

H

V

P

V

Dowód na ćw.

background image

Ilustracja

H_{i-1}

P_i

background image

Stopień spójności

• Dla k

0, graf G jest

k-spójny

, gdy |V(G)|

>k i G nie ma cięcia

wierzchołkowego mocy mniejszej niż k.

Stopień spójności κ(G)

to

największa

liczba całkowita k taka, że G jest k-spójny.

• Np. κ(G)=0 gdy G jest niespójny;

κ(K_n)=n-1 dla n=1,2,…

• Jeśli G nie jest grafem pełnym, to

κ(G)

jest mocą

najmniejszego

cięcia

wierzchołkowego w G.

background image

Krawędziowa k-spójność

• Graf G jest

k-krawędziowo-spójny

,

gdy |V(G)|>1 i G nie ma cięcia

krawędziowego mocy mniejszej niż k.

Stopień spójności krawędziowej κ’(G)

to największa liczba całkowita k taka,

że G jest k- krawędziowo-spójny.

• Równoważnie,

κ’(G)

to moc

najmniejszego cięcia krawędziowego

w G.

background image

Krawędziowa k-spójność a

RRD

• Jeśli G ma k RRD

(rozłącznych,

rozpiętych drzew),

to G jest k-

krawędziowo-spójny

(oczywiste).

• Jeśli G jest 2k-krawędziowo-spójny, to

G ma k RRD

(dowód na ćwiczeniach)

background image

κ(G), κ’(G), δ(G)

Twierdzenie (Whitney, 1932)

)

(

'

G

(G)

κ

κ(G)

Dowód:

Prawa nierówność:

Krawędzie incydentne z dowolnym

wierzchołkiem stanowią cięcie

krawędziowe.

Lewa nierówność

:

Jeśli G=K_n, to κ(G)=κ’(G)=n-1.

background image

Lewa nierówność – c.d.

• W grafie G nie będącym grafem pełnym niech

X będzie najmniejszym cięciem krawędziowym.

X można traktować jako zbiór krawędzi

dwudzielnego podgrafu grafu G z 2-podziałem

V_1, V_2=V(G)-V_1.

• Każda krawędź grafu G pomiędzy V_1 i V_2

należy do X.

V_1

V_2

X

background image

Lewa nierówność –

dokończenie

• Ponieważ

G

nie jest pełny a

|X| =

κ’(G)

δ(G)

, to istnieją

u

w

V_1

i

v

w

V_2

takie, że

uv

nie jest krawędzią w

G

.

(ćw.)

• Biorąc po 1 końcu każdej krawędzi

zbioru X, ale tak by ominąć u i v,
otrzymujemy cięcie wierzchołkowe
(rozspójniające u i v) mocy nie większej
niż |X|.

background image

Ilustracja

v

u

d(u)=δ

V_1

V_2

X

background image

Niezależne ścieżki

• Dwie u-v ścieżki (czyli ścieżki z u do

v) nazywamy

niezależnymi

, gdy ich

jedynymi wspólnymi wierzchołkami
są ich końce u i v.

• Jeśli istnieje k parami niezależnych

u-v ścieżek, to każde cięcie
wierzchołkowe rozspójniające u i v
musi mieć moc co najmniej k.

background image

Tw. Mengera dla pary

wierzchołków

Tw.1 (Menger, 1927).

Niech a i b będą

wierzchołkami grafu G.

(i) Jeśli a i b

nie są połączone krawędzią

,

to moc

najmniejszego

cięcia

wierzchołkowego, rozspójniającego a

i b, jest równa mocy

największego

zbioru niezależnych a-b ścieżek.

(ii) Moc

najmniejszego

cięcia

krawędziowego rozspójniającego a i b

jest równa mocy

największego

zbioru

krawędziowo rozłącznych a-b ścieżek.

background image

Globalne Tw. Mengera

Tw 2. (Menger, 1927)

(i) Graf jest k-spójny

(tzn.|V(G)|>k i G nie ma

cięcia wierzchołkowego mocy mniejszej niż k)

wgdy zawiera co najmniej k parami

niezależnych

ścieżek pomiędzy każdą parą

wierzchołków.

(ii) Graf jest k-krawędziowo-spójny

(tzn. |V(G)|

>1 i G nie ma cięcia krawędziowego mocy

mniejszej niż k)

wgdy zawiera co najmniej k

parami

krawędziowo rozłącznych

ścieżek

pomiędzy każdą parą wierzchołków.

background image

Dowód Tw. 2(i)

Jeśli G ma k niezależnych ścieżek między

każdą parą wierzchołków, to |V(G)|>k i G nie

może mieć cięcia wierzchołkowego mocy

mniejszej niż k.

Zatem G jest k-spójny

 Przypuśćmy, że k-spójny graf G zawiera

wierzchołki a i b nie połączone k

niezależnymi ścieżkami.

.

background image

Dowód Tw. 2(i)  c.d.

• Z Twierdzenia 1(i), ab jest krawędzią.

• Podgraf G’:=G-ab ma co najwyżej k-2

niezależne a-b ścieżki

.

• Ponownie z

Twierdzenia 1(i),

istnieje

cięcie wierzchołkowe X mocy |X|

k-

2 rozspójniające a i b w G’.

• Ponieważ |V(G)|

k+1, to istnieje w

G wierzchołek v taki, że

}

,

{ b

a

X

v

background image

Dowód Tw. 2(i) 

dokończenie

X rozspójnia w G’ wierzchołki v i a

lub b (powiedzmy a).

• Wtedy zbiór X powiększony o b

rozspójnia w G v i a, co przeczy k-
spójności G.



Dowód Tw. 2 (ii) – ćwiczenia!

background image

Ilustracja

a

b

X

v

background image

A-B ścieżki

i zbiory

rozdzielające

A,B – dowolne podzbiory V(G)
• Ścieżkę P w grafie G o końcach a i b

nazywamy

A-B ścieżką

, gdy

}

{

)

(

},

{

)

(

b

B

P

V

a

A

P

V

• Mówimy, że zbiór wierzchołków X
grafu G

rozdziela A i B

, gdy każda A-B

ścieżka zawiera wierzchołek z X.

background image

Ilustracja

A

B

X

background image

Tw. Mengera (1927)

Tw 3.

Niech A,B będą dowolnymi

podzbiorami V(G). Wtedy moc

najmniejszego

zbioru

rozdzielającego A i B równa się mocy

największego

zbioru rozłącznych A-B

ścieżek.

Bez dowodu

.

background image

Ilustracja

V_1

V_2

background image

Tw. Mengera dla pary

wierzchołków

Tw.1 (Menger, 1927).

Niech a i b będą

wierzchołkami grafu G.

(i) Jeśli a i b

nie są połączone krawędzią

,

to moc

najmniejszego

cięcia

wierzchołkowego, rozspójniającego a

i b, jest równa mocy

największego

zbioru niezależnych a-b ścieżek.

(ii) Moc

najmniejszego

cięcia

krawędziowego rozspójniającego a i b

jest równa mocy

największego

zbioru

krawędziowo rozłącznych a-b ścieżek.

background image

Dowód Tw. 1

(ćw.)

(i) Zastosuj Tw. 3 do A=N(a) i B=N(b) 

(ii)

Zastosuj Tw. 3 do grafu krawędziowego

L(G), A=E(a), B=E(b)



a

b

A

B

background image

Tw. Königa raz jeszcze

Wniosek 1 : Tw. Königa

Dowód:

Niech G będzie grafem 2-dzielnym

o 2-podziale (A,B). Zbiór rozdzielający to
pokrycie wierzchołkowe. Rozłączne A-B
ścieżki to skojarzenie. 

A

B


Document Outline


Wyszukiwarka

Podobne podstrony:
Ruciński A Teoria Grafów 1, wyklad6
Ruciński A Teoria Grafów 1, wyklad1
Ruciński A Teoria Grafów 1, wyklad10
Ruciński A Teoria Grafów 1, wyklad12
Ruciński A Teoria Grafów 1, wyklad4
Ruciński A Teoria Grafów 1, wyklad11
Ruciński A Teoria Grafów 1, wyklad2
Ruciński A Teoria Grafów 1, wyklad9
Ruciński A Teoria Grafów 1, wyklad5
Ruciński A Teoria Grafów 1, wyklad7
Ruciński A Teoria Grafów 1, wyklad3
Ruciński A Teoria Grafów 1, wyklad6
Ruciński A Teoria Grafów 1, wyklad1
Ruciński A Teoria Grafów 1, wyklad10
Ruciński A Teoria Grafów 1, wyklad12
teoria grafow wyklad
teoria grafow wyklad
formalizm juesej, Teoria Literatury [ wykłady prof. M. Kuziak], Teoria literatury

więcej podobnych podstron