od Mousak » 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.
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
Zkouška 27.01.2011 (varianta D):
[attachment=0]20110127_D.jpg[/attachment]
1) Riceova veta + ukazat, ze non S je rek. spocetna
2) B je netrivialni: [latex]\exists b \in B, b' \in B \backslash N[/latex] a def. [latex]f(x) = \chi_{A}(x) * b + (1 - \chi_{A}(x)) * b'[/latex]
3) pres pocet vsech konfiguraci TS
4) Pres vrcholove pokryti, S = V, C = E.
5) lze ukazat pres graf (tohle je snad ono [url]http://cgm.cs.mcgill.ca/~breed/308252B/2sat.ps[/url] )
Dr. Kucera tu posledni tyden zkouskoveho nebude, takze vice terminu asi uz nevypise.
Hodne stesti