Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. 1. Fie $math[f\in RE] o problema de decizie si $math[\mathcal{M} = \{M\mid M \text{ este o masina care decide }f \}]. Care afirmatii sunt adevarate: * $math[\mathcal{M}] este finita * $math[\mathcal{M}] este numarabila * $math[\mathcal{M}] **nu poate fi vida** * $math[\mathcal{M} \subseteq RE] 2. Fie $math[g \leq_p f] iar $math[f] este o problema NP-dura. Care afirmatii sunt adevarate? * $math[g] este NP-dura * $math[f] este NP-completa * $math[g \in NP] * $math[f \in NP] * $math[f \in R] 3. Dati un exemplu de functie care sa apartina $math[o(n^2)] si $math[\omega(n\log(n))]. 4. Care este complexitatea unui algoritm care simuleaza executia unei masini Turing $math[M] pe un cuvant $math[w], pentru 100 de pasi? 5. Care este complexitatea simularii urmatoarei proceduri: <code python> def f(l): x = choice(l) s = x for i in range(0,len(l)): s = s + l[i] </code> 6. Ce putem spune despre un tip de date abstract care are doar constructori de baza **interni**? (Ce este un constructor de baza intern?)