This is an old revision of the document!

1. Fie $ f\in R$ o problema de decizie si $ \mathcal{M} = \{M\mid M \text{ este o masina care accepta }f \}$ . Care afirmatii sunt adevarate:

• $ \mathcal{M}$ este finita
• $ \mathcal{M}$ este numarabila
• $ \mathcal{M}$ nu poate fi vida
• $ \mathcal{M} \subseteq RE$

2. Fie $ g$ o problema NP-dura si $ f \in P$ , astfel incat $ g \leq_p f$ . Care afirmatii sunt adevarate?

• $ P \neq NP$
• $ P = NP$
• $ f$ nu poate exista
• $ g \in P$

3. Dati un exemplu de algoritm care are timpul de executie in $ o(n)$ .

4 Este posibil ca costul amortizat pentru o operatie sa fie mai mare decat costul real pentru operatia respectiva? Justificati.

5. Problema maximului dintr-un vector poate fi redusa la SAT? Argumentati raspunsul.

6. Care este diferenta intre un constructor de baza si un operator al unui TDA? Folositi un exemplu pentru a ilustra raspunsul.