ALGORITMICA GRAFURILOR S apt am ana 1

C. Croitoru
croitoru@info.uaic.ro FII

October 1, 2013

1 / 47

OUTLINE

Descrierea cursului Interesul penru grafuri n Informatic a Elemente introductive de complexitate Problemele pentru seminarul 1

2 / 47

DESCRIEREA CURSULUI
Pagina cursului http://thor.info.uaic.ro/ croitoru/ag/

3 / 47

DESCRIEREA CURSULUI
Pagina cursului http://thor.info.uaic.ro/ croitoru/ag/ Obiective
Student ii vor familiarizat i cu not iunile si rezultatele de baz a ale Teoriei Algoritmice a Grafurilor, care vor aplicate n proiectarea de algoritmi ecient i pentru diverse probleme de optimizare combinatoric a.

4 / 47

DESCRIEREA CURSULUI
Pagina cursului http://thor.info.uaic.ro/ croitoru/ag/ Obiective
Student ii vor familiarizat i cu not iunile si rezultatele de baz a ale Teoriei Algoritmice a Grafurilor, care vor aplicate n proiectarea de algoritmi ecient i pentru diverse probleme de optimizare combinatoric a.

Tematic a General a
Clase de Complexitate, Vocabular al Teoriei Grafurilor, Probleme de drum(parcurgeri, drumuri minime, conexiune), Arbori part iali de cost minim (union-nd, complexitate amortizat a), Cuplaje, Fluxuri, Reduceri polinomiale pentru probleme de decizie pe grafuri, Abord ari ale problemelor NP-dicile, Grafuri Planare.

5 / 47

DESCRIEREA CURSULUI
Competent e acumulate Utilizarea grafurilor ca limbaj de modelare formal a. Cunoa sterea algoritmilor de baz a pentru problemele clasice pe grafuri. Recunoa sterea complexit a tii de calcul pentru probleme de optimizare.

6 / 47

DESCRIEREA CURSULUI
Competent e acumulate Utilizarea grafurilor ca limbaj de modelare formal a. Cunoa sterea algoritmilor de baz a pentru problemele clasice pe grafuri. Recunoa sterea complexit a tii de calcul pentru probleme de optimizare. Metode de predare
Prezentari video ale slide-urilor (cont in and notele de curs) disponibile in format pdf la inceputul semestrului.

http://thor.info.uaic.ro/ croitoru/ag/ag 13-14 allinone.pdf

7 / 47

DESCRIEREA CURSULUI
Competent e acumulate Utilizarea grafurilor ca limbaj de modelare formal a. Cunoa sterea algoritmilor de baz a pentru problemele clasice pe grafuri. Recunoa sterea complexit a tii de calcul pentru probleme de optimizare. Metode de predare
Prezentari video ale slide-urilor (cont in and notele de curs) disponibile in format pdf la inceputul semestrului.

http://thor.info.uaic.ro/ croitoru/ag/ag 13-14 allinone.pdf Tematica seminariilor

Fiecare seminar dezbate c ateva probleme (unele dintre ele dicile !) pentru a aprofunda subiectele introduse la curs. Toate problemele sunt postate la nceputul semestrului astfel nc at student ii interesat i s a caute solut ii originale sau s a studieze probleme similare n bibliograa nrudit a.
8 / 47

DESCRIEREA CURSULUI
Bibliograe CROITORU C., Tehnici de baz a n optimizarea combinatorie, Editura Univ. Al. I. Cuza Iasi, Iasi,1992. CROITORU C., Introducere in proiectarea algoritmilor paraleli, Editura Matrix Rom, Bucuresti, 2002. TOMESCU I., Probleme de combinatoric a si teoria grafurilor, Editura did. si ped., Bucuresti,1981. DIESTEL R., Graph Theory, Electronic Edition. CORMEN T.H., Leiserson C.E., Rivest R.L., Stein C., Introduction to Algorithms,MIT Press 2001.

9 / 47

