Gráf csúcsainak színezése. The Four-Color Theorem 4 szín tétel Appel és Haken bebizonyították, hogy minden térkép legfeljebb 4 színnel kiszínezhető.

Hasonló dokumentumok
SzA X/XI. gyakorlat, november 14/19.

Diszkrét matematika 2.

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

Algoritmusok bonyolultsága

Síkbarajzolható gráfok, duális gráf

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

Síkbarajzolható gráfok Április 26.

Diszkrét matematika 2.C szakirány

SzA II. gyakorlat, szeptember 18.

É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)

Gráfelméleti alapfogalmak

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

Gráfelmélet Megoldások

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

Diszkrét matematika 2.

Gráfelméleti feladatok programozóknak

Diszkrét matematika 2.

Diszkrét matematika 2.

Diszkrét matematika 2.C szakirány

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

Diszkrét matematika 2.

Ramsey-féle problémák

Gráfok színezése Diszkrét matematika 2009/10 sz, 9. el adás

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

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Gráfelmélet

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

Eötvös Loránd Tudományegyetem Természettudományi Kar. Gráfok színezése. BSc Szakdolgozat

KOMBINATORIKA ElŐADÁS Matematika BSc hallgatók számára. Klikkek gráfokban-1. Definíció. Egy G gráfban egy K V(G) csúcshalmazt klikknek nevezünk, ha K

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

Diszkrét matematika II. gyakorlat

Síkgráfok (négyszín-tétel, Kuratowski-tétel, Euler-formula)

Diszkrét matematika 2.C szakirány

Fazakas Tünde: Ramsey tételéről

Logika és számításelmélet. 11. előadás

Feladatok. 7. Tíz rabló a kincseit egy több lakattal lezárható ládában gyűjti. Az egyes lakatokat egy-egy

Gráfszínezési problémák és ütemezési alkalmazásaik

Szabályos gráfok paraméterei

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

Síkgráfok. 1. Részgráfok, topológikus részgráfok, minorok

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

Diszkrét matematika 2.C szakirány

Diszkrét matematika II. feladatok

1. tétel - Gráfok alapfogalmai

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

Ezután az első megoldásban látott gondolatmenettel fejezhetjük be a feladat megoldását. = n(np 1)...(np p+1) (p 1)! ( ) np 1.

Recski András Budapesti Műszaki és Gazdaságtudományi Egyetem,

46. ORSZÁGOS TIT KALMÁR LÁSZLÓ MATEMATIKAVERSENY NEGYEDIK OSZTÁLY

1. zárthelyi,

Ramsey tétele(i) gráfokra

Bevezetés a számításelméletbe II. 1. zh,

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

Gráfelméleti alapfogalmak

Modern irányzatok a bonyolultságelméletben: éles korlátok és dichotómia tételek

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

2. Visszalépéses keresés

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

Speciális gráfelméleti témák

PÁROS HOSSZÚ KÖRÖK GRÁFOKBAN

Diszkrét matematika 2.C szakirány

Természettudományi kar. szakdolgozat Matematika BSc Alkalmazott matematikus szakirány ELTE TTK

IV. Matematikai tehetségnap szeptember 28. IV. osztály

Gráfok csúcsszínezései

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

A zsebrádiótól Turán tételéig

Gráfelmélet/Diszkrét Matematika MSc hallgatók számára. Síkgráfok Előadó: Hajnal Péter

Gráfelméleti alapfogalmak

Színezések Fonyó Lajos, Keszthely

Optimalizálási eljárások MSc hallgatók számára. 11. Előadás

24. tétel. Kombinatorika. A grá fok.

Síkba rajzolható gráfok

Az Erd s-faber-lovász sejtés speciális gráfrendszereken. Szakdolgozat. Rácz Dániel. Matematika BSc Alkalmazott matematikus szakirány.

Kombinatorika és gráfelmélet

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

Bonyolultságelmélet. Monday 10 th October, 2016, 17:44

Bevezetés a számításelméletbe II. Zárthelyi feladatok április 23.

Algoritmuselmélet. Függvények nagyságrendje, elágazás és korlátozás, dinamikus programozás. Katona Gyula Y.

Gráfelméleti alapfogalmak-1

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

Gráfokról 5-8. osztályosoknak Erdős Gábor, Nagykanizsa

Hasonlósági keresés molekulagráfokon: legnagyobb közös részgráf keresése

