[Zk] 27.01.2011

[Zk] 27.01.2011

Příspěvekod Mousak » 27. 1. 2011 18:54

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

Re: [Zk] 27.01.2011

Příspěvekod bishop » 28. 1. 2011 08:37

Ahoj,
mohl by nekdo podrobneji rozvest priklad 3]?
bishop
Matfyz(ák|ačka) level I
 
Příspěvky: 6
Registrován: 16. 1. 2008 11:24
Typ studia: Informatika Bc.


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

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník