[Zk] 27.01.2011

Mousak
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 15. 1. 2008 22:04
Typ studia: Informatika Bc.

[Zk] 27.01.2011

Příspěvek od Mousak »

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
bishop
Matfyz(ák|ačka) level I
Příspěvky: 6
Registrován: 16. 1. 2008 11:24
Typ studia: Informatika Bc.

Re: [Zk] 27.01.2011

Příspěvek od bishop »

Ahoj,
mohl by nekdo podrobneji rozvest priklad 3]?
Odpovědět

Zpět na „NTIN090 Základy složitosti a vyčíslitelnosti“