[Zk] 27.01.2011

Zkouška 27.01.2011 (varianta D):

20110127_D.jpg

1. Riceova veta + ukazat, ze non S je rek. spocetna

2. B je netrivialni: $\exists b \in B, b' \in B \backslash N$ a def. $f(x) = \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

Attachments:

• 20110127_D.jpg

Ahoj,
mohl by nekdo podrobneji rozvest priklad 3]?