Nalezeny 3 výsledky hledání

Přejít na rozšířené vyhledávání

od muck
1. 2. 2013 19:29
Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
Téma: Zk 23.1.2013
Odpovědi: 5
Zobrazení: 5206

Re: Zk 23.1.2013

\varphi_x(y) nemusi byt definovane a tak sa ti ten predikat "zasekne" hned na prvom testovanom y. Jen na upresneni - predikat se muze "zaseknout" (a neskoncit) prave kvuli tomu, ze se nepouzije konecna aproximace. Blabla to pise dobre. Tento zapis mnoziny S by taky mel byt v por...
od muck
31. 1. 2013 13:31
Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
Téma: Zk 23.1.2013
Odpovědi: 5
Zobrazení: 5206

Re: Zk 23.1.2013

Vypada to spravne :) .
od muck
26. 1. 2013 18:24
Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
Téma: Zk 23.1.2013
Odpovědi: 5
Zobrazení: 5206

Zk 23.1.2013

Zk_23.1.2013.PNG 1) S neni rekurzivni podle Riceovy vety (mame tridu CRF, ktere se zastavi na alespon jednom sudem cisle a ta neni urcite prazdna ani neobsahuje vsechny CRF). Mnozina S je rekurzivne spocetna, protoze ji muzu zapsat pomoci existencnich kvantifikatoru a rekurzivni podminky - v ni se ...

Přejít na rozšířené vyhledávání