segédlet a tavaszi előadáshoz

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

Erdős, Faber és Lovász sejtéséről

Séta, út, vonal, kör

4. Az ábrán egy királyi palota alaprajza látható. A király minden reggel az A jelű lakosztályából sétára indul a palotában. A

Szimuláció RICHARD M. KARP és AVI WIGDERSON. (Készítette: Domoszlai László)

1. Mennyi a dobókockák nem látható lapjain levő pontok ( számok ) összege? A ) 14 B ) 20 C ) 21 D ) 24

1. Szerencsére elmúlt a veszély, pánikra semmi ok. Luke Skywalker ugyan kivont lézerkarddal ment órára a jediképzőben, de a birodalmi gárda

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.

Alapfogalmak. Ha a gráf valamely két csúcsát egynél több él köti össze, akkor azt többszörös élnek nevezzük.

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

Gráfelméleti feladatok. c f

1. ZH javítókulcs ( ) felidézése nem jelenti automatikusan az adott pontszám megszerzését. Az adott részpontszám

Algoritmuselmélet. Függvények nagyságrendje, elágazás és korlátozás, dinamikus programozás. Katona Gyula Y.

(6) (4) (2) (3) (11) (3) (5) (21) (9) (7) (3) (4) (4) (7) (4)

1. ZH X A rendelkezésre álló munkaidő 90 perc.

Gráfalgoritmusok ismétlés ősz

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

Keresd meg a többi lapot, ami szintén 1 tulajdonságban különbözik csak a kitalált laptól! Azokat is rajzold le!

Átírás:

Gráf csúcsainak színezése Kromatikus szám 2018. Április 18. χ(g) az ún. kromatikus szám az a szám, ahány szín kell a G gráf csúcsainak olyan kiszínezéséhez, hogy a szomszédok más színűek legyenek. 2 The Four-Color Theorem 4 szín tétel Appel és Haken bebizonyították, hogy minden térkép legfeljebb 4 színnel kiszínezhető. Gráfok színezése Képzelt kontinens hány színnel tudjuk úgy kiszínezni, hogy szomszédos országok más színűek legyenek? 3 1

Térképek színezése Térképek színezése Térképek színezése Térképek színezése 2

Térképek színezése Térképek színezése Térképek színezése Térképek színezése 3

Térképek színezése 4-szín tétel Minden térkép kiszínezhető 4 színnel úgy, hogy a szomszédos területek más színűek lesznek. Haaken és Appel bizonyította számítógép segítségével, kb. 1000 órás futási idővel (1976), 2000 esetet vizsgáltak meg szisztematikusan, ami ellenpélda lehetett volna Újabb biz.: (?) http://www.math.gatech.edu/~thomas/fc/fourcolor. html (The Four Color Theorem) A térképszínezéstől a gráfszínezésig A térképszínezéstől a gráfszínezésig A probléma gráfelméleti megfogalmazása: Duális gráf: Minden területhez egy pontot rendelünk, ezek lesznek a gráf csúcsai, élek: ha a területek szomszédosak voltak: 4

A térképszínezéstől a gráfszínezésig A térképszínezéstől a gráfszínezésig Így kapjuk a duális gráfot: A térképtől a duális gráfig A térképtől a duális gráfig Duális gráf: 1) Minden terület belsejébe tegyünk egy pontot: Duális gráf: 2) A pontokat kössük össze a határt metsző vonallal: 5

A térképszínezéstől a gráfszínezésig A térképszínezéstől a gráfszínezésig Megrajzoljuk a duális gráfot: A térkép országainak színezése ekvivalens a duális gráf csúcsainak színezésével. Színezés Példa DEF: Egy egyszerű gráf n-színezhető, ha minden csúcsához hozzárendelhető úgy egy szín hogy két szomszédos csúcshoz rendelt szín különböző. Az egyszerű gráf kromatikus száma az a legkisebb szám, ahány színnel kiszínezhető. Ha a térkép nem színezhető ki két színnel, a duális gráfja sem: Tétel: Valamely gráf akkor és csak akkor páros, ha kromatikus száma 2. Így pl.: (K n,m )=2. K n =? Teljes gráfra =? 6

