# Zk 13.2.2013

<{ForumPost(poster="kolage", timestamp=2013-02-13 15:04:58)}>
Nejake poznamky:  
  
1. Chce to nejak prevest z halting problemu / z K1 na tuto mnozinu S a dokazat tak, ze neni rekurzivni. Pak dokazat, ze -S je R.S. (-S = {<x,y> | Wx prunik Wy je neprazdny} ... f ~ existuje z: z in Wx & z in Wy - zhruba takto - to je RSP)  
2. Jednoduse pres SMN vetu - klasika  
3. Asi nejsnadneji z vrcholoveho pokryti (k se zanecha a, ale s mnozinou R se pak nejak machruje ?!)

*Attachments:*

- *[ZSV-130213.png](/Forum%20archiv/Attachments/5257_1b4130db79d927deaf53b331f05f5544)*

<{/ForumPost}>