DESCRIEREA CURSULUI
Bibliograe CROITORU C., Tehnici de baz a n optimizarea combinatorie, Editura Univ. Al. I. Cuza Iasi, Iasi,1992. CROITORU C., Introducere in proiectarea algoritmilor paraleli, Editura Matrix Rom, Bucuresti, 2002. TOMESCU I., Probleme de combinatoric a si teoria grafurilor, Editura did. si ped., Bucuresti,1981. DIESTEL R., Graph Theory, Electronic Edition. CORMEN T.H., Leiserson C.E., Rivest R.L., Stein C., Introduction to Algorithms,MIT Press 2001. Suplimentar
http://thor.info.uaic.ro/ croitoru/ag/resurse bibliograce (optionale)

10 / 47

DESCRIEREA CURSULUI
EVALUARE

Punctajul minim de promovare: 50 puncte.

11 / 47

DESCRIEREA CURSULUI
EVALUARE

Punctajul minim de promovare: 50 puncte.

FORME:
Activitatea de la seminar (prezent a, participare la dezbateri): 0-18 puncte. Teme pentru acas a (3 teme, n s apt am anile 5, 9,13), maxim 14 puncte ecare: 0-42 puncte. Testul nal scris (open books): 0-60 puncte.

12 / 47

DESCRIEREA CURSULUI
EVALUARE

Punctajul minim de promovare: 50 puncte.

FORME:
Activitatea de la seminar (prezent a, participare la dezbateri): 0-18 puncte. Teme pentru acas a (3 teme, n s apt am anile 5, 9,13), maxim 14 puncte ecare: 0-42 puncte. Testul nal scris (open books): 0-60 puncte. Nota nal a Student ii care au obt inut minim 50 puncte, sunt sortat i descresc ator dupa punctajul nal si clasicat i dupa regulile ETCS cu adapt arile precizate de FII. Bonus: Seminar Special.
13 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

A nice visualization by Akshay Java of network analysis of Twitter.

14 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Interest in scale-free networks started in 1999 with work by Albert-L aszl o Barab asi and colleagues at the University of Notre Dame.

15 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

World.png A small-world network is a type of mathematical graph in which most nodes are not neighbors of one another, but most nodes can be reached from every other by a small number of hops or steps.
16 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Kondi Trust Networks with PGP and RDF.

17 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Graph-based knowledge representation formalisms: Bayesian Networks (BNs), Semantic Networks (SNs), Conceptual Graphs (CGs), Formal Concept Analysis (FCA), CP-nets, GAI-nets, etc.

18 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Argumentation Frameworks.
19 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Environmental Sensor Networks (ESN), Object Sensor Networks (OSN) or Body Sensor Network (BSN) operate a variety of dierent protocols for the specic application environment.
20 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Shot.png Graph-based Data Basis.

21 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Visualization systems.
22 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Madrid-Metro.
23 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

A set of such triples is called an RDF graph.

24 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Utilizing ASP for Generating and Visualizing Argumentation Frameworks.

25 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

26 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

?
a

27 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

NO
a

28 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

29 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

?
a

30 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

YES
a

31 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

32 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

?
a e

33 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

YES
a e

EXTENSION
f

34 / 47

 INTERESUL PENTRU GRAFURI IN INFORMATICA

Visualizing a FCA lattice.

35 / 47

ELEMENTE INTRODUCTIVE DE COMPLEXITATE

(ag 13-14 allinone.pdf, primul capitol)

P:
Clasa problemelor (de decizie) pentru care exista algoritmi determini sti cu timp polinomial de rezolvare.

NP:
Clasa problemelor (de decizie) pentru care exista algoritmi nedetermini sti cu timp polinomial de rezolvare.

P NP (Incluziune strict a ?)
36 / 47

ELEMENTE INTRODUCTIVE DE COMPLEXITATE

Problema P se reduce polinomial la problema Q, dac a orice intrare a problemei P se poate transforma n timp polinomial ntr-o intrare a problemei Q, astfel nc at rezolv and Q pe aceast a intrare se obt ine r aspunsul (corect) pentru P. Denit ie Problema de decizie P se nume ste NP-dicil a (NP-hard) dac a orice problem a din NP se reduce polinomial la P.