Példa Példa Ha a térkép nem színezhető ki 3 színnel, a duális gráf sem: A duális gráf 4 színnel kiszínezhető, a térkép is: 4-szín tétel gráfokra Egy ütemezési feladat megoldása gráf színezéssel Minden sík gráf kiszínezhető négy színnel EG:Hány különböző alkalmat kell kiírni az első vizsgákra, ha a kurzusoknak van közös hallgatóik? A lehető legtöbb vizsgát egy alkalommal szeretnénk tartani, mert kevés a felügyelő tanár Legyenek a tárgykódok pl: 1007, 3137, 3157, 3203, 3261, 4115, 4118, 4156 Tegyük fel, hogy az alábbi tárgyak esetében nincsenenek közös hallgatók: 1007-3137 1007-3157, 3137-3157 1007-3203 1007-3261, 3137-3261, 3203-3261 1007-4115, 3137-4115, 3203-4115, 3261-4115 1007-4118, 3137-4118 1007-4156, 3137-4156, 3157-4156 7

Egy ütemezési feladat megoldása gráf színezéssel Egy ütemezési feladat megoldása gráf színezéssel A probléma megoldása gráfszínezéssel: A csúcsok a kurzusok, az él pedig akkor legyen két kurzus között, ha van közös hallgató-ezeket nem lehet egyszerre tartani. 3203 3261 3203 3137 3261 4115 1007 3137 4115 4118 1007 4118 3157 4156 3157 4156 Gráf (csúcsainak) színezése Minden csúcshoz egy színt rendelünk Szomszédos csúcsok színe különböző Klasszikus probléma: NP komplett De vannak jó heurisztikák Regiszter allokáció gráf színezéssel Minden változó egy regiszterhez (CPU) van hozzárendelve Minden csúcs kap egy színt HA 2 hely interferál, nem kaphat uo. regisztert,pl. ha egy ciklusban futnak Ha két csúcs között van él, akkor különböző színnel kell színezni 8

1 egy színnel 2 színnel 9

Még mindig 2 színnel 3 színnel 10

Kromatikus szám Kromatikus szám: az a legkisebb szám, ahány színnel a gráf kiszínezhető Jele: Például páros körökre, páros gráfokra: (C 2k )=2 Például páratlan körökre: (C 2k+1 )=3 Páros gráfra? (Tétel: G acsa páros, ha (G)=?) Teljes gráfra? Klikk (olyan részgráf, mely teljes gráf) Heurisztika N színnel kiszínezni Ha fokszám < N=csúcsok száma A csúcsot mindig ki tudjuk színezni Minden csúcsot kiszínezünk, és a végén a kiindulásit Ha a fokszám >= N - lehet hogy ki lehet színezni N színnel Regiszter allokáció gráf színezéssel Minden változót egy regiszterben tárolunk Minden csúcs kap egy színt HA 2 hely interferál, nem kaphat uo. regisztert Ha két csúcs között van él, akkor különböző színnel kell színezni-ennyi regiszter kell Heurisztika a regiszter allokációhoz A hurkok kiértékelése gyorsabb: változókat a CPU-ban tároljuk ezek a csúcsok, él- ha egy időben kellenekannyi regiszter kell, ahány színnel ez a gráf kiszínezhető Távolítsuk el az alacsony fokszámú < N csúcsokat egy verembe Ha mindegyik csúcs fokszáma >= N Kiválasztunk egy csúcsot-erre nem lesz szín ELtávolítjuk Ha üres, elkezdjük a színezést Kiveszünk egy csúcsot Olyan színűre színezzük, amilyen a szomszédaitól különbözik, ilyen van mert fokszám < N) 11

12

13

14

15

16

17

18

