Professional Documents
Culture Documents
1. Grafoak
Grafoak eta zuhaitzak 1.1. Sarrera.
1.2. Definizioak.
1.3. Erpinen graduak.
Irakasgaia: Matematika Diskretua 1.4. Ibilaldiak grafoetan.
1.5. Grafoei lotutako matrizeak.
Titulazioa: Informatikaren Ingeniaritzako Gradua
1.6. Azpigrafoak, grafo osagarria.
Informatika fakultatea 1.7. Grafo isomorfismoa.
Donostia 1.8. Kate eta zirkuitu eulertarrak.
1.9. Bide eta ziklo hamiltondarrak.
2. Zuhaitzak
2.1. Sarrera.
2.2. Definizioak eta propietateak.
2.3. Errodun zuhaitzak.
1 2
Aplikazioak informatikan: sareen diseinua, zirkuitu integratuen • b erpina ertzaren amaiera da.
diseinua, etab. • Baldin a = b orduan (a, a) begizta da.
Erpin bakartua: ertz intzidenterik ez duena.
3 4
Definizioak 1.3. Erpinen graduak
Grafo ez zuzendua: ertzak erpin bikote ez ordenatuak dira. Ertzen
noranzkoa ez da kontuan hartzen, (a, b) ∈ E ⇒ (b, a) ∈ E . • G = (V , E ) grafo zuzendua eta a ∈ V erpina.
Ertz ez zuzendua: {a, b} = {(a, b), (b, a)}. a-ren graduerdiak:
Begizta: {a, a} = (a, a) d + (a) = #{b | (a, b) ∈ E }: jatorria a-n (irteera gr.).
d − (a) = #{b | (b, a) ∈ E }: amaiera a-n (sarrera gr.).
Izan bedi G = (V , E ) grafo zuzendua, dagokion grafo ez zuzendua:
a-ren gradua: d(a) = d + (a) + d − (a).
ertzen norantza kontuan hartu gabe G -tik lortutako grafoa (ertz
bakoitza behin bakarrik).
5 6
• x0 , x1 , · · · , xp erpinak;
Korolarioa
• e1 , · · · , ep ertzak. ei = {xi−1 , xi }
G = (V , E ) grafo ez zuzendua izanik, gradu bakoitiko erpin
kopurua beti bikoitia da. Ibilaldiaren luzera: ertz kopurua, p.
• Baldin p = 0 orduan x = y : Ibilaldi nabaria.
• Baldin x = y eta p ≥ 1: Ibilaldi itxia.
G = (V , E ) grafo ez zuzendu erregularra: erpin guztiek gradu bera • Baldin x 6= y : Ibilaldi irekia.
dute. k-erregularra: erpin guztiek k gradua dute.
7 8
Ibilaldiak grafoetan Ibilaldiak grafoetan
9 10
13 14
17 18
19 20
Bide eta ziklo hamiltondarrak Bide eta ziklo hamiltondarrak
Grafo hamiltondarra karakterizatzeko ez dago beharrezkoa eta
nahikoa den baldintzarik. Teorema
Teorema Izan bedi G = (V , E ) begizta gabeko grafo ez zuzendua, n ≥ 3
Izan bedi G = (V , E ) begizta gabeko grafo ez zuzendua n erpinekoa. Baldin
erpinekoa. Baldin
∀x, y ∈ V (x, y ez albokoak) d(x) + d(y ) ≥ n
∀x, y ∈ V (x 6= y ) d(x) + d(y ) ≥ n − 1
orduan G hamiltondarra da.
orduan G -k bide hamiltondarra du.
Korolarioa
Korolarioa G = (V , E ) begizta gabeko grafo ez zuzendua, n ≥ 3 erpinekoa.
Izan bedi G = (V , E ) begizta gabeko grafo ez zuzendua, n erpin Baldin
n
dituena. Baldin ∀x ∈ V d(x) ≥
n−1 2
∀x ∈ V , d(x) ≥
2 orduan G hamiltondarra da.
orduan G -k badu bide hamiltondarra.
21 22
κ(G − V ′ ) ≤ |V ′ |
Izan bedi T = (V , E ) begizta gabeko grafo ez zuzendua.
(G − V ′ = (V1 , E1 ) non V1 = V − V ′ eta E1 multzoan V ′ -ko
• Zuhaitza da baldin konektatua bada eta ziklorik ez badu.
erpinekin intzidente diren ertzak ezik gainontzeko E ko ertz guztiak
daude). • Basoa da baldin grafoaren osagai bakoitza zuhaitza bada.
• Grafo konektatu baten zuhaitz sortzaile esaten zaio zuhaitza
den azpigrafo sortzaile orori.
23 24
Zuhaitzak Zuhaitzak
2.2 Propietateak 2.2 Propietateak
Teorema Teorema
T zuhaitzaren edozein bi erpin a eta b, a 6= b emanik, a − b bide T zuhaitzak n ≥ 2 erpin baditu, orduan gutxienez 2 erpin
bat eta bakarra dago erpin hauen artean. zintzilikatu (bat gradukoak) ditu.
Ondorioz, T zuhaitzari ertz bat kenduz deskonektatu egiten da eta
zuhaitz diren bi osagai konektatu sortuko dira.
Teorema
Teorema Izan bedi G = (V , E ) begizta gabeko grafo ez zuzendua, n erpin
G grafo ez zuzendua izanik, G konektatua da baldin eta soilik eta m ertz dituena. Honakoak baliokideak dira.
baldin zuhaitz sortzailea badu. i) G zuhaitza da.
ii) G grafoak ez du ziklorik eta n = m + 1.
Teorema iii) G konektatua da eta n = m + 1.
T zuhaitzak n erpin eta m ertz baditu, orduan n = m + 1.
25 26