Denit ie Problema de decizie P se nume ste NP-complet a dac a este NP-dicil a si n plus apart ine la NP.

37 / 47

ELEMENTE INTRODUCTIVE DE COMPLEXITATE

Garey and Johnson, Computers and Intractability, 1979.

38 / 47

ELEMENTE INTRODUCTIVE DE COMPLEXITATE

Garey and Johnson, Computers and Intractability, 1979.

39 / 47

ELEMENTE INTRODUCTIVE DE COMPLEXITATE

Garey and Johnson, Computers and Intractability, 1979.

40 / 47

PROBLEMELE PENTRU SEMINARUL 1

1 Fie a, b N. Demonstrat i c a na = O (nb ) dac a si numai dac a a a b . Demonstrat i c a n = O (e n ) si c a nu are loc e n = O (na ) (e este baza logaritmului natural). 2 Argumentat i o evaluare de tipul T (n) = (.) pentru timpul de executie a algoritmului: Sum a Tripl a (n) s0 for i = 1, n do for j = i , n do for k = j , n do s s +1
41 / 47

PROBLEMELE PENTRU SEMINARUL 1

3 Consider am urm atoarele dou a funct ii: F(n) if (n = 1) return true else return G (n 1) G(n) if (n = 1) return false else return F (n 1) Stabilit i si argumentat i valorile F (2012) si G (2013).

42 / 47

PROBLEMELE PENTRU SEMINARUL 1

3 Se dispune de un sier de intrare cu n nregistr ari. Prima nregistrare cont ine num arul n, celelalte n 1 cont in ecare un num ar din mult imea {1, 2, . . . , n}. Dac a aceste ultime n 1 nregistr ari cont in numere distincte, rezult a c a exact unul dintre numerele 1, 2, . . . , n lipse ste. Descriet i un algoritm ecient care s a determine num arul lips a. (n poate foarte mare!)
Avet i o solut ie si pentru cazul n care lipsesc exact dou a numere?

43 / 47

PROBLEMELE PENTRU SEMINARUL 1

4
Pentru nmult irea a dou a numere ntregi se poate folosi algoritmul descris mai jos prin dou a exemple. Se observ a c a operat iile efectuate sunt doar nmult irea cu doi, mp art irea ntreag a la doi si adunarea numerelor ntregi. 48 17 29 135 48 17 29 135 24 34 14 270 12 68 7 540 6 136 3 1080 3 272 1 2160 1 544 ========== ============== 3915 816 (se adun a numerele de pe coloana 2 care au pe coloana 1 numere impare) Scriet i o funct ie recursiv a pentru produsul a dou a numere ntregi care s a corespund a acestui algoritm si demonstrat i-i corectitudinea. Stabilit i complexitatea timp T (n) pentru aceast a funct ie (n este num arul bit ilor necesari reprezent arii binare a ec aruia dintre cei doi factori).
44 / 47

PROBLEMELE PENTRU SEMINARUL 1

5 a) Inf a sur atoarea convex a a n puncte Pi (xi , yi ), i = 1, n din plan, este cel mai mic poligon convex ( n raport cu incluziunea) care cont ine toate cele n puncte. Demonstrat i c a dac a dispunem de un algoritm care s a determine v arfurile nf a sur atoarei convexe a n puncte date cu complexitatea timp T (n) atunci putem sorta un vector ntreg n-dimensional n timpul T (n). b) Dat i dou a exemple de algoritmi de sortare. Ce complexitate au ?

45 / 47

PROBLEMELE PENTRU SEMINARUL 1

6 Numim pin un arbore cu m acar trei noduri cu proprietatea c a unicul vecin al oric arei frunze (nod cu un singur vecin) are exact doi vecini. Pentru un arbore T cu cel put in trei noduri, not am cu pin(T ) subarborele lui T care este pin si are num ar maxim de noduri. Descriet i un algoritm care, pentru T dat, construie ste pin(T ).

Arborele T Arborele T

Un pin

Pin(T) Pin(T)

46 / 47

 ? INTREBARI Mult umesc!

47 / 47