Alkalmazások: DNA www.cs.purdue.edu/homes/dmdrake/cse397rna.ppt www.cs.unc.edu/~isenburg/slides/cpmcddp.ppt 5-szín tétel és bizonyítása Tétel: Ha G síkba rajzolható gráf, akkor (G)<=5 Biz. (1): Teljes ind. a gráf pontszámára Ha a gráfnak max 5 db csúcs van, akkor nyilvánvalóan kiszínezhető 5 színnel. TFH, n=k csúcsú gráf kiszínezhető 5 színnel N= k+1-re: VOLT: síkgráfokra: élek száma<=3n-6, következménye: van olyan csúcs, melynek fokszáma max 5. HA x foka=4, akkor x-et elhagyva a csúcsok száma eggyel csökken, tehát az ind. feltevés miatt ez kiszínezhető 5 színnel, visszavéve ezt a csúcsot, a szomszédait ki lehet színezni 4-gyel, +x, 5 szín! Ha x foka=5, akkor minden szomszédja nem lehet összekötve egymással, mert akkor K 5 részgráf lenne:-nem sík! Legyen z, y az x olyan szomszédjai, melyek nincsenek összekötve, ezeket vonjuk össze egy ponttá, hagyjuk el x-et. Az ind. feltevés miatt a maradék kiszínezhető 5 színnel. Visszavéve és szétszedve x-y-z csúcsokat, ezek kiszínezhetők max 3 színnel, hiszen x-nek összesen 5 szomszédja van, az y és z-kívüli csúcsok 3 színt lefoglalnak, de y és z egyszínű (nem szomszédok), marad egy szín x-nek. Ha a legkisebb fokszám 4 HA x foka=4, akkor x-et a rá illeszkedő élekkel együtt elhagyva a csúcsok száma eggyel csökken, tehát az ind. feltevés miatt ez kiszínezhető 5 színnel, visszavéve ezt a csúcsot, a szomszédait ki lehet színezni 4-gyel, +x, 5 szín! 76 19

Ha a legkisebb fokszám 5 Ha x foka=5, akkor x minden szomszédja nem lehet összekötve egymással, mert akkor K 5 részgráf lenne:-nem sík! Ha a legkisebb fokszám 5 Ha x foka=5, akkor minden szomszédja nem lehet összekötve egymással, mert akkor K 5 részgráfja lenne:-nem lehetne sík a gráf! Mer ge x y z egybe! yz 77 Legyen z, y az x olyan szomszédjai, melyek nincsenek összekötve, ezeket vonjuk majd össze egy ponttá, miután elhagytuk az x csúcsot az illeszkedő élekkel együtt. Ha a legkisebb fokszám 5 (folyt.) Legyen z, y az x olyan szomszédjai, melyek nincsenek összekötve, ezeket vonjuk össze egy ponttá, hagyjuk el az x csúcsot az illeszkedő élekkel együtt. Ekkor az ind. feltevés miatt a maradék gráf kiszínezhető 5 színnel. Az xy összevont pont kap egy színt amit meg is tartunk. (E pont fokszáma lehet nagyobb is az ábrán lévőnél, lényeg, hogy egy színe lesz!) yz x z 5 szín tétel Biz. (2): Tekintsük a max ötödfokú csúcsot, P. Ezt elvéve a gráf az ind. feltevés szerint kiszínezhető 5 színnel. Visszavéve, ha a szomszédjai csak 4 színnel vannak kiszínezve, az ötödik szín elegendő. y Visszavéve az x, és szétszedve az y-z csúcsokat, ezek kiszínezhetők max 3 színnel, hiszen x-nek összesen 5 szomszédja van, az y és z csúcsokon kívüli csúcsok 3 színt lefoglalnak, de y és z egyszínű (nem szomszédok), és még marad egy szín x-nek. 20

5-szín tétel Ha a szomszédjai 5 színnel (piros: Pp, lila: Pl zöld: Pz, kék: Pk, sárga: Ps) vannak színezve, át kell színezni: - vizsgáljuk pl. a gráf piros-zöld színnel színezett csúcsai által meghatározott részgráfot. Ebben szerepelnek a P ötödfokú csúcs Pz és Pp szomszédjai is. Ha ezek két különböző összefüggő komponensben vannak, akkor pl. Pz zöld színe kicserélhető pirosra, ha a Pz-t tartalmazó részgráf színezésében megcseréljük a színeket. Ezzel P szomszédjai csak 4 színűek. 5-szín tétel Ha Pz és Pp egyazon összefüggő komponensben vannak, akkor nem cserélhető ki egyik színe sem a másikra. Azonban ez esetben van köztük alternáló Pp-z-p-z-p-Pz út, ami a pz-p-pp úttal együtt KÖRT alkot. P minden szomszédja nem lehet e körön belül Válaszuk ki a azt a két csúcsot, melyek egyike a körön belül, másik a kívül van. E két szín által meghatározott részgráf nem lehet összefüggő, mert a p-z alternáló kört elvágná, ezért e két pont különböző komponensekben van: egyik színe kicserélhető a másikéra. 4 szín tétel Tétel: Ha G síkbarajzolható gráf, (G) 4 APPEL és HAKEN, 1977 21