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

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

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

Diszkrét matematika 2. 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.C szakirány

Diszkrét matematika 2.

Diszkrét matematika 2.C szakirány

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

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

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

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.C szakirány

Ramsey-féle problémák

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

SzA II. gyakorlat, szeptember 18.

30. ERŐSEN ÜSSZEFÜGGŐ KOMPONENSEK

Adatszerkezetek 2. Dr. Iványi Péter

Algoritmusok bonyolultsága

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

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

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

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

Gráfelméleti feladatok programozóknak

Gráfelméleti feladatok. c f

Diszkrét matematika 2.

Síkbarajzolható gráfok Április 26.

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

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.

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

Gráfelméleti alapfogalmak

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

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

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

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

1. tétel - Gráfok alapfogalmai

Diszkrét matematika 2.

Alap fatranszformátorok II

Diszkrét matematika 2.C szakirány

22. GRÁFOK ÁBRÁZOLÁSA

KOVÁCS BÉLA, MATEMATIKA I.

HÁLÓZAT Maximális folyam, minimális vágás

A számítástudomány alapjai

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

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

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.

2. Visszalépéses keresés

út hosszát. Ha a két várost nem köti össze út, akkor legyen c ij = W, ahol W már az előzőekben is alkalmazott megfelelően nagy szám.

Feladatok MATEMATIKÁBÓL

1. Gráfelmélet alapfogalmai

KOVÁCS BÉLA, MATEMATIKA I.

1. zárthelyi,

17. előadás: Vektorok a térben

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

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

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

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.

SzA X/XI. gyakorlat, november 14/19.

Gráfelméleti alapfogalmak-1

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

Az optimális megoldást adó algoritmusok

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

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

Sapientia - Erdélyi Magyar TudományEgyetem (EMTE) Csíkszereda IRT- 4. kurzus. 3. Előadás: A mohó algoritmus

Gráfalgoritmusok ismétlés ősz

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ő.

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

Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.

Hamilton-út, Hamilton-kör-1

Más szavakkal formálisan:, ahol olyan egész szám, hogy. Más szavakkal formálisan:, ahol olyan egész szám, hogy.

Algoritmuselmélet. Gráfok megadása, szélességi bejárás, összefüggőség, párosítás. Katona Gyula Y.

2. csoport, 8. tétel: Gráfok

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.

Algoritmuselmélet 18. előadás

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

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

Megjegyzés: A programnak tartalmaznia kell legalább egy felhasználói alprogramot. Példa:

AZ OKOSTELEFONOK ÉS A TÁBLAGÉPEK A GRÁFELMÉLETI TÉMAKÖRÖK OKTATÁSÁBAN II.

Diszkrét matematika II. gyakorlat

Számelméleti alapfogalmak

Síkba rajzolható gráfok

Diszkrét matematika 2.C szakirány

Gráfelmélet/Diszkrét Matematika MSc hallgatók számára. 3. Előadás

GráfRajz fejlesztői dokumentáció

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

