Gyakorlat időpontja és helyszíne: Szerda 08:30-10:00, LD 4-713
Az előadásokat Grolmusz Vince tartja kedden 10:15-11:45 között, a Fejér Lipót teremben (LD 0-805). (Neptun kurzuskód: szamtudm22ea-1)Számonkérés:
Két zárthelyi lesz év közben október 16-án és december 4-én.A zárthelyiken 7 darab 10 pontos feladat lesz kitűzve. Az év végi jegy a két zárthelyi összesített eredménye alapján az alábbiak szerint fog alakulni:
100 pont ≤ 5
080 pont ≤ 4
060 pont ≤ 3
040 pont ≤ 2 [mind a két zárthelyin külön-külön legalább 20 pontot el kell elérni a gyakorlat teljesítéséhez]
Legfeljebb 1 zh-ról lehet igazolatlanul hiányozni. Félév végén lesz egy javító zh, amin egy zh-t lehet javítani vagy pótolni. Ha valakinek a zh-k és a javító zh alapján nem sikerül jegyet szereznie, akkor a teljes félév anyagából írhat gyakuv-t, de arra már csak legfeljebb 2-est lehet kapni.
A zárthelyik mellett lesznek házifeladatok is hétről hétre, amelyek helyes megoldása 2 pluszpontot ér. Ezen felül lesznek csillagos és kétcsillagos feladatok is melyek 3 illetve 5 pluszpontot érnek, és amiket addig lehet beadni ameddig előadáson vagy gyakorlaton le nem zárjuk a kérdést. Összesen legfeljebb 30 pluszpontot lehet beszámítani az év végi jegybe, viszont a pluszpontok nem adnak felmentést a zárthelyinkénti minimum 20 pontos követelmény alól.
A házi- és csillagos feladatokon lehet közösen ötletelni, de mindenki saját maga kell leírja a végső kidolgozott megoldást. Akik közösen dolgoztak egy feladaton írják rá, hogy kikkel ötleteltek.
A házi- és csillagos feladatokat a soron következő gyakorlatok előtt tudjátok beadni, figyeljetek hogy a jól olvashatóak legyenek a megoldások!
Háttéranyagok:
A 2021-es előadás jegyzete (nem hivatalos, lektorálatlan verzió). Alapvető bonyolultsági osztályok: .html Véges automata szimulátor: .html Turing-gép szimulátor: .html RAM-gép szimulátor: .html Hubai Tamás appja:
Előadáshoz kapcsolódó legfrisebb jegyzet: Lovász László: Algoritmusok bonyolultsága
Egyéb ajánlott olvasmányok: Christos H. Papadimitriou: Számítási bonyolultság, Sanjeev Arora és Boaz Barak: Computational Complexity: A Modern Approach.
Egyéb kapcsolódó ismeretterjeszto könyvek: Raymond Smullyan könyvek, pl.: To Mock a Mockingbird, Roger Penrose: A császár új elméje, Douglas L. Hofstadter: Gödel, Escher, Bach