# [Zk] 27.01.2011

<{ForumPost(poster="Mousak", timestamp=2011-01-27 18:54:14)}>
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](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](/Forum%20archiv/Attachments/3958_c7e6e261e340b9066c8dcdf8caf57af3)*

<{/ForumPost}>

<{ForumPost(poster="bishop", timestamp=2011-01-28 08:37:11)}>
Ahoj,  
mohl by nekdo podrobneji rozvest priklad 3]?
<{/ForumPost}>