Es laikam izdomāju, kā varētu padarīt drošas rekursīvas orākula tipa sistēmas, ja mums ir iespēja noteikt to utilītfunkciju. Nosakam, ka atbildes atrašanai nevar izlietot tik daudz resursu, lai tas padarītu neiespējamu citu atbilžu atrašanu.
(Lasīt komentārus)
Nopūsties: