A félév folyamán pluszpontokat is lehet gyűjteni az óra alatt tett érdemi hozzászólással/hibajelzéssel, illetve szorgalmi feladatok megoldásával.
1. Részhalmazok, binomiális együtthatók: A kombinatorika alapelvei. Részhalmaz karakterisztikus vektora. Egy n elemű halmaz részhalmazainak száma.
A binomiális együtthatók definíciója. A binomiális együtthatók rekurzív kiszámítási módja.
A Pascal-háromszög és alaptulajdonságai (szimmetria, egy sor elemeinek összege). Képlet az (nk) binomiális együtthatóra. Binomiális tétel.
2. Multihalmazok: Multihalmazok szemléletes és precíz definíciója. Az alapfogalmak (multihalmaz elemei, elemszáma, részmultihalmazai) precízen.
Részmultihalmazok száma. Egy n elemű halmaz feletti k elemű multihalmazok száma.
3. Sorbaállítások, átrendezések: Sorbaállítás definíciója. Egy n elemű halmaz sorbaállításainak száma.
Multihalmaz sorbaállítása, és a sorbaállítások száma. Trinomiális és multinomiális tétel (bizonyítás nélkül).
Átrendezések (permutációk) definíciója. Egy n elemű halmaz átrendezéseinek száma. Ciklusok. Minden permutáció ciklusokra bomlik.
4. Logikai szita: A szita formula. Alkalmazás: Fixpont nélküli permutációk száma (elcserélt levelek problémája).
5. Lineáris rekurziók: Lineáris rekurziók és megoldásuk (általam adott lineáris rekurziót kell tudni megoldani).
Fibonacci-számok definíciója és zárt alakja.
Karakterisztikus polinom többszörös gyökei esetén a teendő: Lineáris rekurziók alaptétele
(a másodrendű esetet elég tudni kezelni).
6. Gráfelméleti alapok: Egyszerű gráf, (általános) gráf definíciója; hurokél, párhuzamos élek. Csúcs fokszáma. Reguláris gráfok.
Izolált csúcs. Fokszámtétel (a fokszámösszeg és az élszám kapcsolata). Irányított gráfok (informálisan), kifokok, befokok, fokszámtétel irányított gráfokra.
Néhány speciális gráf: teljes gráf, út-gráf, kör-gráf. Egyszerű gráf komplementere. Gráfok izomorfiája. Csúcs- és élelhagyás. Részgráf; feszítő és feszített részgráf. Séta, vonal, út, kör.
7. Euler-vonal: Euler-vonal definíciója (nyílt és zárt). Euler-tétel (csak az egyszerűbb irány bizonyításával).
A történelmi példa:
Königsberg (ma Kalinyingrád) térképe Euler idejében, és a
gráf.
8. Hamilton-út, Hamilton-kör: Hamilton-út, Hamilton-kör definíciója. Dirac-tétel (bizonyítás nélkül).
9. Összefüggőség, fák: Összefüggőség. "Sétával való összekötöttség" reláció, komponensek.
Fák ekvivalens definíciói (hasznos minél többet ismerni, de elég annyi, amennyi előadáson előjött).
Feszítőfák összefüggő gráfokban. Levelek. Ághajtás operáció, fák "struktúratétele" (fák jellemzése ághajtás operációkkal). A fa éleinek száma.
10. Páros gráfok: Páros gráfok definíciója és jellemzésük páratlan körökkel (csak az egyszerű irányt gondoltuk végig). A páros gráfok és a csúcsszínezések kapcsolata.
Fokszámösszeg a két színosztályban.
11. Csúcsszínezések, síkgráfok: Jó színezés és kromatikus szám. Klikkek, ω(G) paraméter. A χ(G) és ω(G) paraméterek kapcsolata.
Síkgráfok definíciója. Négyszín-tétel (biz. nélkül). A két alappélda nem síkgráfokra.
A tananyagnál jóval bővebb segédanyag síkgráfokhoz. Ebből záróvizsgára kell (vizsgára nem): Gráfok felosztása, Kuratowski-tétel kimondása.
12. Párosítások: Párosítások, teljes párosítások, ν(G) paraméter. Párosítások páros gráfokban:
Kőnig-akadály (mit akadályoz meg, és miért). Kőnig—Hall-tétel, Kőnig—Frobenius-tétel kimondása. Egy alkalmazás: teljes párosítás létezése reguláris páros gráfokban.
13. Ramsey-elmélet: Egyszínű háromszögek K6 piros/kék-élszínezéseiben. Ramsey-tétel kimondása. Az R(k) Ramsey-számok.
A kombinatorika alapelvei
Részhalmazok, multihalmazok
Átrendezések
Logikai szita
Rekurziók, Fibonacci-számok, Catalan-számok
Gráfelméleti alapok
Euler-vonal, Euler-tétel
Hamilton-út, Hamilton-kör, Dirac-tétel
Kompenensek
Páros gráfok, csúcsszínezések
Síkgráfok
Párosítások
Ramsey-elmélet (és extremális gráfelmélet)
Lásd CooSpace.
1. Kombinatorikus alapelvek, részhalmazok
2. Binomiális együtthatók, polinomok
3. Multihalmazok
4. Sorbaállítások, átrendezések
5. Logikai szita
6. Rekurziók
7. Gráfelméleti alapok
8. Séták, vonalak, utak, körök
9. Fák
10. Páros gráfok, kromatikus szám
Hajnal Péter: KOMBINATORIKAI FOGALOMTÁR (a legtöbb elhangzott definíció benne van)
A fő írott segédanyag a korábbi előadó, Hajnal Péter internetes jegyzete a kurzushoz: 2016/2017-es tanév
A tanárszakos kurzushoz készült jegyzet kevesebb anyagot tartalmaz, viszont olvasmányosabb: 2014/2015-ös tanév
Euler-vonal: #1 (zárt),
#2 (zárt),
#3 (nyílt).
Hamilton-út: #1, #2.
Hamilton-kör: #1, #2, #3.
Komponensek: #1 (gráf 4 komponenssel),
#2 (gráf 3 komponenssel),
#3 (gráf 3 komponenssel).
Fa: #1, #2, #3.
Feszítőfa: #1.
Gyökeres fa lerajzolása: #1 (gyökér: 'r'), #2 (gyökér: 'a').
Síkgráf duálisa: #1, #2, #3, #4.
A duális gráf az eredeti gráf lerajzolásától is függ: #1.
Jó (csúcs)színezés: #1, #2.
Térképszínezési probléma / négyszíntétel szemléltetése: #1, #2.
Párosítás: #1 (nem teljes), #2 (teljes),
#3 (páros gráf egy párosítása), #4 (páros gráf egy A-t lefedő párosítása),
#5 (páros gráf egy teljes párosítása).
Kőnig-akadály: #1, #2. Lefogó ponthalmaz: #1.
Turán-gráf: #1 (T13,4, T14,4, T13,2 és T14,3), #2 (T7,3).
A képek többségét más oldalakról linkeltem (az URL-ből kiolvasható/megkereshető a forrás).
Hajnal Péter: Összeszámlálási problémák (Polygon Jegyzettár)
Hajnal Péter: Gráfelmélet, II. kiadás (Polygon Jegyzettár)
Lovász László: Kombinatorikai problémák és feladatok (Typotex, ingyenesen olvasható az interneten)
Bóna Miklós: Introduction to Enumerative Combinatorics (McGraw-Hill)
Reinhard Diestel: Graph Theory (Springer-Verlag, ingyenesen olvasható az interneten)
Richard P. Stanley: Enumerative Combinatorics, Vol. 1-2 (Cambridge University Press)
Benny Sudakov: Graph Theory (internetes jegyzet)
The On-Line Encyclopedia of Integer Sequences
Online rekurzió megoldó
The book "generatingfunctionology"
