[Zk] 27.01.2011
Napsal: 27. 1. 2011 18:54
Zkouška 27.01.2011 (varianta D):
1) Riceova veta + ukazat, ze non S je rek. spocetna
2) B je netrivialni:
a def.  = \chi_{A}(x) * b + (1 - \chi_{A}(x)) * b')
3) pres pocet vsech konfiguraci TS
4) Pres vrcholove pokryti, S = V, C = E.
5) lze ukazat pres graf (tohle je snad ono http://cgm.cs.mcgill.ca/~breed/308252B/2sat.ps )
Dr. Kucera tu posledni tyden zkouskoveho nebude, takze vice terminu asi uz nevypise.
Hodne stesti
2) B je netrivialni:
3) pres pocet vsech konfiguraci TS
4) Pres vrcholove pokryti, S = V, C = E.
5) lze ukazat pres graf (tohle je snad ono http://cgm.cs.mcgill.ca/~breed/308252B/2sat.ps )
Dr. Kucera tu posledni tyden zkouskoveho nebude, takze vice terminu asi uz nevypise.
Hodne stesti