Kombinatorikus számítási modellek (MSc 2017 elõtt)

Tanszék: Halmazelmélet és Matematikai Logika Tanszék

Tematika:
: Döntési fák, tartózkodó függvények, alsó becslések. Kommunikációs bonyolultság, mátrix szeletelés, rang-becslés. Elágazó programok, korlátos szélességû programok. Formulák, Khrapcenko-módszer, monoton formulák, alsó becslések. Hálózatok, monoton hálózatok, Razborov-módszer.

Előfeltétel: nincs.

Helyettesítő tárgyak: nincsenek.

Előadások:
Kurzuskód: MMN042E Kredit: 3 Óraszám: 2 hetente
Kurzuskód: MML042E Kredit: 3 Óraszám: 12 félévente