Diszkrét matematika 2.C szakirány

Hasonló dokumentumok
Diszkrét matematika 2.C szakirány

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2. estis képzés

Diszkrét matematika 1. estis képzés

Diszkrét matematika 2.C szakirány

Diszkrét matematika 1. estis képzés

Diszkrét matematika 2.

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.

Diszkrét matematika 2.C szakirány

1. tétel - Gráfok alapfogalmai

DISZKRÉT MATEMATIKA 2 KIDOLGOZOTT TÉTELSOR 1. RÉSZ

ELTE IK Esti képzés tavaszi félév. Tartalom

Diszkrét matematika 2.

DISZKRÉT MATEMATIKA 2

Diszkrét matematika 2 (C) vizsgaanyag, 2012 tavasz

Gráfelméleti alapfogalmak

SzA II. gyakorlat, szeptember 18.

Nagy Gábor compalg.inf.elte.hu/ nagy

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.C szakirány

Gráfelméleti feladatok. c f

bármely másikra el lehessen jutni. A vállalat tudja, hogy tetszőlegesen adott

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika 2.

Feladatok, amelyek gráfokkal oldhatók meg 1) A königsbergi hidak problémája (Euler-féle probléma) a

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika 2.

A számítástudomány alapjai

EGYSZERŰ, NEM IRÁNYÍTOTT (IRÁNYÍTATLAN) GRÁF

Gráfelmélet. I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma

Algoritmuselmélet. Mélységi keresés és alkalmazásai. Katona Gyula Y.

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor compalg.inf.elte.hu/ nagy

Diszkrét matematika 2. estis képzés

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Gráfalgoritmusok ismétlés ősz

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2.

Alapfogalmak a Diszkrét matematika II. tárgyból

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

1. Gráfok alapfogalmai

Nagy Gábor compalg.inf.elte.hu/ nagy

Diszkrét matematika 2.

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.C szakirány

30. ERŐSEN ÜSSZEFÜGGŐ KOMPONENSEK

Gráfok 2. Legrövidebb utak, feszítőfák. Szoftvertervezés és -fejlesztés II. előadás. Szénási Sándor

Euler tétel következménye 1:ha G összefüggő síkgráf és legalább 3 pontja van, akkor: e 3

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

