Programarea sustinerii referatelor

Fiecare prezentare va dura 15 minute (luni), respectiv 10 minute (vineri)

Nr. Tema Studenti Grupa

14 Functii recursive ALEXANDRU Larisa 405 1 luni 10 nov. ora 16

37 Limbaje formale vs limbi naturale ANGHEL Adrian Mihai 405 2

45 Masini Turing alternante BITCA Andrei 405 3

1 Reducerea schemelor de recurenta BURTEA Bogdan 405 4 luni 10 nov. ora 17

16 Algoritmi normali Markov CANDEA Stefan 405 5

17 Automatul Markov; implementare, complexitate CANDEA Stefan 405 6

36 Programarea lineara DIANU Daniela 405 7 luni 10 nov. ora 18

8 Probleme de decizie: abordare eficienta FUNARU Gabriel Madalin 405 8

3 Teza Church Turing (cele 2 variante) GANEA Alexandra 405 9

7 Clasa de probleme coNP JURUBITA Robert 405 10 luni 10 nov. ora 19

9 Probleme de optimizare: abordare eficienta MALAIASI Laura Georgiana 405 11

5 Masuri de complexitate MIDOSCHI Alina 405 12

6 NP-completitudine MINCU Ion 405 13 vineri 14 nov, ora 10

62 Pattern matching POSEA Elena 405 14

4 Masini Turing: variante neclasice SARARU Andreea 405 15

63 Algoritmi intreruptibili SEVERIN Alexandru 405 16

55 Algoritmul Strassen, a la russe STOICA Florentina 405 17

47 Izomorfims si NP-completitudine CRISTEA Eliza 406 18 vineri 14 nov, ora 11

26 Variante ale SAT DUMITRU Alexandru-Razvan 406 19

15 Sisteme Post GEORGESCU Robert Mihail 406 20

27 KP HORNET Alina 406 21

44 Modele de calcul paralel (Balcazar, vol 2, cap 2) MIHAI Diana 406 22

22 Teoria complexitatii Kolmogorov Martin-Lof PLESU Haralambie 406 23 vineri 14 nov, ora 12

2 Echivalenta modelelor de calculabilitate clasice STRATULAT Marius Sorin 406 24

58 Algoritmi pentru interogarea BD TUNDREA Cristina 406 25

61 Sisteme Lindenmeyer ZAILIC Adrian Constantin 406 26

49 Reductibilitatea polinomiala determinista si nedeterminista

timp (relativizare: (Balcazar, vol 2, cap 7)

BELEIU Diana 407 27

43 Masini Turing si masini vectoriale BUDAU Gabriel 407 28 vineri 14 nov, ora 13

39 Masini Turing cu oracole TARASA Octavian 407 29

13 l Calcul VLAD Ioana 407 30

41 Complexitatea circuitelor boolene ANTAL Alexandru 408 31

18 Teoria complexitatii abstracte Blum BERILA Vlad 408 32

56 Reducerea complexitatii algoritmilor proiectati prin metoda

programarii dinamice

BURCEA Iulian Catalin 408 33 vineri 14 nov, ora 14

10 Probleme de decizie rezolvate cu modele de calculabilitate

neconventionale

CAZACU Alexandru 408 34

59 Distanta de editare dintre dou cuvinte DRUIU Marius 408 35

25 SAT LACEANU Ionut 408 36

31 Clique MANCIU Bogdan 408 37

24 Probleme de taieturi in grafuri MANDACHE Robert 408 38 vineri 14 nov, ora 15

23 TSP MIHAI Alexandru 408 39

53 Problema RMQ; reducerea complexitatii prin metoda

programarii dinamice

MIHAI Bogdan 408 40

11 Probleme de optimizare rezolvate cu modele de

calculabilitate neconventioanle

PAVILEANU Mircea" 408 41

60 Obfuscarea programelor PETCU Ion Cristian 408 42

12 Metode euristice pentru rezolvarea unor probleme NP-

complete

POASCA Mihail 408 43 vineri 14 nov, ora 16

65 P vs NP VASILE Razvan 408 44

51 Criptografie DOLEA Radu 505 45