Seminar za matemati~cku logiku i osnove matematike
povijest

Sa~zetak:

Igre parnosti predstavljaju fundamentalne beskona~cne igre za
dva igra~ca. Bit ~te dan dokaz pozicionalne determiniranosti
takvih igara, odakle ~te slijediti da se problem odlu~civanja
pobjednika u takvim igrama nalazi u presjeku NP i co-NP
(~cak ~stovi~se, u presjeku UP i co-UP), te ~te kao direktna
posljedica biti dan EXPTIME algoritam za ra~cunanje pobjedni~ckih
strategij~a. Razmotrit ~te se i ideje najefikasnijih do danas
poznatih algoritama za ra~cunanje pobjedni~ckih strategij~a, pri
~cemu jo~s uvijek nije poznato postoji li polinomijalan (ili
barem ZPP) algoritam za rje~savanje tog problema.