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_f} = \{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[f \in NP] si $math[g \in NP], astfel incat $math[g \leq_p f]. Care afirmatii sunt adevarate? * daca $math[f \in P] atunci $math[P = NP] * daca $math[g \in P] atunci $math[P = NP] * $math[f] si $math[g] sunt NP-complete * $math[f \leq_p g] 3. Ce notatie asimptotica descrie cel mai bine functia $math[f/g] daca $math[f\in \Theta(n\log(n))] si $math[g\in O(n)] ? 4. Care este relatia de recurenta a unei **proceduri eficiente** care cauta o valoare intr-o lista sortata? 5. Care este complexitatea simularii urmatoarei proceduri: <code python> def f(l): x = choice(l) s = x for i in range(0,len(l)): y = choice({True,False}) if y: s = s + l[i] </code> 6. Definiti constructori de baza pentru a reprezenta tipul de date **numar natural**. Care este schema unei demonstratii prin inductie structurala pentru acest tip de date?