✎ temp:exam [books]

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] o problema de decizie si $math[\mathcal{M} = \{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] o problema NP-dura, $math[g] o problema NP-completa si $math[g \leq_p f]. Care afirmatii sunt adevarate?
  * $math[f \in R]
  * $math[f \in NP]
  * $math[g \in R]
  * $math[g \in NP]

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

4. Care este complexitatea urmatorului program:

<code python>
def f(n):
  if n == 0:
     return 1
  return g(n) + f(n/2) + 1
def g(n):
  if n mod 2 == 0:
     return 2*f(n/2)
  else
     return f(n/2)
</code>

5. Problema sortarii poate fi redusa la SAT? Argumentati raspunsul.

6. Ce putem spune despre un tip de date abstract care are doar constructori de baza **interni**? (Ce este un constructor de baza intern?)