od Magon » 25. 1. 2010 23:13
Dnes byl priklad na Nalezeni HK pomoci krabicky na TSP. A Prevod SAT -> 3R-SAT. Vsechno zname a dohledatelne priklady.
Z ustni bylo: Savicova veta, Cook-Levinova veta, ukazat ze TSP bez trojuhelnikove nerovnosti neni aproximovatelny, TSP s trojuhelnikem je aproximovatelny, #P definovat/popsat, Pseudo-polynomialni alogoritmy.
A nevim jestli to byla jen vyjimka, anebo z toho bude pravidlo, ale zadal pouze 2 priklady na pisemnou, je treba alespon jeden vyresit. A velmi prijemne bylo, ze se odevzdavani pisemky dalo iterovat - kdyz bylo neco spatne, tak to donesl zpet a ukazal a rekl at to napravim.
Dnes byl priklad na Nalezeni HK pomoci krabicky na TSP. A Prevod SAT -> 3R-SAT. Vsechno zname a dohledatelne priklady.
Z ustni bylo: Savicova veta, Cook-Levinova veta, ukazat ze TSP bez trojuhelnikove nerovnosti neni aproximovatelny, TSP s trojuhelnikem je aproximovatelny, #P definovat/popsat, Pseudo-polynomialni alogoritmy.
A nevim jestli to byla jen vyjimka, anebo z toho bude pravidlo, ale zadal pouze 2 priklady na pisemnou, je treba alespon jeden vyresit. A velmi prijemne bylo, ze se odevzdavani pisemky dalo iterovat - kdyz bylo neco spatne, tak to donesl zpet a ukazal a rekl at to napravim.