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\setminus R] 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[g] o problema NP-dura, iar $math[h \in NP]. Daca $math[g \leq_p f \leq_T h], care afirmatii sunt adevarate? * $math[h] este NP-dura * $math[f] este NP-dura * $math[h] este NP-completa * $math[f] este NP-completa * $math[g] este NP-completa 3.Dati un exemplu de algoritm care are timpul de executie $math[\omega(n^5)]. 4. Care este complexitatea extragerii unui element de la pozitia $math[i] dintr-un LinkedList de lungime $math[n]? Dar dintr-un ArrayList implementat folosind strategia de dublare a capacitatii prezentate la curs? 5. Fie urmatoarea formula: $math[(\lnot x \vee y \vee \lnot u \vee \lnot z) \wedge (x \vee \lnot z) \wedge (\lnot v \vee \lnot y \vee \lnot z) \wedge (\lnot z \vee v)]. Care ar fi numarul maxim de pasi executat de un SAT Solver pentru a verifica daca aceasta formula este satisfiabila? 6. Definiti axiome pentru interclasarea a doua liste.