This is an old revision of the document!

1. Fie $ M$ o masina Turing si $ \mathcal{M} = \{f\mid f \text{ este decisa de }M \}$ . 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. Ce notatie asimptotica descrie cel mai bine functia $ f/g$ daca $ f\in \Theta(n\sqrt{n})$ si $ g\in o(sqrt(n))$ ?

4. Care este diferenta intre costul mediu per operatie si costul amortizat?

5. Care este complexitatea simularii urmatoarei proceduri:

def f(l):
  x = choice(l)
  s = x
  for i in range(0,len(l)):
     s = s + l[i]

6. Definiti axiome pentru interclasarea a doua liste.