f(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva

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

A sorozat fogalma. függvényeket sorozatoknak nevezzük. Amennyiben az értékkészlet. az értékkészlet a komplex számok halmaza, akkor komplex

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:

Gubancok. Hajnal Péter. SZTE, Bolyai Intézet

Háromszögek, négyszögek, sokszögek 9. évfolyam

minden x D esetén, akkor x 0 -at a függvény maximumhelyének mondjuk, f(x 0 )-at pedig az (abszolút) maximumértékének.

B-fa. Felépítés, alapvető műveletek. Programozás II. előadás. Szénási Sándor.

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

A DFS algoritmus. Összeállította: Szeszlér Dávid, c BME Számítástudományi és Információelméleti Tanszék, 2015, 2016.

Melykeres(G) for(u in V) {szin(u):=feher Apa(u):=0} for(u in V) {if szin(u)=feher then MBejar(u)}

Gráf-algoritmusok Legrövidebb utak

Átírás:

HAMILTON KÖR: minden csúcson PONTOSAN egyszer áthaladó kör Teljes gráf: Páros gráf, teljes páros gráf és Hamilton kör/út Hamilton kör: Minden csúcson áthaladó kör Hamilton kör Forrás: (http://www.math.klte.hur/~tujanyi/komb_j/k_win_doc/g0603.doc ) Sir William Rovan Hamilton (1805-1865) 1859-ben egy olyan játékot hozott forgalomba, melynek a lényege az volt, hogy egy előre megadott gráf csúcspontjait kellett bejárni, oly módon, hogy bármely csúcsban pontosan egyszer kellett járni. Állítólag a játéknak nem volt átütő sikere Hamilton kortársai között. //(25!) Sir William Rovan Hamilton (1805-1865) Dublinban született, családja Skóciából származik. Nyelvi és matematika tehetsége nagyon korán megmutatkozott. 15 éves korában már Newton és Laplace írásait olvasta.saját maga a kvaterniók felfedezését tartotta legfontosabb eredményének. Ma e véleményével kevesen értenek egyet.

III.2. Definíció: A G E,, V e v v e v v e v v gráf H útját ( 1 0, 1, 2 1, 2,..., n n1, n )-t Hamilton-útnak mondjuk, ha v v v n csúcsok mind különbözők és e csúcspontokon kívül más csúcspontja nincs G-nek. III.3. Definíció: A G E,, V tartalmazza G minden csúcspontját is.,,..., 0 1 gráf K körét Hamilton-körnek mondjuk, ha K Látszólag nagyon hasonló probléma, hogy valamely gráfnak az éleit járjuk be pontosan egyszer, vagy a csúcspontjait. Az utóbbi azonban jóval nehezebb. S az általános esetben Hamilton-utak illetve Hamilton-körök keresésére ma sem ismert igazán jó algoritmus. Operációkutatás területéhez tartozik az utazó ügynök problémája. Az utazó ügynök problémája azt jelenti, hogy a kereskedelmi utazónak adott városokat kell bejárnia, oly módon, hogy minden városba csak egyszer megy el, és végül visszatér a cégének a székhelyére. Ez esetben a gráf csúcspontjai az utazó által meglátogatandó városok, az élek pedig a városokat összekötő útvonalak. Természetesen egy-egy útnak jól meghatározott útiköltsége is van, s több út esetén célszerű azt az utat választani, melynek a költsége minimális. Ha valamely G gráf éleihez valós számokat rendelünk, akkor hálózatokról, folyamokról beszélünk. S nagyon természetesen vetődik fel minimális költségű ill. maximális nyereségű utak esetleg körök keresése. Az előbb említett feladatok a kombinatorikus optimalizálás tárgykörébe tartoznak. A következő tétel megfogalmazása előtt említjük meg, hogy egy kör ill. út hosszán a bennük szereplő élek számát értjük. III.4. Tétel: Ha a G egyszerű gráfban bármely csúcspont foka legalább k (k 2), akkor van a gráfban egy legalább k+1 hosszúságú kör. (ez a tétel nem szerepelt az előadáson, csak k=2-re, ld. alább) 1. ábra Bizonyítás: Legyen a G gráfnak az L út a leghosszabb útja. S ezen út csúcspontjait a kezdő ponttól indulva jelölje rendre v0, v1,..., vk, vk 1,..., vn. Az, hogy v 0 foka legalább k azt jelenti, hogy a v 0 -t v 1 -el összekötő e 1 élen kívül még legalább k-1 él indul ki v 0 -ból. Ezen élek másik végpontjai szükségszerűen szerepelnek L csúcspontjai között, mert ellenkező esetben összeütközésbe kerülnénk azzal, hogy az L út a leghosszabb. Legyen e 2 ' másik végpontja mondjuk v 2, e 3 ' végpontja v 3 és végül e k ' végpontja v k. Ekkor az L útnak a v 0 -tól v k -ig tartó rész útjának két végpontját köti össze e k ', ezért egy kört kapunk, melyben legalább k+1 él van, s ezzel a bizonyítás kész. e k-1 e 2 e 3 e 1 v 0 v 1 V 2 V 3 V k-1 e k V k hogy v III.5. Tétel: Ha a G E,, V egyszerű gráf bármely v csúcsának fokára teljesül, V n, akkor G összefügg.(hamilton köre is van, ld.dirac tételét!) 2 2

Bizonyítás: Legyen u és v két különböző csúcsa G-nek. A feltétel szerint u-val és v- vel is legalább n/2, n/2 pont van összekötve az u-ból illetve v-ből induló élek által, a fokszám feltétel miatt. Az előbb említett u-val, illetve v-vel közvetlenül összekötött pontok között van olyan, mely u-val is v-vel is össze van kötve, (ha nem lenne ilyen akkor G csúcsainak a száma nagyobb egyenlő volna, mint [n/2+n/2+2]) azaz u és v között vezet út. Ha adott a G E,, V gráf, a csúcsainak a számát V n szokás G rendjének mondani, s éleinek számát a G gráf méretének mondani. Ha az u-t az e él összeköti a v csúccsal, akkor u-t ill. v-t az e él vég pontjainak nevezzük és u-t ill. v-t szomszédosnak mondjuk. E q III.6.Tétel(O.Ore1 (1960.)): Ha a G gráfra teljesül, hogy rendje n3 és bármely két nem u v n ), szomszédos u,v csúcspont fokának az összege nagyobb egyenlő G rendjénél ( akkor G-nek van Hamilton-köre. 1 1899.X.7. Kristiania-ban a ( a mai Oslo-ban Norvégiában ) született és ott is halt meg 1968.VIII:13. Fiatal korában algebrai számelmélettel foglalkozott, később hálóelmélettel,gráfelmélettel.1927.-ben professori kinevezést kapott a Yale egyetemre, 1931.-ben a Yale egyetem kítűnő professzora címet kapta, s 37 évvel később 1968.-ban onnan is ment nyugdíjba. Több könyvet írt különböző a matematika különböző területeiről, számelméletről, négyszínsejtésről, gráfelméletről. Bizonyítás: Indirekt bizonyítunk. Azon gráfok közül, melyekre a tétel feltételei teljesülnek, de az állítás nem, tekintsük valamelyiket azon G' gráfok közül, melyben az élek a száma maximális abban az értelemben, hogy ha G'-hez hozzá veszünk egy olyan e élt, mely a nem szomszédos u és v éleket köti össze, akkor az így kapott G gráf már tartalmazni fog Hamilton-kört. (Megjegyzés: Ilyen gráfot könnyű konstruálni egy adott, a feltételeknek megfelelő gráfbók élek hozzáadásával(törlésével), hiszen amikor élek hozzáadásával elérjük a G teljes

gráfot, ennek van Hamilton köre. Az utolsónak hozzáadott él törlésével pedig Hamilton utat kapunk. ) G' minden Hamilton köre tartalmazza az e élt, ezért van olyan L Hamilton-útja G'-nek, mely u-t és v-t összeköti. Legyen ez a következő csúcsokat valamely éleken át összekötő út: L: u, v1, v2, v3,... vk, vk 1,... vl, v. Az az állítás, hogy e Hamilton útban, ha egy csúcs szomszédja u-nak, pl. az ábrán vk+1, akkor ennek szomszédja, pl. v k nem lehet szomszédja v- nek. Az ábra ezt a nem megengedett helyzetet szemlélteti: u v1 v2 vk v vk+1 v k+2 2. ábra Ugyanis, ha ez az eset előfordulna, akkor az u, vk 1, vk2,..., vn, vk, vk 1, vk2,.., v Hamilton-köre volna G'-nek, pedig ez nem lehetséges, hiszen pontosan az uv él hiányzott a Hamiton körhöz. Tehát a V-{v} pontok közül az u-val szomszédos pontok nem szomszédosak v-vel (ezek nincsenek u-val összekötve). Vagyis: ( u) ( n 1 ) v, átrendezve: v ( n 1) ( u) s ez utóbbi egyenlőtlenség ellentmond a tétel feltételeinek. Ore tételének speciális esete Dirac tétele. Következmény(G.A. Dirac (1952)): Ha az n=2k csúcspontú egyszerű G gráf bármely pontjának a foka legalább k, akkor van G-nek Hamilton-köre. Valóban G-ben létezik Hamilton-kör, mivel a következmény feltételei lényegében szigorúbbak, mint az Ore tétel feltételei.

Néhány eredmény: Az időrendben való jobb tájékozódás végett egységes jelölés mellett felsoroljuk a Hamilton-körökre vonatkozó érdekesebb eredményeket. Jelölje a G(E,,V) gráf csúcspontjainak fokszámait rendre d 1 d 2... d n ( V=n). III.7. Tétel: Ha a G(E,,V) egyszerű gráfra (2<n) a következő feltételek valamelyike teljesedik, akkor van G.-nek Hamilton-köre: 1; G.A. Dirac (1952) 1 1 n d n, k k 2 u v V de u v E u v n, 2; O.Ore (1961),,, 1 1 k 2, 3; Pósa Lajos(1962) k n d k 4; J.A.Bondy (1969) j<k, d, d k 1 d d n 5;V. Chvátal (1972) d k < 2 1 n d n k Irányított gráfok k Handshaking tétel ir. gráfokra: befok+kifok=2*élek száma, illetve: j k j k n k. Euler bejárási tétele irányított gráfokra: befok=kifok körre, Útra: kezdőcsúcsra: befok-=kifok+1 utolsó csúcsra: befok+1=kifok, többi csúcsra: befok=kifok Erősen ÖF gráfok, gyengén ÖF gráfok, gyenge komponensek, erős komponensek DAG (directed acyclic graphs) fontos pl. tranzakciókezelésben, minden ütemezési problémában, ahol egymás utáni sorrendet kell megállapítani. Topologikus (sorba) rendezés: ha nincsen a gráfban kör