HAMILTON KÖR: minden csúcson PONTOSAN egyszer áthaladó kör. Forrás: (

22. GRÁFOK ÁBRÁZOLÁSA

KOVÁCS BÉLA, MATEMATIKA I.

1. Gráfmodellek. 1.1 Königsbergi hidak (Euler, 1736)

Nagy Gábor compalg.inf.elte.hu/ nagy

Algoritmusok bonyolultsága

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét Matematika MSc hallgatók számára 7. Előadás Párosítási tételek Előadó: Hajnal Péter Jegyzetelő: Kovácsházi Anna

Érdemes egy n*n-es táblázatban (sorok-lányok, oszlopok-fiúk) ábrázolni a két színnel, mely éleket húztuk be (pirossal, kékkel)

5/1. tétel: Optimalis feszítőfák, Prim és Kruskal algorithmusa. Legrövidebb utak graphokban, negatív súlyú élek, Dijkstra és Bellman Ford algorithmus.

Példa Hajtsuk végre az 1 pontból a Dijkstra algoritmust az alábbi gráfra. (A mátrixban a c i j érték az (i, j) él hossza, ha nincs él.

Alapfogalmak II. Def.: Egy gráf összefüggő, ha bármely pontjából bármely pontjába eljuthatunk egy úton.

Diszkrét matematika alapfogalmak

Ramsey-féle problémák

1: Bevezetés: Internet, rétegmodell Alapok: aszimptótika, gráfok. HálózatokII, 2007

Diszkrét matematika I.

Minimális feszítőfák Legyen G = (V,E,c), c : E R + egy súlyozott irányítatlan gráf. Terjesszük ki a súlyfüggvényt a T E élhalmazokra:

Nagy Gábor compalg.inf.elte.hu/ nagy

Diszkrét Matematika 2 (C)

Nagy Gábor compalg.inf.elte.hu/ nagy

Számítógép hálózatok, osztott rendszerek 2009

HAMILTON ÚT: minden csúcson PONTOSAN egyszer áthaladó út

GRÁFELMÉLET. 7. előadás. Javító utak, javító utak keresése, Edmonds-algoritmus

Példa Hajtsuk végre az 1 pontból a Dijkstra algoritmust az alábbi gráfra. (A mátrixban a c i j érték az (i, j) él hossza, ha nincs él.

Sali Attila Budapest Műszaki és Gazdaságtudományi Egyetem. I. B. 137/b március 16.

III. Gráfok. 1. Irányítatlan gráfok:

Bonyolultságelmélet gyakorlat 06 Gráfos visszavezetések II.

Gráfelmélet jegyzet 2. előadás

Algoritmuselmélet. Bonyolultságelmélet. Katona Gyula Y.

Gráfelméleti alapfogalmak

26. MINIMÁLIS KÖLTSÉGŰ UTAK MINDEN CSÚCSPÁRRA

Algoritmuselmélet. Legrövidebb utak, Bellmann-Ford, Dijkstra. Katona Gyula Y.

Gráfelméleti feladatok programozóknak

definiálunk. Legyen egy konfiguráció, ahol és. A következő három esetet különböztetjük meg. 1. Ha, akkor 2. Ha, akkor, ahol, ha, és egyébként.

Diszkrét matematika 1. estis képzés

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Algoritmuselmélet 11. előadás

Diszkrét matematika I.

Algoritmuselmélet. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem. 13.

Megoldások 7. gyakorlat Síkgráfok, dualitás, gyenge izomorfia, Whitney-tételei

Átírás:

Diszkrét matematika 2.C szakirány 2015. ősz 1. Diszkrét matematika 2.C szakirány 3. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2015. ősz

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 2. Euler-vonal Álĺıtás Egy összefüggő, véges gráfban pontosan akkor van zárt Euler-vonal, ha minden csúcs foka páros. Bizonyítás : Legyen a zárt Euler-vonal a következő: v 0, e 1, v 1, e 2,..., v n 1, e n, v 0. A vonal kezdő- és végpontját leszámítva egy csúcs minden előfordulása esetén a mellette lévő két különböző él 2-vel járul hozzá a fokszámához. A kezdő- és végpont ugyanaz, ezért ennek is páros lesz a foka.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 3. Euler-vonal Bizonyítás : a bizonyítás konstruktív. Induljunk ki egy élt nem tartalmazó, zárt vonalból (v). Ha az aktuális zárt vonalban nem minden él szerepel, akkor az összefüggőség miatt van olyan csúcs (v ), amelyre illeszkedő élek közül nem szerepel mindegyik. Induljunk el ebből a csúcsból egy fel nem használt élen, és haladjunk tovább mindig fel nem használt éleken. Mivel minden csúcsra páros sok fel nem használt él illeszkedik, a továbbhaladás csak akkor nem lehetséges, ha visszaértünk v -be. Ha most az eredeti vonalon elmegyünk v-ből v -be, az új vonalon körbemegyünk, majd az eredeti vonalon haladunk tovább, akkor az eredeti vonalnál hosszabb, zárt vonalat kapunk, így ezt az eljárást ismételve véges sok lépésben megkapunk egy Euler-vonalat.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 4. Hamilton-út/kör Egy gráfban az olyan utat, amelyben a gráf minden csúcsa szerepel, Hamilton-útnak nevezzük. Egy gráfban az olyan kört, amelyben a gráf minden csúcsa szerepel, Hamilton-körnek nevezzük. Megjegyzés Mivel útban nincs csúcsismétlődés, ezért egy Hamilton-út a gráf minden csúcsát pontosan egyszer tartalmazza. Tétel (Dirac) Ha a G = (ϕ, E, V ) gráfra V > 2, és minden csúcsának a foka legalább V /2, akkor van Hamilton-köre. Bizonyítás NB.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 5. Címkézett gráfok Legyen G = (ϕ, E, V ) egy gráf, C e és C v halmazok az élcímkék, illetve csúcscímkék halmaza, továbbá c e : E C e és c v : V C v leképezések az élcímkézés, illetve csúcscímkézés. Ekkor a (ϕ, E, V, c e, C e, c v, C v ) hetest címkézett gráfnak nevezzük. Élcímkézett, illetve csúcscímkézett gráfról beszélünk, ha csak élcímkék és élcímkézés, illetve csúcscímkék és csúcscímkézés adott. Megjegyzés Címkézett gráf helyett a színezett gráf elnevezés is használatos.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 6. Címkézett gráfok C e = R, illetve C v = R esetén élsúlyozásról és élsúlyozott gráfról, illetve csúcssúlyozásról és csúcssúlyozott gráfról beszélünk, és a jelölésből C e -t, illetve C v -t elhagyjuk. Egy G = (ϕ, E, V, w) élsúlyozott gráfban az E E élhalmaz súlya e E w(e). Algoritmus(Kruskal) Egy élsúlyozott gráf esetén az összes csúcsot tartalmazó üres részgráfból kiindulva minden lépésben vegyük hozzá a minimális súlyú olyan élt, amivel nem keletkezik kör.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 7. Példa

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 8. Címkézett gráfok Tétel A Kruskal-algoritmus egy minimális súlyú feszítőerdőt határoz meg. Összefüggő gráf esetén minimális súlyú feszítőfát kapunk. Bizonyítás Elég összefüggő gráfra bizonyítani (Miért?). Összefüggő gráf esetén az algoritmus nyilván feszítőfát eredményez (Miért?). Indirekt tfh. van az algoritmus által meghatározott F feszítőfánál kisebb súlyú F feszítőfája a gráfnak. Ha több ilyen van, akkor válasszuk közülük azt, amelyiknek a legtöbb közös éle van F -fel. Legyen e olyan éle F -nek, ami nem éle F -nek. (Miért van ilyen?) Az F -hez e hozzávételével kapott gráfban van egy K kör (Miért?). Ezen kör tetszőleges e élére w(e) w(e ) (Miért?). Az F -ből az e törlésével kapott gráf nem összefüggő (Miért?), és pontosan 2 komponense van (Miért?). A K-nak van olyan éle (e ), aminek a végpontjai az F -ből az e törlésével kapott gráf különböző komponenseiben vannak (Miért?).

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 9. Címkézett gráfok Biz.folyt. Tekintsük azt a gráfot, amit F -ből az e törlésével és az e hozzávételével kapunk. Az így kapott gráf is feszítőfa (Miért?), és w(e ) < w(e ) esetén kisebb súlyú, mint F, míg w(e ) = w(e ) esetén ugyanakkora súlyú, de több közös éle van F -fel. Mindkét esetben ellentmondásra jutottunk. Egy algoritmust mohó algoritmusnak nevezünk, ha minden lépésben az adódó lehetőségek közül az adott lépésben legkedvezőbbek egyikét választja. Megjegyzés A Kruskal-algoritmus egy mohó algoritmus.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 10. Címkézett gráfok Megjegyzés A mohó algoritmus nem mindig optimális. Példa Keressünk minimális összsúlyú Hamilton-kört a következő gráfban. v 1 2 v 4 99 1 0 99 v 2 v 2 3

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 11. A G = (ψ, E, V ) hármast irányított gráfnak nevezzük, ha E, V halmazok, V, V E = és ψ : E V V. E-t az élek halmazának, V -t a csúcsok (pontok) halmazának és ψ-t az illeszkedési leképezésnek nevezzük. A ψ leképezés E minden egyes eleméhez egy V -beli rendezett párt rendel. Elnevezés ψ(e) = (v, v ) esetén azt mondjuk, hogy v kezdőpontja, v pedig végpontja e-nek. Bármely G = (ψ, E, V ) irányított gráfból kapható egy G = (ϕ, E, V ) irányítatlan gráf úgy, hogy ψ(e) = (v, v ) esetén ϕ(e)-t {v, v }-nek definiáljuk. Ekkor azt mondjuk, hogy G a G egy irányítása.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 12. Megjegyzés Az irányítatlan gráfokra definiált fogalmakat használni fogjuk irányított gráfok esetén is, mégpedig a megfelelő irányítatlan gráfra értve. Ha e e esetén ψ(e) = ψ(e ), akkor e és e szigorúan párhuzamos élek. Azon élek számát, amiknek a v csúcs kezdőpontja, v kifokának nevezzük, és deg + (v)-vel vagy d + (v)-vel jelöljük. Azon élek számát, amiknek a v csúcs végpontja, v befokának nevezzük, és deg (v)-vel vagy d (v)-vel jelöljük. Ha egy csúcs kifoka 0, akkor nyelőnek, ha a befoka 0, akkor forrásnak nevezzük.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 13. Álĺıtás A G = (ψ, E, V ) irányított gráfra d + (v) = d (v) = E. v V v V A G = (ψ, E, V ) és G = (ψ, E, V ) irányított gráfok izomorfak, ha léteznek f : E E és g : V V bijektív leképezések, hogy minden e E-re és v V -re v pontosan akkor kezdőpontja e-nek, ha g(v) kezdőpontja f (e)-nek, és v pontosan akkor végpontja e-nek, ha g(v) végpontja f (e)-nek.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 14. A C n irányított ciklus a C n ciklus olyan irányítása, melyben az élek irányítása azonos (minden csúcs befoka és kifoka is 1). A P n irányított ösvény C n+1 -ból valamely él törlésével adódik. Az S n irányított csillag az S n csillag olyan irányítása, melyben a középső csúcs nyelő, az összes többi pedig forrás. Adott csúcshalmaznál az irányított teljes gráfban tetszőleges v és v különböző csúcsokhoz található pontosan egy olyan él, aminek v a kezdőpontja és v a végpontja. K n nem K n irányítása, sőt nem is egyszerű gráf, ha n > 1. Példák K 3 C 4 P 3 S 4

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 15. A G = (ψ, E, V ) irányított gráfot a G = (ψ, E, V ) irányított gráf irányított részgráfjának nevezzük, ha E E, V V és ψ ψ. Ekkor G-t a G irányított szupergráfjának hívjuk. Ha a G irányított részgráf mindazokat az éleket tartalmazza, melyek kezdőpontjai és végpontjai V -ben vannak, akkor G -t a V által meghatározott feszített irányított (vagy teĺıtett irányított) részgráfnak nevezzük. Ha G = (ψ, E, V ) irányított részgráfja a G = (ψ, E, V ) irányított gráfnak, akkor a G -nek a G-re vonatkozó komplementerén a (ψ E\E, E \ E, V ) gráfot értjük.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 16. Ha G = (ψ, E, V ) egy irányított gráf, és E E, akkor a G-ből az E élhalmaz törlésével kapott irányított gráfon a G = (ψ E\E, E \ E, V ) irányított részgráfot értjük. Ha G = (ψ, E, V ) egy irányított gráf, és V V, akkor legyen E az összes olyan élek halmaza, amelyeknek kezdőpontja vagy végpontja valamely V -beli csúcs. A G-ből a V csúcshalmaz törlésével kapott irányított gráfon a G = (ψ E\E, E \ E, V \ V ) irányított részgráfot értjük.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 17. Legyen G = (ψ, E, V ) egy irányított gráf. A v 0, e 1, v 1, e 2, v 2,..., v n 1, e n, v n sorozatot irányított sétának nevezzük v 0 -ból v n -be, ha v j V 0 j n, e k E 1 k n, ψ(e m ) = (v m 1, v m ) 1 m n. Ha v 0 = v n, akkor zárt irányított sétáról beszélünk, különben nyílt irányított sétáról. Ha az irányított sétában szereplő élek mind különbözőek, akkor irányított vonalnak nevezzük. Az előzőeknek megfelelően beszélhetünk zárt vagy nyílt irányított vonalról.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 18. Ha az irányított sétában szereplő csúcsok mind különbözőek, akkor irányított útnak nevezzük. Egy legalább egy hosszú zárt irányított vonalat irányított körnek nevezünk, ha a kezdő- és végpont megyegyeznek, de egyébként az irányított vonal pontjai különböznek. Egy irányított gráfot erősen összefüggőnek nevezünk, ha bármely csúcsából bármely csúcsába vezet irányított út.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 19. A G = (ψ, E, V ) irányított gráf esetén V elemeire vezessük be a relációt: v v pontosan akkor, ha G-ben vezet irányított út v-ből v -be, és v -ből is vezet irányított út v-be. A ekvivalenciareláció (Miért?), így meghatároz egy osztályozást V -n. A csúcsok egy adott ilyen osztálya által meghatározott feszített irányított részgráf az irányított gráf egy erős komponense. Megjegyzés Az irányítatlan gráfokkal ellentétben nem feltétlenül tartozik az irányított gráf minden éle valamely erős komponenshez. Megjegyzés Nyilván egy irányított gráf akkor és csak akkor erősen összefüggő, ha minden csúcs ugyanabba az osztályba tartozik, azaz ha csak egyetlen erős komponense van.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 20. Az irányított fa olyan irányított gráf, amely fa, és van egy csúcsa, amelynek befoka 0, továbbá az összes többi csúcs befoka 1. Azt a csúcsot, amelynek befoka 0 gyökérnek nevezzük. Az olyan csúcs, aminek a kifoka 0 a levél. Álĺıtás A gyökérből bármely adott csúcsba vezető egyetlen út egyben irányított út is. Bizonyítás Az út hossza szerinti TI: ha az út hossza n = 1, akkor azért lesz irányított út, mert a gyökér befoka 0. Tfh. n = k-ra teljesül az álĺıtás. Vegyünk egy olyan v csúcsot, amibe vezető út hossza k + 1. Az útból elhagyva v-t és a rá illeszkedő e élt egy k hosszú utat kapunk, amiről az indukciós feltevés értelmében tudjuk, hogy ir. út. v nem lehet e kezdőpontja, mert akkor az e-re illeszkedő másik csúcs befoka legalább 2 lenne.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 21. A gyökérből egy adott csúcsba vezető út hosszát a csúcs szintjének hívjuk. A csúcsok szintjeinek maximumát az irányított fa magasságának nevezzük. ψ(e) = (v, v ) esetén azt mondjuk, hogy v a v gyereke, illetve v a v szülője. Ha két csúcsnak ugyanaz a szülője, akkor testvéreknek hívjuk őket. Bármely v csúcsra tekinthetjük azon csúcsok halmazát, amelyekhez vezet irányított út v-ből. Ezen csúcsok által meghatározott feszített irányított részgráfot (amely irányított fa, és v a gyökere) v-ben gyökerező irányított részfának nevezzük.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 22. Algoritmus (Dijkstra) A G = (ψ, E, V, w) élsúlyozott irányított gráfról tegyük fel, hogy az élsúlyok pozitívak, s V és T V. (1) Legyen S =, H = {s} és d(s) = 0; minden más v csúcsra legyen d(v) = (2) Ha T S vagy H =, akkor az algoritmus véget ér. (3) Legyen t H egy olyan csúcs, amelyre d(t) minimális. Tegyük át t-t S-be, és minden e élre, amely t-ből v V \ S-be vezet, ha d(t) + w(e) < d(v), akkor legyen d(v) = d(t) + w(e), és ha v / H, tegyük át v-t H-ba. Menjünk (2)-re. Tétel A Dijkstra-algoritmus a csúcshalmazon értelmez egy d : V R függvényt, amely t T esetén az adott s csúcsból a t csúcsba vezető irányított séták minimuma (, ha nincs ilyen séta).

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 23. Bizonyítás Az S elemszáma szerinti indukcióval megmutatjuk, hogy: 1 minden t S-re d(t) az s csúcsból a t csúcsba vezető irányított séták súlyának minimuma; 2 ha v H, akkor minden olyan s-ből v-be vezető irányított sétának, amelynek v-n kívül minden csúcsa S-ben van a súlya legalább d(v). Inicializálás után ezek nyilvánvalóak. Tegyük fel, hogy (3)-ban t H-t választottuk, és tekintsünk egy tetszőleges s-ből t-be vezető irányított sétát, aminek a súlya W, továbbá legyen t a séta első olyan csúcsa, amely nincs S-ben. A séta s-ből t -ig vivő részének W súlyára W W (Miért?), az indukciós feltevés második része szerint d(t ) W, és mivel t-t választottuk d(t) d(t ), így d(t) W, amivel az álĺıtás első részét beláttuk.

Gráfelmélet Diszkrét matematika 2.C szakirány 2015. ősz 24. Biz.folyt. Miután (3)-ban a d(v) értékeket megváltoztattuk, ha egy séta s-ből v-be visz, és csak az utolsó csúcsa nincs S-ben, legyen t az utolsó előtti csúcsa, e pedig az utolsó éle. Mivel t S, az s-től t -ig vezető részséta súlya legalább d(t ), így a teljes súlya legalább d(t ) + w(e), és amikor t -t bevettük S-be legfeljebb ennyire álĺıtottuk d(v) értékét, azóta pedig csak csökkenhetett.