K-INFO
HU
EN
Belépés

Bevezetés a számításelméletbe 2

Introduction to the Theory of Computing 2
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
Tantárgy neve (magyarul, angolul)
Bevezetés a számításelméletbe 2
Introduction to the Theory of Computing 2
Tantárgykód BMEVISZAA01
Tantárgyjelleg
Képzési szint
Kurzustípusok és óraszámok (heti/féléves)
Kurzustípus elmélet gyakorlat laboratóriumi gyakorlat
óraszám (heti) 2 2 0
jelleg (kapcsolt/önálló) kapcsolt
Tanulmányi teljesítmény/értékelés típusa vizsga
Tantárgy kreditértéke 4
Tantárgyfelelős
DR. Szeszlér Dávid
beosztás: egyetemi docens
Tantárgyat gondozó oktatási szervezeti egység
Számítástudományi és Információelméleti Tanszék
Kar Villamosmérnöki és Informatikai Kar
Tantárgy weboldala http://cs.bme.hu/bsz2
Tantárgy elsődleges mintatantervi jellege
Közvetlen előkövetelmények – Erős előkövetelmény nincs
Közvetlen előkövetelmények – Gyenge előkövetelmény nincs
Közvetlen előkövetelmények – Párhuzamos előkövetelmény nincs
Közvetlen előkövetelmények – Mérföldkő előkövetelmény nincs
Közvetlen előkövetelmények – Kizáró feltétel nincs

Célkitűzés

Tantárgyprogram

1)      Kombinatorikai alapismeretek: permutációk, variációk, kombinációk ismétlés nélkül és ismétléssel. Összefüggések a binomiális együtthatók között, Pascal-háromszög, binomiális tétel.

2)      Gráfelméleti alapfogalmak: gráf, egyszerű gráf, fokszám, élsorozat, út, kör, összefüggő gráf, összefüggő komponens, fa, feszítőfa. Az összefüggőség eldöntése, legrövidebb út keresése (élsúlyozatlan, irányítatlan gráfban): a szélességi bejárás (BFS).

3)      Minimális összsúlyú feszítőfa keresése: a Kruskal algoritmus. Síkbarajzolható gráf fogalma, ekvivalencia a gömbre rajzolhatósággal, Euler-féle poliédertétel.

4)      Reláció egyszerű síkgráf éleinek és csúcsainak a száma között. A K5 és K3,3 gráfok síkba nem rajzolhatósága, Kuratowski tétele. Síkgráf duálisa, megfelelések a csúcsok/élek/tartományok száma között, kör és vágás képe.

5)      Euler-út és Euler kör fogalma, ezek létezésének szükséges és elégséges feltétele. Hamilton-út és Hamilton-kör fogalma. Szükséges feltételek ezek létezésére: a k pont törlése után keletkező komponensek maximális száma. Elégséges feltételek: Dirac és Ore tételei.

6)      Páros gráf fogalma, azok karakterizációja páratlan körökkel. A kromatikus szám fogalma. Mohó színezés, felső becslés a kromatikus számra a maximális fokszám függvényében. Maximális klikkméret fogalma, reláció a kromatikus számmal, Mycielski-konstrukció.

7)      Intervallumgráfok optimális színezése. Párosítás, lefogó ponthalmaz, független ponthalmaz, lefogó élhalmaz fogalmai. Reláció a maximális párosítás és a minimális lefogó ponthalmaz mérete között. Gallai tételei.

8)      Maximális párosítás keresése páros gráfokban, a javító utas algoritmus, annak optimalitása. Kőnig tétele a maximális párosítás és a minimális lefogó ponthalmaz méretének egyenlőségéről. Tutte tétele.

9)      Élkromatikus szám fogalma, reláció a maximális fokszámmal, Vizing tétele, Kőnig tétele páros gráfok optimális élszínezéséről. A maximális folyam feladata: hálózat, folyam és folyam értékének fogalma, a javító utas algoritmus maximális folyam keresésére.

10)  Hálózat st-vágásának fogalma, annak kapacitása. Ford-Fulkerson tétel, Edmonds-Karp tétel. Egészértékűségi lemma. Az éldiszjunkt, irányított s-t utak problémája, Menger vonatkozó tétele.

11)  Az éldiszjunkt, irányítatlan s-t utak problémája, a pontdiszjunkt s-t utak problémája irányított és irányítatlan esetben is, Menger vonatkozó tételei. Többszörös pont- és élösszefüggőség fogalmai, Menger vonatkozó tételei.

