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] //Solutie: Numarabila, poate fi vida (dar nu finita finita) deoarece f apartine RE// 2. Fie $math[g] o problema NP-dura si $math[f \in P], astfel incat $math[g \leq_p f]. Care afirmatii sunt adevarate? * $math[P \neq NP] * $math[P = NP] * $math[f] nu poate exista * $math[g \in P] 3. Care dintre functiile ilustrate mai jos, este, cel mai probabil in $math[O(n\log(n))]? {{ :aa:exam:examen_sesiune_03.png?600 |}} 4. Care este complexitatea urmatoarei proceduri: <code python> def f(x,n): if n == 0: return False k = sqrt(n) if x == k: return True else: return f(x,k) + 1 </code> 5. Codificati dubla implicatie logica ca o formula SAT in Forma Normal Conjunctiva. 6. Definiti axiome care verifica daca un arbore este heap.