Síkgráfok. 1. Részgráfok, topológikus részgráfok, minorok
|
|
- Mihály Juhász
- 6 évvel ezelőtt
- Látták:
Átírás
1 Gráfelmélet/Diszkrét Matematika MSc hallgatók számára Síkgráfok El adó: Hajnal Péter 1. Részgráfok, topológikus részgráfok, minorok Emlékeztet. Egy gráf síkba rajzolható, ha lerajzolható úgy, az élgörbéknek a végpontokon kívül nincs más közös pontja. Deníció. Legyen G egy gráf, e = xy E egy éle. Ekkor G e (vagy más jelöléssel G\e) azt a gráfot jelöli, amit G-b l az e él elhagyásával kapunk. Deníció. Legyen e és f a G gráf két éle, amely egy x másodfokú csúcsban fut össze. Az e és f élek összevonásával kapott gráfot úgy kapjuk G-b l, hogy elhagyjuk az e = ux, f = vx éleket és x csúcsot, továbba hozzáadunk egy új uv élet. Példa. Az alábbi ábra két piros él és két kék él összevonását mutatja: Az e és f élek összevonásával kapott gráf jelölése legyen G(e f). Deníció. Jelölje G/e az e él összehúzásával/kontrakciójával nyert gráfot, mely az alábbi tulajdonságokkal rendelkezik: V (G/e) = (V (G) {x, y} {[e]}, E(G/e) = E(G)\{e}, I(G/e) természetesen adódik: Amely él eddig x-re vagy y-ra illeszkedett, az most az x és y csúcsokat reprezentáló új ([e]) csúcsra illeszkedik. A többi illeszkedés marad. Példa. Az alábbi ábrán egy G gráfbeli e (piros) élt emelünk ki, majd megmutatjuk az e elhagyása és e összehúzásával nyert gráfokat. Síkgráfok-1
2 G - e f g h f e g h i j i j G e G f g h i j Megjegyzés. Ha a fent említett e él hurokél, akkor G/e = G e. Emlékeztet. Legyen G egy síkrarajzolt gráf. Ekkor a G gráf duálisán azt a G gráfot értjük, melynek csúcsai G tartományai, élei pedig megfelelnek G éleinek úgy, hogy az e él e párja azon két tartományt reprezentáló csúcsokat köti össze, melyek e két oldalán szerepelnek (így speciálisan szomszédosak). Példa. A következ két ábra a fent ismertetett két operációt, az élelhagyást, illetve az élösszehúzást illusztrálja a G gráfon, illetve annak G duálisán. ( G - e)??? G e G? e? e ( G e) G - e? G? G -? e G e Az ábra azt sugallja, hogy (G e) = G /e és (G/e) = G e. 1. Állítás. (i) (G e) = G /e, (ii) (G/e) = G e. Az érdekl d hallgató számára a fenti állítás bizonyítása egy lehetséges feladat. Deníció. Legyen G egy gráf. a) Ha a G gráfból az R gráf él- illetve csúcselhagyásoperációk segítségével megkapható, akkor R-et a G gráf részgráfjának nevezzük. Jelölésben: R G. b) Ha a G gráfból az M gráf él- illetve csúcselhagyás és élösszehúzás operációk alkalmazásával megkapható, akkor a G gráfban H minorként szerepel (H a G minorja). Jelölésben: M G. Síkgráfok-2
3 c) Ha a G gráfból a T gráf élek összevonásával és él- illetve csúcselhagyás operációkkal nyerhet, akkor T a G gráf topologikus részgráfja. Jelölés: T G. Megjegyzés. G(e e ) G/e G/e. Példa. A R piros gráf a G gráf részgráfja, hiszen a zölddel jelölt éleket és csúcsokat elhagyva éppen az R gráfot kapjuk. [ Példa. A T piros gráf a G gráf topologikus részgráfja, hiszen a zölddel jelölt éleket és csúcsokat elhagyva, a pirossal jelölt éleket összevonva éppen a T gráfot kapjuk. Síkgráfok-3
4 < Példa. Az M piros gráf a G gráf minorja, hiszen ha a zölddel jelölt éleket elhagyjuk, a kijelölt klaszterekben szerepl kék feszít fa éleit éleit összehúzzuk, akkor éppen az M gráfhoz jutunk. (A klaszterek zsugorodnak össze M csúcsaivá.) Észrevétel. Egy részgráf topologikus részgráf is egyben. Egy topologikus részgráf minor is egyben. Formálisan, ha G, R gráfok, akkor G R G R G R. Visszafelé viszont egyik állítás sem érvényes (lásd alábbi példák). Példa. Példa topologikus részgráfra, amely nem részgráf: [ C 4 -b l C 3 bármely két összefutó e és e élek összevonásával megkapható, vagyis C 3 C 4 topologikus részgráfja. C 4 -nek több csúcsa van mint C 3 -nak. Részgráfság esetén alkalmazni kellene a csúcselhagyás operációt, ami bármilyen végrehajtás esetén egy kételú gráfhoz vezetne. Tehát C 3 nem részgráfja C 4 -nek. Példa. Példa minorra, amely nem topologikus részgráf. Síkgráfok-4
5 A Petersen-gráfból K 5 a kék színnel jelölt élek összehúzásával adódik, tehát K 5 a Petersen-gráfban minor. K 5 nem topologikus részgráfja a Petersen-gráfnak, hiszen a Petersen- gráf minden csúcsának fokszáma 3, K 5 csúcsainak fokszáma viszont 4. Két másodfokú csúcsba futó él összevonásával, csúcs- illetve élelhagyás-operációval viszont nem lehet fokszámot növelni. Észrevétel. Ha G síkgráf, R G; T G; M G teljesül, akkor R, T, M is síkgráf. 2. Alappéldák nem síkgráfokra 2. Tétel (Euler tétele). A K 5 és K 3,3 gráfok nem síkgráfok. Megjegyzés. A K 3,3 gráf egy másik neve a három-ház-három-kút gráf. Ez onnan ered, hogy a tétel állítása megfogalmazható úgy is, hogy nem tervezhet kilenc út három ház és három kút között (mindegyik háztól mindegyik kúthoz) úgy, hogy az utaknak a közös végpontokon (amennyiben van ilyen) ne legyen közös pontja. Bizonyítás. A tétel fontos. Két bizonyítást is megemlítünk 1. Bizonyítás: A K 3,3 és K 5 gráf alábbi lerajzolásából indulunk ki. K K 3,3 5 Mindkét lerajzolás kiemel egy-egy gráfelméleti kört (piros szín élek). A bizonyítás alapmegjegyzése: Egy körgráfot lényegében egyféleképpen lehet szépen lerajzolni. Egy lerajzolt kör a síkot bels (korlátos) és küls (nem korlátos) részre osztja. (Lásd Jordan-féle görbetétel, illetve JordanSchönies-tétel.) Az ábrákon a kör mellett további élek szerepelnek (ezekre mint hidak hivatkozunk). Ezeket viszonyíthatjuk a kör lerajzolásához: lehetnek küls k és bels k. A két szerep (küls /bels ) szimmetrikus. Így feltehet, hogy többségük belül halad. Tegyük fel, hogy a kör szép lerajzolása a két gráf teljes szép lerajzolásává terjeszthet ki. Ezek után a két gráfot külön kezeljük: K 3,3 : Feltevésünk szerint belül (ami topologikusan azonos egy körvonal belsejével) legalább két híd van, amik keresztezik egymást és átmetszés nélkül lerajzolhatók. Ez lehetetlen. K 5 : Feltevésünk szerint belül legalább három híd van. Bárhogy választjuk is ki a belülre kerül három élt, lesz közöttük kett, ami az el z esethez hasonlóan nem fut össze és keresztezi egymást. Ez lehetetlen. 2. Bizonyítás: (Euler tételére hivatkozó bizonyítás.) Néhány BSc-s el adásban szerepl tételt idézünk fel. Síkgráfok-5
6 Észrevétel (Euler tétele). Legyen G összefügg, síkrarajzolt gráf. Ekkor t(g) + E(G) + V (G) = 2, ahol t(g) a tartományok/országok száma. 3. Következmény. Legyen G egyszer síkgráf, továbbá V (G) 3. Ekkor (i) E(G) 3 V (G) 6, (ii) ha G ráadásul páros gráf, akkor E(G) 2 V (G) 4. A következmény (i) része adja, hogy K 5 nem síkgráf. Valóban K 5 nem teljesíti a E 3 V 6 feltételt ( E = 10 és 3 V 6 = = 9). A következmény (ii) része adja, hogy K 3,3 nem síkgráf. Valóban K 3,3 páros gráf és nem teljesíti a E 2 V 4 feltételt ( E = 9 és 2 V 4 = = 8). 4. Következmény. Ha G síkgráf, akkor K 5 és K 3,3 nem lehet részgráf G-ben, K 5 és K 3,3 nem lehet topologikus részgráf G-ben, illetve K 5 és K 3,3 nem lehet minor G-ben. Ha K 5 vagy K 3,3 minden élére egy új csúcsot helyezünk, akkor ugyancsak nem síkgráfhoz jutunk, de részgráfként már nem találjuk a K 5, K 3,3 gráfokat. Azok csak topologikus részgráfként, illetve minorként lesznek G-ben. Azaz az els állítás nem megfordítható. Az utolsó két állítás viszont megfordítható. 5. Tétel. A következ három állítás ekvivalens: (i) A G gráf síkgráf. (ii) A G gráfnak nem topologikus részgráfja a K 5 és K 3,3 gráf (G K 5 ; K 3,3 ). (iii) A G gráfban nincs K 5 és K 3,3 minor (G K 5 ; K 3,3 ). A fenti hármas ekvivalencia két független eredmény összegzése: (i) (ii) a Kuratowskitétel, míg (i) (iii) a Wagner-tétel. 3. A Wagner-tétel bizonyításának fontosabb részei Wagner-tételét indirekten bizonyítjuk. tegyük fel, hogy van G ellenpélda rá. Azaz G nem síkgráf és nincs benne sem K 5, sem K 3,3 minor. Ekkor van olyan G ellenpélda is, ami minimális ( V + E a lehet legkisebb). Így G minden csonkítása elveszti ellenpélda mivoltát. Ha ez a csonkított rész egy minor, akkor ez csak úgy lehat, ha az már síkgráf. A bizonyítás hátralév része ellentmondás-vadászat. 6. Lemma. G 3-szorosan összefügg egyszer gráf. 7. Lemma. Ha H 3-szorosan összefügg és V (H) > 4, akkor alkalmas e élére G/e is 3-szorosan összefügg. Síkgráfok-6
7 A két lemma bizonyítása is csak egy technikai kitér a Wagner-tétel indoklásában. A következ fejezetre hagyjuk. 8. Következmény. Legyen G egyszer, háromszorosan összefügg gráf, melynek csúcsszáma legalább 5. Ekkor található olyan xy E(G) él, melyre a G {x, y} gráf kétszeresen összefügg. Következmény bizonyítása: A lemmában szerepl e él megfelel, hiszen G {x, y} = (G/e) [e] kétszeresen összefügg lesz. Q.e.d. Legyen e a Lemma és a Következmény közös éle. G/e nem tartalmaz K 5, illetve K 3,3 minort (minorjaik G-nek is minorjai), háromszorosan összefügg, így az indukciós feltevés alapján G/e szépen lerajzolható. Ebben a lerajzolásban ott van a G {x, y} gráf lerajzolása és a kontrahált élt reprezentáló [e] csúcs is. A G {x, y} gráf kétszeresen összefügg, így lerajzolásának minden tartományát egy kör határolja. Azt is amely belsejében ott van az [e] csúcs. Legyen C ezen tartomány határoló körgráf. Legyen P = N(x) V (C), K = N(y) V (C), ahol N(x)/N(y) az x/y csúcs szomszédainak halmaza. P elemeire mint piros, K elemeire mint kék csúcsok hivatkozunk. Fontos látni, hogy P K eset is el fordulhat, azaz a két szín nem két kizáró kategória. A következ két fogalom és egy f lemma segítségével juthatunk el a bizonyítás befejezéséhez. Deníció. Egy kört C kört u és v csúcsa (u, v V (C)) két zárt ívre bontja, mégpedig az [u, v] és [v, u] ívre. A két ív a két uv út csúcshalmaza. Körünk szépen lerajzolt a síkra, így az ívek megkülönböztethet k: a jelölésben az els csúcsból indulva, óramutató járása szerint haladva jutunk el a második csúcshoz. A két ív (csúcshalmaz) metszete az {u, v} csúcsok. (u, v) legyen [u, v] {u, v}. Deníció. Legyen A és B a C kör csúcshalmazának két részhalmaza. Azt mondjuk, hogy A és B szeparálható, ha megadhatóak olyan u, v V (C) csúcsok, melyekre A [u, v] és B [v, u], vagyis létezik olyan felbontása a körnek, hogy A az egyik ív, B a másik ív csúcsainak részhalmaza. Megjegyezzük, hogy a két ív zárt, így végpontjaik közösek. A deníció megengedi, hogy nem-diszjunkt ponthalmazok is szeparálhatók legyenek. A következ kombinatorikus lemma a szeparálhatóság akadályait írja le. 9. Tétel (F lemma). Legyen C egy kör és A és B a kör két véges részhalmaza. A és B pontosan akkor nem szeparálható, ha a következ két lehet ség valamelyike teljesül. (i) Létezik olyan a, a A és b, b B négy különböz csúcs, melyek a körön felváltva helyezkednek el, azaz az (a, a ) ív b és b közül pontosan egyet tartalmazzon. (ii) A = B és A = B = 3. Síkgráfok-7
8 A szeparálhatóságot megakadályozó kongurációk a következ ábrán láthatók ( A és B a piros/kék színekkel kódolt). A lemma egyszer eset analízissel ellen rizhet. Ezt az érdekl d hallgatóra bízzuk. A Wagner-tétel bizonyítása már egyszer en adódik: 1. eset: P és K nem szeparálhatóak a C kör mentén. A f lemma alapján az (i) vagy (ii) akadályok valamelyike fellép. x y x y K 3,3 K 5 Látható, hogy az (i) esetben K 3,3, az (ii) esetben K 5 jelenik meg minorként, ami ellentmondás, hiszen G-r l feltettük, hogy nincs benne K 5 illetve K 3,3 minor. 2. eset: P és K nem szeparálhatóak a C kör mentén. A P halmaz és a K halmaz pontjai ott vannak a C kör éleinek görbéjén (amely élgörbék egy Jordan-görbévé olvadnak össze). Ábrázoljuk a G {x, y} megfelel tartományát és az [e] csúcsot, ahol [e] az összehúzott e élt reprezentáló csúcs pontja. Az [e] csúcsból kiinduló élek egy része eredetileg x-b l indult és P valamelyik eleméhez ment, másik részük eredetileg y-ból indult és K valamelyik eleméhez ment. Mivel P és K szeparált, ezért ezen éleknek megfelel élgörbék megrajzolhatók átmetszés nélkül úgy, hogy az [e]-t reprezentáló csúcs körül a kiinduló görbék között egy blokkban legyenek a P -hez és egy blokkban legyenek a K-hez men görbék. Síkgráfok-8
9 [ e ] [ e] x y G/e ezen lerajzolásából G egy szép lerajzolása már könnyedén el állítható, ha a kontrakciót visszavonjuk. 4. A Wagner-tétel bizonyításának technikai részletei 10. Lemma. Ha Wagner-tételt tudjuk háromszorosan összefügg gráfokra, akkor a tétel igaz. Bizonyítás. V -re vonatkozó teljes indukcióval igazoljuk a Wagner-tételt. V 4 esetben minden gráf szépen lerajzolható a síkra. Az indukciós lépeshez eseteket különböztetünk meg az összefügg ség foka szerint. 1. eset: A G gráf nem összefügg. Ha G nem összefügg, akkor jelölje G 1, G 2,... a gráfunk komponenseit. Egyik komponens sem tartalmazhat K 5 és K 3,3 minort, mindegyik komponens csúcsszáma kisebb mint G-é. Így az indukciós feltevés alapján mindegyik komponens szépen síkra rajzolható. Vegyünk fel komponensszámnyi diszjunkt egységkörlapot. Az egyes komponensek lerajzolásai lekicsinyíthat k (amennyiben szükséges) úgy, hogy az egyes körlapokba berajzolható legyen. Így G egy lerajzolásához jutunk. 2. eset: A G gráf összefügg, de nem 2-szeresen összefügg. Ekkor létezik x V (G) elvágó csúcs, melyre G {x} több komponensre esik szét: G 1, G 2, G 3,... Mindegyik komponenshez adjuk hozzá az x csúcsot (a komponenshez vezet élekkel). Az így kapott gráfok legyenek Ĝ1, Ĝ2,.... Ezek mind G részgráfjai. Ezért egyik sem tartalmazhat K 5 és K 3,3 minort, mindegyik csúcsszáma kisebb mint G-é. Így az indukciós feltevés alapján mindegyik Ĝi szépen síkra rajzolható. Ĝ i szép lerajzolása módosítható úgy, hogy az x csúcsot realizáló P x pont a nem korlátos tartomány határán legyen (például gömbre vetítéssel, majd a gömbrerajzolás alkalmas P x környéki Síkgráfok-9
10 felvágásával). Ez a lerajzolás deformálható úgy, hogy egy szögtartományban legyen, ahol P x a szögtartomány O csúcsába kerül. Legyen l a Ĝi gráfok száma. Vegyünk fel l szögtartományt, amelyek diszjunktak kivéve közös csúcsukat, O-t. A fenti lerajzolásokat külön szögtartományba illesztve ezek G egy szép lerajzolásává állnak össze. G 1 G2 G3 G4 G 1 G3 x G 2 O x G 1 G2 G3 O O ; y 3. eset: A G gráf 2-szeresen összefügg, de nem 3-szorosan összefügg. Ekkor létezik x, y V (G) elvágó csúcspár, melyre G {x, y} több komponensre esik szét: G 1, G 2,... Mindegyik komponenshez adjuk hozzá az x és y csúcsot a komponenshez vezet élekkel. Az így kapott gráfok legyenek Ĝ1, Ĝ2,.... Ezek mind G részgráfjai. Deníciójuk miatt egyikben sem lesz x és y szomszédos. (G i b vítésénél csak az x, y-ból a komponenshez vezet éleket adtuk hozzá.) Legyen Ĝ+ 1, Ĝ+ 2,... azok a gráfok, amiket Ĝi-b l úgy kapunk, hogy x-et és y-t összekötjük. Ezek már nem szükségszer en részgráfok G-ben. DE minorok! Ezért egyik sem tartalmazhat K 5 és K 3,3 minort, mindegyik csúcsszáma kisebb mint G-é. Így az indukciós feltevés alapján mindegyik Ĝ+ i szépen síkra rajzolható. Ĝ + i szép lerajzolása módosítható úgy, hogy az e = xy élt realizáló G e élgörbe a nem korlátos tartomány határán legyen (például gömbre vetítéssel, majd a gömbrerajzolás alkalmas G e felez pontjának környékén történ felvágásával). Ez a lerajzolás deformálható úgy, hogy G e egyenes OO szakasz legyen (O reprezentálja az x és O az y csúcsot), míg a lerajzolás többi része egy OO feletti holdacskába essen. Legyen l a Ĝi gráfok száma. Vegyünk fel l holdacskát, amelyek diszjunktak kivéve közös csúcsaikat, O, O -t és elkerülik az OO szakaszt. A Ĝ+ i fenti lerajzolásában ott van Ĝi lerajzolása is, amit az i-edik holdacskában elhelyezhetünk (x-et O, y-t O reprezentálja). Ha szükséges, akkor az összeragasztott lerajzolásokhoz hozzávesszük az OO szakaszt is az xy él reprezentálására. Így G egy szép lerajzolásához jutunk. Síkgráfok-10
11 11. Lemma. Legyen G egyszer, háromszorosan összefügg gráf, melynek csúcsszáma legalább 5. Ekkor található olyan e E(G) él, melyre a G/e gráf 3-szorosan összefügg. Bizonyítás. A lemma bizonyítását nem végeztük el. 5. További kapcsolódó tételek Végezetül néhány tétel kimondása következik bizonyítás nélkül. 12. Tétel (Fáry-tétel). Ha G egyszer síkgráf, akkor lerajzolható úgy, hogy minden élgörbéje szakasz legyen. 13. Tétel (Tutte-tétel). Ha G egyszer, 3-szorosan összefügg síkgráf, akkor lerajzolható úgy, hogy minden élgörbe egyenes szakasz, továbbá minden korlátos tartománya konvex sokszög. 14. Tétel (Steinitz-tétel). Egy G gráf pontosan akkor egy konvex poliéder élgráfja, ha 3- szorosan összefügg egyszer gráf. 15. Tétel (Wagner struktúratétele). A G gráf pontosan akkor nem tartalmaz K 5 minort, ha felépíthet síkgráfokból és W Wagner-gráfból (lásd alább) legfeljebb három pontú klikk menti összeragasztásokkal és csúcs- illetve élelhagyásokkal. W 16. Következmény (Wagner színezési tétele). Ha a G gráf tartalmaz K 5 minort, akkor a kromatikus száma legfeljebb 4. A Wagner-tétel alapján átírhatjuk a négy-szín-tételt: Ha a G gráf nem tartalmaz K 5, illetve K 3,3 minort, akkor G kromatikus száma legfeljebb 4. Wagner színezési tétele azt mondja, hogy a négy-szín-tétel ezen alakjában elég csak K 5 -t minorként kizárni. Ez az élesítés nagyon fontos. Bizonyítása a struktúratétel után, a négy-szín-tételre vonatkozó hivatkozással egyszer : A síkgráfok és a Wagner-gráf 4-színezhet, a klikkek menti ragasztás nem növeli meg a kromatikus számot. Azaz az élsítés nem sokkal nehezebb mint a négyszín-tétel. Síkgráfok-11
12 Sejtés (Hadwiger-sejtés). Ha a G gráf nem tartalmaz K k+1 minort, akkor G kromatikus száma legfeljebb k. Illetve egy ekvivalens megfogalmazása: Sejtés (Hadwiger-sejtés). Ha a G gráf nem k-színezhet, akkor tartalmaz K k+1 minort. BSc-s tanulmányainkból tudjuk, hogy a minorság helyett részgráfsággal dolgozva a megfelel állítás nagyon hamis. Nem annyira nyilvánvaló, hogy topologikus részgráfsággal dolgozva is (nagyon) hamis állításhoz jutunk (ezt láthatjuk, ha az interneten a `Hajósconjecture'-re keresünk). A minorokat használó Hadwiger-sejtés k = 2 esetet triviális. A k = 3 esete egyszer. A k = 4 eset igaz (Wagner színezési tétele), a négy-szín-tétellel ekvivalens (ahogy vázoltuk). Ahogy k n a sejtés nehezedik (miért?). Ennek ellenére a k = 5 eset (a négy-szín-tétel élesítése) bizonyított. A bizonyítása a négy-szín-tételre hivatkozik, de így is nagyon bonyolult. Síkgráfok-12
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára. Síkgráfok Előadó: Hajnal Péter
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára Síkgráfok 2016. Előadó: Hajnal Péter Egy G gráf ρ lerajzolása egy (ρ V, ρ E ) leképzés-pár, ahol a következők teljesülnek: ρ V : V (G) R 2 injenktív
Gráfok színezése Diszkrét matematika 2009/10 sz, 9. el adás
Gráfok színezése Diszkrét matematika 2009/10 sz, 9. el adás A jegyzetet készítette: Szabó Tamás 2009. november 9. 1. Alapfogalmak Egy gráf csúcsait vagy éleit bizonyos esetekben szeretnénk különböz osztályokba
Diszkrét matematika II. gyakorlat
Diszkrét matematika II. gyakorlat 9. Gyakorlat Szakács Nóra Helyettesít: Bogya Norbert Bolyai Intézet 2013. április 11. Bogya Norbert (Bolyai Intézet) Diszkrét matematika II. gyakorlat 2013. április 11.
Megoldások 7. gyakorlat Síkgráfok, dualitás, gyenge izomorfia, Whitney-tételei
Számítástudomány alapjai Megoldások 7. gyakorlat Síkgráfok, dualitás, gyenge izomorfia, Whitney-tételei 90. A konvex poliéder egyes lapjait határoló élek száma legyen k! Egy konvex poliéder egy tetszőleges
Gubancok. Hajnal Péter. SZTE, Bolyai Intézet
Gubancok SZTE, Bolyai Intézet 2010 Bevezető feladat Három ház három kút feladat Adott a síkon három ház és három kút. Bevezető feladat Három ház három kút feladat Adott a síkon három ház és három kút.
Diszkrét matematika 2.
Diszkrét matematika 2. Mérai László előadása alapján Készítette: Nagy Krisztián 4. előadás Eulerséta: Olyan séta, mely a gráf minden élét pontosan egyszer tartalmazza. Tétel: egy összefüggő gráf. Ha minden
Síkgráfok (négyszín-tétel, Kuratowski-tétel, Euler-formula)
Síkgráfok (négyszín-tétel, Kuratowski-tétel, Euler-formula) Kombinatorika 11. előadás SZTE Bolyai Intézet Szeged, 2016. április 26. 11. ea. Síkgráfok 1/9 Definíció. Egy gráf síkgráf, ha lerajzolható úgy
A különböz lerajzolásokhoz különböz metszési szám tartozik: x(k 5, λ) = 5,
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára Gráfok metszési paramétere és alkalmazásai 2013. El adó: Hajnal Péter 1. Gráfok metszési száma Az el adás a metszési szám nev gráfparaméterr l szól.
Diszkrét matematika 2.
Diszkrét matematika 2. 2018. szeptember 21. 1. Diszkrét matematika 2. 2. előadás Fancsali Szabolcs Levente nudniq@cs.elte.hu www.cs.elte.hu/ nudniq Komputeralgebra Tanszék 2018. szeptember 21. Gráfelmélet
1. tétel - Gráfok alapfogalmai
1. tétel - Gráfok alapfogalmai 1. irányítatlan gráf fogalma A G (irányítatlan) gráf egy (Φ, E, V) hátmas, ahol E az élek halmaza, V a csúcsok (pontok) halmaza, Φ: E {V-beli rendezetlen párok} illeszkedési
Síkbarajzolható gráfok Április 26.
Síkbarajzolható gráfok 2017. Április 26. Síkgráfok Egy gráf síkgráf=síkba rajzolható gráf, ha lerajzolható úgy a síkba, hogy élei csak a szögpontokban metszik egymást. Ha egy gráf lerajzolható a síkba,
Diszkrét matematika 2.
Diszkrét matematika 2. 2018. október 12. 1. Diszkrét matematika 2. 5. előadás Fancsali Szabolcs Levente nudniq@cs.elte.hu www.cs.elte.hu/ nudniq Komputeralgebra Tanszék 2018. október 12. Diszkrét matematika
Gráfelméleti feladatok programozóknak
Gráfelméleti feladatok programozóknak Nagy-György Judit 1. Lehet-e egy gráf fokszámsorozata 3, 3, 3, 3, 5, 6, 6, 6, 6, 6, 6? 2. Lehet-e egyszer gráf fokszámsorozata (a) 3, 3, 4, 4, 6? (b) 0, 1, 2, 2, 2,
Diszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2017. ősz 1. Diszkrét matematika 2.C szakirány 2. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2017.
Diszkrét matematika 2.
Diszkrét matematika 2. Mérai László előadása alapján Készítette: Nagy Krisztián 1. előadás Gráfok halmaza, gráf, ahol a csúcsok halmaza, az élek illesztkedés reláció: illesztkedik az élre, ha ( -él illesztkedik
Síkbarajzolható gráfok, duális gráf
Síkbarajzolható gráfok, duális gráf Papp László BME November 8, 2018 Gráfok lerajzolása Definíció: Egy G gráf diagramján a gráf olyan lerajzolását értjük ahol a csúcsok különböző síkbeli pontok, illetve
Diszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 11. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
Diszkrét Matematika MSc hallgatók számára. 11. Előadás. Előadó: Hajnal Péter Jegyzetelő: Szarvák Gábor november 29.
Diszkrét Matematika MSc hallgatók számára 11. Előadás Előadó: Hajnal Péter Jegyzetelő: Szarvák Gábor 2010. november 29. 1. Gráfok metszési száma z előadás a metszési szám nevű gráfparaméterről szól. Ez
Gráfelméleti alapfogalmak-1
KOMBINATORIKA ELŐADÁS osztatlan matematika tanár hallgatók számára Gráfelméleti alapfogalmak Előadó: Hajnal Péter 2015 1. Egyszerű gráfok Nagyon sok helyzetben egy alaphalmaz elemei között kitűntetett
Gráfelmélet. I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma
Készítette: Laczik Sándor János Gráfelmélet I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma Definíció: a G=(V,E) párt egyszerű gráfnak nevezzük, (V elemeit a gráf csúcsainak/pontjainak,e elemeit
Diszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2015. tavasz 1. Diszkrét matematika 2.C szakirány 1. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu Komputeralgebra Tanszék 2015. tavasz Gráfelmélet Diszkrét
Diszkrét matematika 1. estis képzés
Diszkrét matematika 1. estis képzés 2019. tavasz 1. Diszkrét matematika 1. estis képzés 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján
Diszkrét matematika 1. estis képzés
Diszkrét matematika 1. estis képzés 2019. tavasz 1. Diszkrét matematika 1. estis képzés 11. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján
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ő.
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
Diszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2017. tavasz 1. Diszkrét matematika 2.C szakirány 4. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2017.
SzA II. gyakorlat, szeptember 18.
SzA II. gyakorlat, 015. szeptember 18. Barátkozás a gráfokkal Drótos Márton drotos@cs.bme.hu 1. Az előre megszámozott (címkézett) n darab pont közé hányféleképp húzhatunk be éleket úgy, hogy egyszerű gráfhoz
Diszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 7. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
Diszkrét matematika 2.
Diszkrét matematika 2. 2018. március 9. 1. Diszkrét matematika 2. 4. előadás Fancsali Szabolcs Levente nudniq@cs.elte.hu www.cs.elte.hu/ nudniq Komputeralgebra Tanszék 2018. március 9. Gráfelmélet Diszkrét
10. előadás. Konvex halmazok
10. előadás Konvex halmazok Konvex halmazok Definíció: A K ponthalmaz konvex, ha bármely két pontjának összekötő szakaszát tartalmazza. Állítás: Konvex halmazok metszete konvex. Konvex halmazok uniója
É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)
Kombi/2 Egy bizonyos bulin n lány és n fiú vesz részt. Minden fiú pontosan a darab lányt és minden lány pontosan b darab fiút kedvel. Milyen (a,b) számpárok esetén létezik biztosan olyan fiúlány pár, akik
Diszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2016. tavasz 1. Diszkrét matematika 2. estis képzés 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
Gráfok csúcsszínezései
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára Gráfok csúcsszínezései 2012. október 1. Előadó: Hajnal Péter 1. (Csúcs)színezések alapfogalmai Emlékeztetőként idézzünk fel néhány korábban tanult
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
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 2010. 10. 18. 2 7. Párosítási tételek.nb 7. Előadás Emlékeztető: Javító út, Javító
Euler tétel következménye 1:ha G összefüggő síkgráf és legalább 3 pontja van, akkor: e 3
Síkgráfok Kuratowski-tétel: egy gráf akkor és csak akkor síkba rajzolható gráf, ha nincs olyan részgráfja, ami a K 5 -el, vagy a K 3,3 -altopologikusan izomorf (homeomorf). Euler síkgráfokra vonatkozó
Diszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
11. előadás. Konvex poliéderek
11. előadás Konvex poliéderek Konvex poliéder 1. definíció: Konvex poliédernek nevezzük a térben véges sok, nem egysíkú pont konvex burkát. 2. definíció: Konvex poliédernek nevezzük azokat a térbeli korlátos
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára. 13. Előadás
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára 13. Előadás Előadó: Hajnal Péter Jegyzetelő: Hajnal Péter 2009. december 7. Gráfok sajátértékei Definíció. Egy G egyszerű gráf sajátértékei az A G
Diszkrét matematika 2.C szakirány
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.
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
KOMBINATORIKA ElŐADÁS Matematika BSc hallgatók számára Klikkek gráfokban Előadó: Hajnal Péter 2017 1. Az alapkérdés Emlékeztetünk egy a gráfok színezésénél tárgyalt fontos fogalomra: Definíció. Egy G gráfban
Diszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 10. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
HAMILTON ÚT: minden csúcson PONTOSAN egyszer áthaladó út
SÍKBA RAJZOLHATÓ GRÁFOK ld. előadás diasorozat SZÍNEZÉS: ld. előadás diasorozat PÉLDA: Reguláris 5 gráf színezése 4 színnel Juhász, PPKE ITK, 007: http://users.itk.ppke.hu/~b_novak/dmat/juhasz_5_foku_graf.bmp
Síkba rajzolható gráfok
Síkba rajzolható gráfok Elmélet Definíció: egy G gráfot síkba rajzolható gráfnak nevezünk, ha az felrajzolható a síkra anélkül, hogy az élei metsszék egymást. Egy ilyen felrajzolását a G gráf síkbeli reprezentációjának
Diszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2017. tavasz 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 2017.
GRÁFELMÉLET. 7. előadás. Javító utak, javító utak keresése, Edmonds-algoritmus
GRÁFELMÉLET 7. előadás Javító utak, javító utak keresése, Edmonds-algoritmus Definíció: egy P utat javító útnak nevezünk egy M párosításra nézve, ha az út páratlan hosszú, kezdő- és végpontjai nem párosítottak,
Ramsey-féle problémák
FEJEZET 8 Ramsey-féle problémák "Az intelligens eljárást az jellemzi, hogy még a látszólag megközelíthetetlen célhoz is utat nyit, megfelelő segédproblémát talál ki és először azt oldja meg." Pólya György:
Schnyder-címkézések és alkalmazásaik
Eötvös Loránd Tudományegyetem Természettudományi Kar Horváth Vanda Matematika BSc Schnyder-címkézések és alkalmazásaik Szakdolgozat Témavezető: Pap Júlia, tudományos segédmunkatárs Operációkutatási Tanszék
HAMILTON KÖR: minden csúcson PONTOSAN egyszer áthaladó kör. Forrá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
Bevezetés. 1. fejezet. Algebrai feladatok. Feladatok
. fejezet Bevezetés Algebrai feladatok J. A számok gyakran használt halmazaira a következ jelöléseket vezetjük be: N a nemnegatív egész számok, N + a pozitív egész számok, Z az egész számok, Q a racionális
Gráfelmélet jegyzet 2. előadás
Gráfelmélet jegyzet 2. előadás Készítette: Kovács Ede . Fák Tétel. : A következők ekvivalensek a T gráfra: (i) T összefüggő, e E. T e már nem összefüggő (ii) T összefüggő és körmentes. (iii) x, y V T!
Gráfelméleti alapfogalmak
KOMBINATORIKA GYAKORLAT osztatlan matematika tanár hallgatók számára Gráfelméleti alapfogalmak Gyakorlatvezetõ: Hajnal Péter 2014. 1. Feladat. Az alábbiakban egy-egy egyszerű gráfot definiálunk. Rajzoljuk
(6) (4) (2) (3) (11) (3) (5) (21) (9) (7) (3) (4) (4) (7) (4)
Bevezetés a számításelméletbe II. Zárthelyi feladatok 2013. március 21. 1. Legyenek a G gráf csúcsai egy 5 5-ös sakktábla mez i és két különböz csúcs akkor legyen összekötve G-ben, ha a megfelel mez k
Hadamard-mátrixok Előadó: Hajnal Péter február 23.
Szimmetrikus kombinatorikus struktúrák MSc hallgatók számára Hadamard-mátrixok Előadó: Hajnal Péter 2012. február 23. 1. Hadamard-mátrixok Ezen az előadáson látásra a blokkrendszerektől független kombinatorikus
Szabályos gráfok paraméterei
Eötvös Loránd Tudományegyetem Természettudományi Kar Szabályos gráfok paraméterei Szakdolgozat Témavezető: Dr. Sziklai Péter egyetemi docens Készítette: Deák Réka Budapest 2016 Szabályos gráfok paraméterei
KOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 4 IV. FÜGGVÉNYEk 1. LEkÉPEZÉSEk, függvények Definíció Legyen és két halmaz. Egy függvény -ből -ba egy olyan szabály, amely minden elemhez pontosan egy elemet rendel hozzá. Az
Feladatok, amelyek gráfokkal oldhatók meg 1) A königsbergi hidak problémája (Euler-féle probléma) a
Feladatok, amelyek gráfokkal oldhatók meg ) A königsbergi hidak problémája (Euler-féle probléma) a b d c A megfelelő gráf: d a b c ) Egy szórakoztató feladat (Hamilton-féle probléma) Helyezzük el az,,,...,
Bevezetés a számításelméletbe II. Zárthelyi feladatok április 23.
evezetés a számításelméletbe II. Zárthelyi feladatok 2018. április 23. 1. G egyszerű gráf csúcshalmaza legyen V (G) = {1, 2,..., 10}. z x, y V (G), x y csúcsok pontosan akkor legyenek szomszédosak G-ben,
Nagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 8. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
30. ERŐSEN ÜSSZEFÜGGŐ KOMPONENSEK
30. ERŐSEN ÜSSZEFÜGGŐ KOMPONENSEK A gráfos alkalmazások között is találkozunk olyan problémákkal, amelyeket megoldását a részekre bontott gráfon határozzuk meg, majd ezeket alkalmas módon teljes megoldássá
A zsebrádiótól Turán tételéig
Jegyzetek egy matekóráról Lejegyezte és kiegészítésekkel ellátta: Meszéna Balázs A katedrán: Pataki János A gráfokat rengeteg életszagú példa megoldásában tudjuk segítségül hívni. Erre nézzünk egy példát:
Euler-formula, síkbarajzolható gráfok, szabályos testek
FEJEZET 5 Euler-formula, síkbarajzolható gráfok, szabályos testek "Minden emberi megismerés szemlélettel kezdődik, ebből fogalomalkotásba megy át és eszmékben végződik." I. Kant: A tiszta ész kritikája.
25. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel
5. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel Axióma: Bizonyítás: olyan állítás, amelynek igazságát bizonyítás nélkül elfogadjuk.
Relációk. 1. Descartes-szorzat. 2. Relációk
Relációk Descartes-szorzat. Relációk szorzata, inverze. Relációk tulajdonságai. Ekvivalenciareláció, osztályozás. Részbenrendezés, Hasse-diagram. 1. Descartes-szorzat 1. Deníció. Tetsz leges két a, b objektum
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.
Algoritmuselmélet NP-teljes problémák Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem 13. előadás Katona Gyula Y. (BME SZIT) Algoritmuselmélet
Gráfelméleti alapfogalmak
1 Gráfelméleti alapfogalmak Gráf (angol graph= rajz): pontokból és vonalakból álló alakzat. pontok a gráf csúcsai, a vonalak a gráf élei. GRÁ Irányítatlan gráf Vegyes gráf Irányított gráf G H Izolált pont
SzA X/XI. gyakorlat, november 14/19.
SzA X/XI. gyakorlat, 2013. november 14/19. Színezünk és rajzolunk Drótos Márton drotos@cs.bme.hu 1. Mennyi a következő gráfok kromatikus száma: C 4, C 5, K 2,4, alábbi 2 gráf χ(c 4 ) = 2, páros hosszú
Alapfogalmak II. Def.: Egy gráf összefüggő, ha bármely pontjából bármely pontjába eljuthatunk egy úton.
lapfogalmak II Nézzük meg mégegyszer a königsbergi séták problémáját! város lakói vasárnaponként szerettek sétálni a szigeteken. Felvetődött a kérdés, hogy hogyan lehetne olyan sétát tenni a városban,
Ramsey tétele(i) gráfokra
Ramsey tétele(i) gráfokra A témakör a szociológusok alábbi észrevételének általánosítása: legalább hat tagú társaságban vagy van háromfős klikk, vagy van háromfős antiklikk. Itt klikk olyan emberek halmazát
Bonyolultságelmélet gyakorlat 06 Gráfos visszavezetések II.
onyolultságelmélet gyakorlat 06 Gráfos visszavezetések II. 1. Feladat Mutassuk meg, hogy a n/-hosszú kör probléma NP-nehéz! n/-hosszú kör Input: (V, ) irányítatlan gráf Output: van-e G-ben a csúcsok felén
Arany Dániel Matematikai Tanulóverseny 2015/2016-os tanév 1. forduló Haladók III. kategória
Bolyai János Matematikai Társulat Arany Dániel Matematikai Tanulóverseny 2015/2016-os tanév 1. forduló Haladók III. kategória Megoldások és javítási útmutató 1. Az a és b befogójú derékszögű háromszögnek
Geometria 1 normál szint
Geometria 1 normál szint Naszódi Márton nmarci@math.elte.hu www.math.elte.hu/ nmarci ELTE TTK Geometriai Tsz. Budapest Geometria 1 p.1/4 Vizsga 1 Írásban, 90 perc. 2 Személyazonosságot igazoló okmány nélkül
22. GRÁFOK ÁBRÁZOLÁSA
22. GRÁFOK ÁBRÁZOLÁSA A megoldandó feladatok, problémák modellezése során sokszor gráfokat alkalmazunk. A gráf fogalmát a matematikából ismertnek vehetjük. A modellezés során a gráfok több változata is
Algoritmuselmélet. Bonyolultságelmélet. Katona Gyula Y.
Algoritmuselmélet Bonyolultságelmélet Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem 12. előadás Katona Gyula Y. (BME SZIT) Algoritmuselmélet
KOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 3 III. MEGFELELTETÉSEk, RELÁCIÓk 1. BEVEZETÉS Emlékeztetünk arra, hogy az rendezett párok halmazát az és halmazok Descartes-féle szorzatának nevezzük. Más szóval az és halmazok
Haladók III. kategória 2. (dönt ) forduló
Haladók III. kategória 2. (dönt ) forduló 1. Tetsz leges n pozitív egész számra jelölje f (n) az olyan 2n-jegy számok számát, amelyek megegyeznek az utolsó n számjegyükb l alkotott szám négyzetével. Határozzuk
Fullerének szerkezete
Eötvös Loránd Tudományegyetem Természettudományi Kar Fullerének szerkezete Szakdolgozat ƒizmadija Laura Matematika BSc Alkalmazott matematikus szakirány Témavezet : Bérczi Kristóf Operációkutatási Tanszék
Papp Dorottya. Gráfok favastagsága
Eötvös Loránd Tudományegyetem Természettudományi Kar Papp Dorottya Matematika B.Sc. Alkalmazott matematikus szakirány Gráfok favastagsága Szakdolgozat Témavezet : Lukács András Számítógéptudományi Tanszék
Formális nyelvek - 9.
Formális nyelvek - 9. Csuhaj Varjú Erzsébet Algoritmusok és Alkalmazásaik Tanszék Informatikai Kar Eötvös Loránd Tudományegyetem H-1117 Budapest Pázmány Péter sétány 1/c E-mail: csuhaj@inf.elte.hu 1 Véges
1. Az ábrán látható táblázat minden kis négyzete 1 cm oldalhosszúságú. A kis négyzetek határvonalait akarjuk lefedni. Meg lehet-e ezt tenni
1. Az ábrán látható táblázat minden kis négyzete 1 cm oldalhosszúságú. A kis négyzetek határvonalait akarjuk lefedni. Meg lehet-e ezt tenni a) 5 db 8 cm hosszú, b) 8 db 5 cm hosszú cérnával? Megoldás:
Séta, út, vonal, kör
KOMBINATORIKA GYAKORLAT osztatlan matematika tanár hallgatók számára Séta, út, vonal, kör Gyakorlatvezetõ: Hajnal Péter 2014. 1. Feladat. Legyen G egy gráf. Az a, b pontokra azt mondjuk, hogy a-ból elérhető
Analízis. 11 12. évfolyam. Szerkesztette: Surányi László. 2015. július 5.
Analízis 11 12. évfolyam Szerkesztette: Surányi László 2015. július 5. Technikai munkák (MatKönyv project, TEX programozás, PHP programozás, tördelés...) Dénes Balázs, Grósz Dániel, Hraskó András, Kalló
PÁROS HOSSZÚ KÖRÖK GRÁFOKBAN
PÁROS HOSSZÚ KÖRÖK GRÁFOKBAN CSIKVÁRI PÉTER Kivonat. Ebben a jegyzetben bebizonyítjuk Bondy és Simonovits következő tételét. Ha egy n csúcsú egyszerű gráf nem tartalmaz C k kört akkor az éleinek száma
Deníciók és tételek a beugró vizsgára
Deníciók és tételek a beugró vizsgára (a szóbeli viszgázás jogáért) Utolsó módosítás: 2008. december 2. 2 Bevezetés Számítási problémának nevezünk egy olyan, a matematika nyelvén megfogalmazott kérdést,
1. Részcsoportok (1) C + R + Q + Z +. (2) C R Q. (3) Q nem részcsoportja C + -nak, mert más a művelet!
1. Részcsoportok A részcsoport fogalma. 2.2.15. Definíció Legyen G csoport. A H G részhalmaz részcsoport, ha maga is csoport G műveleteire nézve. Jele: H G. Az altér fogalmához hasonlít. Példák (1) C +
Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.
2. A VALÓS SZÁMOK 2.1 A valós számok aximómarendszere Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 1.Testaxiómák R-ben két művelet van értelmezve, az
Hogyan óvjuk meg értékes festményeinket?
Hogyan óvjuk meg értékes festményeinket? Hajnal Péter Bolyai Intézet, SZTE, Szeged 2013. április Bevezető példa I. Feladat Adott egy konvex nyolcszög. Bevezető példa I. Feladat Adott egy konvex nyolcszög.
3. Gráfok színezései
Diszkrét Matematika levelező MSc hallgatók számára 3. ráfok színezései Előadó: Hajnal Péter 2011 12. őszi félév 1. Síkgráfok és élszínezések A párosításoknál szereplő Petersen-tétel azt állította, hog
DISZKRÉT MATEMATIKA 2 KIDOLGOZOTT TÉTELSOR 1. RÉSZ
DISZKRÉT MATEMATIKA 2 KIDOLGOZOTT TÉTELSOR 1. RÉSZ B szakirány 2014 június Tartalom 1. Fák definíciója ekvivalens jellemzései... 3 2. Hamilton-kör Euler-vonal... 4 3. Feszítőfa és vágás... 6 4. Címkézett
Bevezetés a számításelméletbe II. 1. zh,
Bevezetés a számításelméletbe II. 1. zh, 2014.03.20. 1. Egy 59 csúcsú egyszer gráfban bármely két csúcs fokszámösszege 60- nál nagyobb páros szám. Igaz-e, hogy a gráfban biztosan van Eulerkörséta? 2. Egy
Geometria 1 normál szint
Geometria 1 normál szint Naszódi Márton nmarci@math.elte.hu www.math.elte.hu/ nmarci ELTE TTK Geometriai Tsz. Budapest Geometria 1 p.1/4 Vizsga 1. Írásban, 90 perc. 2. Index nélkül nem lehet vizsgázni!
Diszkrét Matematika GYAKORLAT, Levelező MSc hallgatók számára. 3. Feladatsor
Diszkrét Matematika GYAKORLAT, Levelező MSc hallgatók számára 3. Feladatsor Gyakorlatvezetõ: Hajnal Péter 2011. november 2-ától 1. Párosítások gráfokban 1.1. Alapok 1. Feladat. (i) Bizonyítsuk be, hogy
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára. Párosítások. 1. ábra.
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára Párosítások 2012. november 26. Előadó: Hajnal Péter 1. Javító utas algoritmusok Definíció. Legyen G gráf M párosítás G-ben, P : v 0, e 1, v 1,...,e
Logika és számításelmélet. 11. előadás
Logika és számításelmélet 11. előadás NP-teljesség Emlékeztetőül: NP-teljes nyelv Egy L probléma NP-teljes (a polinom idejű visszavezetésre nézve), ha L NP L NP-nehéz, azaz minden L NP esetén L p L. Azaz
24. tétel. Kombinatorika. A grá fok.
2009/2010 1 Huszk@ Jenő 24. tétel. Kombinatorika. A grá fok. 1.Kombinatorika A kombinatorika a véges halmazokkal foglalkozik. Olyan problémákat vizsgál, amelyek függetlenek a halmazok elemeinek mibenlététől.
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára. 3. Előadás
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára 3. Előadás Előadó: Hajnal Péter Jegyzetelő: Pék Máté 2009. szeptember 21. 1. Folyamok 1.1. Definíció. G = (V, E, K, B) irányított gráf, ha e! v : ekv
A relációelmélet alapjai
A relációelmélet alapjai A reláció latin eredet szó, jelentése kapcsolat. A reláció, két vagy több nem feltétlenül különböz halmaz elemei közötti viszonyt, kapcsolatot fejez ki. A reláció értelmezése gráffal
Englert Ákos. Síkbarajzolható gráfok reprezentációi
Eötvös Loránd Tudományegyetem Természettudományi Kar Englert Ákos Síkbarajzolható gráfok reprezentációi BSc szakdolgozat Témavezet : Bérczi Kristóf Operációkutatási Tanszék Budapest, 2010. El szó Szeretném
Halmazrendszerek alapvető extremális problémái. 1. Sperner-rendszerek és Sperner-tétel
Gráfelmélet/Diszkrét Matematika MSc hallgatók számára Halmazrendszerek alapvető extremális problémái 2014. Előadó: Hajnal Péter 1. Sperner-rendszerek és Sperner-tétel Definíció. S Sperner-rendszer V (n
Hamilton-út, Hamilton-kör-1
KOMBINATORIKA ELŐADÁS osztatlan matematika tanár hallgatók számára Hamilton-út, Hamilton-kör Előadó: Hajnal Péter 2015. 1. A Hamilton-út/kör fogalma Az Euler-vonal olyan vonal volt, amley hossza eléri
KOMBINATORIKA ELŐADÁS osztatlan matematikatanár hallgatók számára
KOMBINATORIKA ELŐADÁS osztatlan matematikatanár hallgatók számára Párosítások gráfokban Előadó: Hajnal Péter 2018 1. A párosítás alapfogalma Definíció. Egy G gráfban egy M élhalmaz párosítás, ha 2 M darab
Láthatjuk, hogy az els szám a 19, amelyre pontosan 4 állítás teljesül, tehát ez lesz a legnagyobb. 1/5
D1. Egy pozitív egész számról az alábbi 7 állítást tették: I. A szám kisebb, mint 23. II. A szám kisebb, mint 25. III. A szám kisebb, mint 27. IV. A szám kisebb, mint 29. V. A szám páros. VI. A szám hárommal