31.08.

2015

1. Complexitatea pt T(n) = 5T(n/5) + 1

2. Ipoteza inductiv i pasul de inducie pentru rezolvarea recurenei de la exerciiul 1 prin
metoda substituiei.
3. A este mulimea NP-dur, iar B este mulimea problemelor deterministe polinomiale. Care este
relaia de incluziune ntre cele dou mulimi A i B ? (!!!Asistentul a zis ca raspunsul corect e
ceva de genul ca nu prea se poate preciza, ma rog, nu am inteles prea bine :)). Eu am desenat
figura aia cu incluziunile si am zis ca intersectia dintre NP-dura si P e multimea vida si mi-a dat
0 pct pe subiectul asta)
4. Daca A e multimea functiilor recursiv-enumerabile si B multimea functiilor complementare
celor recursiv-enumerabile, daca e adevarat ca A intersectat cu B = multimea vida? Justificati.
5. f(int x, int y){
if(x == y) return 0;
else return f(x+y, x+y);} Complexitate.
6. Daca Q redus polinomial la R si R redus polinomial la Q: Q <=p R, R <=p Q. Care dintre cele
dou probleme este NP-complet ?
7. Definii un TDA pentru o stiv cu numere naturale.
8. Definii size i clean(terge toate elementele din stiv) pentru TDA-ul de la exerciiul 7.
9. Care este relaia ntre O(n^alpha), alpha aparine N, i P ?

26.01.2015

examen 2
1. (i) o(n) intersectat cu w(n) = mult vida
(ii) theta(n) intersectat cu theta(c*n) = mult vida
Care e adevarata, daca sunt aman2...
2. T(n)=5*T(n/4)+1
3. Algoritm
4. Un TDA list si operatia o cu axiomele: o([],l)=l o(l,[])=l o(e:l,e':l)=e':e:o(l,l')
Cat iti da o(5:6:[],5:[])
5. C1:->X
C2:Y->X
C3:X*Y*X->X
Cate ipoteze inductive?
6. Dr who a rezolvat Halting Problem in timp exponential. Variante de genul R=RE... Corect era
ca Dr who a mintit
7. 6 axiome pt drop. Ce combinatie il caracterizeaza?
8. Ceva cu doua reduceri si f1 si f2 apoi relatii cu fh<f1...
9. ANP BNPC. Aveai relatii de genul: a) A<B => ANPC
b) AP => B<A
c) BP => AP //corecta
10. Cv cu incluziunile NPC, NP, P

Raspunsuri pt pozele de pe 26.01.2015:

1.b ; 2.e ; 3.b ; 4.c ; 5.c ; 6.e ; 7.D2,D3,D6 sunt corect (am uitat sa scriu variantele la ea, scuze)
9.c 10.b si c (acolo ne-a dat la toti punc ca erau doua variante si a zis ca a formulat gresi enuntu)

8.T1: /\/\ x * -> /\/\

T1(M,w)=M'

M'(w)= if M halts 'aa' else

T2(M)=M

f1(M)=1 <=> orice w M(w)='aa'

f2(M)=1 <=> exista w M(w)='aa'

Care reductie NU este adevarata

a) fh (T1) f1
b) fh (T1) f2
c) f1 (T2) f1
d) f1 (T2) f2
e) f2 (T2) f2
R: d

Raspunsuri corecte pt poza de pe 27.01.2015:

Raspunsul corect la 5 este e) si la 9 d)

In rest sunt ok iar la 1 este corect si a)

21.01.2015:
Recurenta T(n)=3T(n/2)+1 si la TDA functia taken parca care scoate n elemente dintr-o lista daca
ele exista daca nu returneaza lista vida si valorile de adevar la O(f( n))=logn si O(g(n))=n atunci
O(f(n))=LOG(GN) si mai era inca una atat imi mai amintesc eu

Mai era una cu multimile alea: P, NP, NPC, NPD, R, RE... Sa le stiti bine care in care e inclusa...

Dr Who a creat un algoritm determinist pentru K-Vertex-Cover si ruleaza in O(n^5 * log(n))

Care afirmatie este corecta:

K-Vertex-cover nu este inclus in NP

K-Vertex-cover nu este inclus in P
K-Click nu este inclus in NP
EDIT:
N!=NP
K-vertex-Cover nu este in R

un TDA "o"

o([],l)=l
o(e:l,l')=o(l,e:l')

o(5:6:[],5:[])=?

La un subiect spunea ca Dr Who a reusit sa rezolve VertexCover(parca, in orice caz ceva NPC) in
timp polinomial si trebuia sa spui ce implica lucrul asta, aveai de ales chestii de genul P != NP;
vertexcover nu apartine R etc.

Alt subiect spunea ca ai doua probleme una NPC si alta aleatoare si ca variante erau reduceri
polinomiale si apartenenta la clase de complexitate.

La alt punct se dadea o MT si doua probleme, iar variantele erau cu reduceri Turing intre
probleme sau intre probleme si fh.

Au fost si vreo 3 cu TDA, ce axiome definesc corect un operator, cum arata lista dupa aplicarea
lui take si de cati pasi de inductie / caz uri de baza este nevoie daca ai 3 constructori pentru un
TDA.

L.E. trebuia sa spui cum arata lista nu dupa aplicarea lui take, ci dupa aplicarea operatorului pe
care l-a scris mai sus.
i) f(n)=O(log(n)) si g(n)=O(n) => f(n)=O(log(g(n)))
ii) f(n)=(log(n)) si g(n)=O(n) => f(n)=(log(g(n)))

variante
i si ii adevarate
doar i
doar ii
niciuna
ambele pentru functii monotone strict crescatoare

Un TDA cu take:NxList->List

6 axiome numerotate dintre care imi amintesc

T1 take(0,l)=[]
T2 take(0,l)=l
T3 take(n+1,e:l)=take(n,l)
T4 take(n+1,e:l)=e:take(n,l)
T5 ?
T6 ?

cerea care combinatie e corecta

un TDA(?) X

C1:->X
C2:YxX->X Y!=X
C3:X->X

si o proprietate X.P(x)
se aplica inductie structurala
m= numar cazuri de baza
n= numar pasi inductie

m si n sunt:

30
21
22
12
03

/\/\= multimea tuturor masinilor turing

T: /\/\ x * -> /\/\

T(M,w)=M'

M'(w)= if M halts 'aa' else

f1(M)=1 <=> orice w M(w)='aa'

f2(M)=1 <=> exista w M(w)='aa'

Care reductie este adevarata

fh f1
f1 f2
f1 fh
f2 f1
f2 fh