12)  A legrövidebb út keresésének problémája pozitív élsúlyokkal irányított és irányítatlan gráfban, illetve valós élsúlyokkal irányított gráfban, Dijkstra, Ford és Floyd algoritmusai.

13)  Mélységi bejárás (DFS) irányítatlan és irányított gráfban, az irányított körök felismerése. Aciklikus irányított gráfok, topologikus rendezés. Legrövidebb és leghosszab út keresése aciklikus irányított gráfban.

14)  Ismétlés, összefoglalás, a tanult anyagrészek rendszerezett áttekintése. A szóbeli vizsgára vonatkozó aktuális vizsgatételsor és az egyes vizsgatételekkel kapcsolatos részletes elvárások ismertetése.

A műszaki informatika tanulmányokhoz szükséges és a mérnöki alapműveltséghez tartozó egyes alapvető matematikai ismeretek elsajátítása, azok szemléletmódjának kialakítása.

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

Heti 2 óra előadás és heti 2 órás kiscsoportos gyakorlat.

Tanulástámogató anyagok

Online források
Bevezetés; a számításelméletbe – digitális jegyzet, a tárgy tanszéki weboldaláról; letölthető; Katona; Y. Gyula - Recski András - Szabó Csaba: A számítástudomány alapjai, TypoTeX; Kiadó, 2003.; Friedl; Katalin - Recski András - Simonyi Gábor: Gráfelméleti feladatok, TypoTeX Kiadó,; 2006

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
A Bevezetés a számításelméletbe 1. tárgy anyaga.
Képesség típusú kompetenciák
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
A Bevezetés a számításelméletbe 1. tárgy anyaga.
Általános szabályok
Követelmények: p { margin-bottom: 0.25cm; direction: ltr; line-height: 120%; text-align: left; widows: 2; orphans: 2; } A szorgalmi időszakban: A félév folyamán két zárthelyit íratunk. A félévvégi aláírás megszerzésének (vagyis a vizsgára bocsátásnak) feltétele a zárthelyiken külön-külön legalább 30% -os teljesítmény és a két zárthelyi átlagában legalább 40%-os teljesítmény. Az érvényes TVSz-nek megfelelően a tárgyból korábban megszerzett aláírás 3 évig érvényes. (Részletesebben ez azt jelenti, hogy az aláírás megszerzését követő hatodik félév vizsgaidőszakának végéig az aláírás még érvényes.) Azok a hallgatók, akik egy korábbi félévből érvényes aláírással rendelkeznek, megkísérelhetik újból megírni a zárthelyiket, hogy a korábbi zárthelyik eredményein javítsanak. Erre az esetre az alábbi feltételek vonatkoznak: Ha sikerül újra teljesíteni az aláíráshoz szükséges feltételeket, akkor a vizsgajegybe (lásd lentebb) az így kapott eredmény számít bele (akkor is, ha ez rosszabb). Ha nem sikerül újra teljesíteni az aláíráshoz szükséges feltételeket, akkor az aláírás nem vész el, de a vizsgajegybe csak az aláírás megszerzéséhez szükséges minimális pontszámot számítjuk be. Ha egy érvényes aláírással rendelkező hallgató az aktuális félévben legalább egy zárthelyin megjelenik, azt úgy tekintjük, hogy az illető kísérletet tett az aláírás feltételeinek újbóli teljesítésére (és rá a fenti feltételek vonatkoznak). Ellenkező esetben a legutolsó olyan félévbeli teljesítményt vesszük figyelembe, amikor a hallgató megkísérelte az aláírás feltételeinek teljesítését. A vizsgaidőszakban: Vizsgára az jelentkezhet, aki érvényes aláírással rendelkezik. A vizsga ebből a tárgyból szóbeli. A vizsga megkezdésekor a vizsgázó a tárgyhoz tartozó tételsorból egyetlen tételt kap, amelynek a kidolgozására (vagyis a szóbeli felelethez egy bő jegyzet készítésére) legalább 45 perc áll rendelkezésre. A felelet abból áll, hogy egyrészt a vizsgázó a jegyzeteire támaszkodva részletesen beszámol a húzott tételről, másrészt a vizsgáztató néhány szúrópróbaszerű, az anyag többi részével kapcsolatos kérdésére válaszol. (A vizsga sikerességéhez tehát nem elég a kihúzott tétel ismertetése, az imént említett további kérdésekre is kell tudni válaszolni.) Az elégséges megszerzésének feltétele, hogy a vizsgázó az anyagban szereplő minden definíciót és tételt ki tudjon mondani, illetve tudjon értelmezni. A vizsgajegyet a két zárthelyi eredményéből és a vizsgán nyújtott szóbeli teljesítményből alakítjuk ki olyan módon, hogy abba a zárthelyik átlaga 40 százalék erejéig, a szóbeli vizsga 60 százalék erejéig számít bele. Ha a szóbeli vizsga elégtelen, akkor a vizsgajegy is elégtelen (függetlenül a zárthelyik eredményétől). Ismétlő vizsga esetén a zárthelyikből származó eredmények változatlanul érvényesek. A tárgyhoz tartozó vizsgatételsor félévről félévre változik, az aktuális félévre érvényes vizsgatételsor a tárgy tanszéki weboldaláról tölthető le a szorgalmi időszak utolsó hetétől. Elővizsga: nem lehetséges p { margin-bottom: 0.25cm; direction: ltr; line-height: 120%; text-align: left; widows: 2; orphans: 2; }A szorgalmi időszakban: A félév folyamán két zárthelyit íratunk. A félévvégi aláírás megszerzésének (vagyis a vizsgára bocsátásnak) feltétele a zárthelyiken külön-külön legalább 30% -os teljesítmény és a két zárthelyi átlagában legalább 40%-os teljesítmény. Pótlási lehetőségek: p { margin-bottom: 0.25cm; direction: ltr; line-height: 120%; text-align: left; widows: 2; orphans: 2; } A két zárthelyin kívül a szorgalmi időszakban pótzárthelyi írható, melyen bármelyik (de nem mindkettő) zárthelyi eredménye javítható vagy a hiányzás pótolható.  A pótzárthelyin korábban megírt, eredményes zárthelyi javítása is megkísérelhető, de csak azzal a feltétellel, hogy ilyenkor mindenképpen az új pontszám lesz érvényes, akkor is, ha az rosszabb, mint az eredeti. (Ez alól egy kivétel van: ha a hallgató az aláírás feltételeit már teljesítette, de a javítónak szánt zárthelyi új pontszámával a feltételek valamelyikét nem teljesíti , akkor a hallgató az aláírást megkapja, de a zárthelyikből származó pontszáma az elégségeshez szükséges minimális pontszám lesz.) Amennyiben a zárthelyik és a pótzárthelyi segítségével sem sikerül a feltételeket teljesíteni, a vizsgaidőszak előtti "pótlási héten" lehetőség nyílik az egyik (szabadon választott) zárthelyinek az újbóli pótlására, illetve javítására a feltételek teljesítése érdekében. Ennek a második pótzárthelyi alkalomnak a neve “aláíráspótló vizsga” (de ez természetesen nem helyettesíti a szóbeli vizsgát).
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás
IMSc program: A plusz pontokat a hatékonyabb tanulásért és az anyag magasabb szintű, mélyebb elsajátításáért kapják a hallgatók. A gyakorlatokon más feladatokat dolgozunk fel, mint a többi kurzuson. Kevesebb bevezető, rutin, gyakorló feladat szerepel és több nehezebb, gondolkodtatóbb feladat lesz. IMSc pontok: Mindkét zárthelyin és a szóbeli vizsgán is 60 pontot lehet elérni. Az IMSc pontokat az alábbi képlettel számítjuk ki, ahol zh1 és zh2 az első, illetve második zárthelyin, v pedig a szóbeli vizsgán szerzett pontszám. IMSc_pont = min(20, max(0,zh1-50) + max(0,zh2-50) + max(0,v-50)). Az IMSc pontok megszerzése a programban nem résztvevő hallgatók számára is biztosított. Az aláírás és a vizsgajegy megszerzése mindenki számára egységes követelmények szerint, a 10. pontban leírtaknak megfelelően történik, ezt az IMSc pontok nem befolyásolják. A vizsgán kapott végső jegyet meghatározó pontszámot az alábbi képlettel számítjuk ki. végső_pont = 0,4*(min(50,zh1) + min(50,zh2)) + 1,2*min(50,v). A végső jegy a végső pontszám alapján: 0-39: elégtelen, 40-54: elégséges, 55-69: közepes, 70-84: jó, 85-100: jeles.
Ajánlott tantárgyak

Nincs megadva.

A tantárgy elvégzéséhez szükséges tanulmányi munka

Nincs megadva munkaidő bontás.

Tantárgykövetelmények hatályossága
Tantárgykövetelmények hatályosságának kezdete:
Tantárgykövetelmények hatályosságának vége:
Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.