R E F E R AT T I I N I F I C

CU PRIVIRE LA TEZA DE DOCTORAT PROBLEME ALGORITMICE N STUDIUL

PROPRIETILOR EREDITARE PE GRAFURI ELABORAT DE CTRE DOMNUL CRISTIAN
FRSINARU

Subsemnatul, Olaru Elefterie, profesor la Facultatea de tiine a

Universitii Dunrea de Jos din Galai, n calitate de conductor de
doctorat la Facultatea de Informatic a Universitii Al. I. Cuza din Iai
am analizat lucrarea PROBLEME ALGORITMICE N STUDIUL
PROPRIETILOR EREDITARE PE GRAFURI realizat de ctre domnul
Cristian Frsinaru, n vederea obinerii titlului tiinific de doctor n
Informatic i fac urmtoarele aprecieri prin prisma principalelor criterii
de evaluare a unui elaborat tiinific de asemenea natur.
Actualitatea i oportunitatea temei abordate
O multitudine de probleme deosebit de importante din punct de vedere
tiinific i mai ales din punct de vedere practic se dovedesc de o
complexitate prea mare pentru a fi abordate cu tehnici matematice uzuale.
Dezvoltarea industriei i economiei fac ca n cadrul foarte multor procese
de calcul sau sisteme integrate de analiz s intervin situaii complexe a
cror rezolvare nu este deloc simpl. Conform teoriei complexitii,
problemele de decizie care pot fi rezolvate de o main secvenial
determinist n timp polinomial formeaz clasa de complexitate P i sunt
considerate uoare. Problemele de decizie ale cror soluii pot fi gsite
n timp polinomial de ctre o main nedeterminist constituie clasa de
complexitate NP. O clas aparte din NP este cea a problemelor NPcomplete sau NP-dificile, caracterizate prin aceea c, dac una din ele ar
putea fi rezolvat de un algoritm polinomial, atunci acel algoritm ar putea fi
folosit pentru rezolvarea tuturor din acea clas.
Identificarea unui mecanism de rezolvare care s poat fi aplicat n mod
unitar la ct mai multe tipuri de probleme, s poat aborda situaii
Am obinut dreptul de conducere de doctorate n ramura matematic , specializarea
informatic n anul 1991 , prin ordinul ministrului nvtmntului nr. 44335 i reatestat
n 1993 (ordinul nr.35042). Deoarece Universitatea din Galai nu are dreptul s
organizeze doctorat n ramura matematic,, am cerut, n conformitate cu criteriile unitare
stabilite de Comisia superioar de atestare , s fiu transferat la Universitatea Al.I.Cuza
din Iai, Facultatea de Matematic i apoi la Facultatea de Informatic. Transferul s-a
efectuat n baza ordinului ministrului nvmntului nr.6081/22.IV.1994 .

NP-dificile ct mai performant posibil i s pun n valoare existena unor

restricii polinomiale ale problemei date, este linia pe care se nscrie i
lucrarea de fa.
Pornind de la aceast premiz, ncepnd cu anii '80 s-a dezvoltat teoria
satisfacerii constrngerilor CSP, care definete un model pentru
reprezentarea problemelor sub forma unei reele de constrngeri i o serie
de tehnici de programare pentru rezolvarea acestora. Din punct de vedere
tiinific, programarea cu constrngeri mbin aspecte legate de logic,
teoria grafurilor i inteligen artificial.
Datorit diversitii problemelor care pot fi modelate i rezolvate eficient
n acest fel, domeniul CSP a fost identificat de organizaia ACM ca o
"direcie strategic de dezvoltare a informaticii". Exist astfel un interes
crescut pe plan internaional pentru dezvoltarea tehnicilor de rezolvare a
problemelor modelate cu constrngeri precum i pentru construirea de
aplicaii care s implementeze eficient aceste tehnici.
Rezultatele tiintfice ale tratrii subiectului ales de ctre doctorand,
constau n urmtoarele:
- identificarea algoritmilor care stau la baza programrii cu
constrngeri, analiza acestora din punctul de vedere al realizrii
unor implementri eficiente i obinerea de noi astfel de algoritmi;
- crearea unei arhitecturi originale, extensibile i simplu de utilizat pe
baza creia s poat fi implementat un solver CSP;
- testarea performanelor unei astfel de soluii pe diverse probleme NP
dificile, cum ar fi 3-SAT, problema orarului i colorarea grafurilor.
Aadar, apreciem c tematica aleas este oportun i de mare actualitate .
Baza documentar cercetat
Bibliografia consultat cuprinde cele mai reprezentative publicaii
referitoare la domeniul tratrat care fac apel, printre altele, la logic, teoria
grafurilor i inteligen artificial. Lucrrile referitoare strict la tematica
lucrrii sunt de dat recent. n construcia tezei, autorul este nevoit s
includ anumite rezultate cunoscute preluate din literatura de specialitate.
Acest lucru se realizeaz prelund, ntr-o tratare original, cele necesare
pentru a conferi lucrrii unitate i o nelegere mai clar a rezultatelor

Structura lucrrii i rezultate originale

Formatul acestei teze este uzual pe plan internaional, pentru domeniul
informatic: plecnd de la o excelent cunoatere a domeniului de
cercetare, se realizeaz un sistem software de mare complexitate, care este
evaluat pentru a convinge comunitatea tiinific de calitile lui. n cazul
nostru acesta este solverul CSP denumit OmniCS, care este publicat la
adresa http://omnics.sourceforge.net i poate fi folosit, extins sau
mbuntit.
Spre deosebire de alte sisteme similare, OmniCS este un sistem unitar, foarte
performant, beneficiind de faptul c autorul este n acelai timp
proiectantul, implementatorul i expertul n problematica tiintific i
algoritmic. O prezentare mai n detaliu a coninutului lucrrii, cu
sublinierea rezultatelor originale, va conferi o imagine mai clar a valorii
sale.
Astfel, prima parte a tezei de doctorat (capitolele 2 i 3) are caracter
monografic de bun calitate, prezentnd clar i fr s complice nejustificat
expunerea, noiunile fundamentale ale teoriei satisfacerii constrngerilor.
Capitolul 4 este n ntregime original i prezint o descriere ampl a tuturor
aspectelor care trebuie analizate n implementarea unui sistem software
capabil s rezolve probleme modelate cu ajutorul constrngerilor.
Sistemul a fost conceput pe baza ablonului de proiectare MVC (ModelView-Controller), fiind structurat astfel:
- Nivelul de modelare (permite definirea problemei ce trebuie
rezolvat);
- Nivelul de control (solver-ul propriu-zis, algoritmii de filtrare globali
sau cei definii de constrngeri);
- Nivelul de prezentare (interfaa cu utilizatorul pentru afiarea
rezultatelor).
La toate nivelele s-au adus inovaii de programare, datorate facilitilor
oferite de platforma de programare Java. De exemplu, specificarea
constrngerilor, a domeniilor i a problemei au necesitat inventarea unor
structuri de date i a unui control la nivel algoritmic care nu se regsesc n
alte solvere. Implementarea unui solver sistematic bazat pe deciziepropagare-ntoarcere este acompaniat de posibilitatea interveniei
utilizatorului i de furnizarea de explicaii asupra unor eecuri.
Capitolul 5 preia noiunea de "explicaie" introdus n solverul Choco
i analizeaz din punct de vedere teoretic modul de creare a unui
raionament care s rspund la ntrebarea: "De ce o problem nu are
soluie ?". Cu excepia definiiei, ntreaga analiz este original, constnd

n noiunile de: graful eliminrilor, arborele reducerilor i algoritmii

14,15,16,17, care au fost implementai practic n cadrul solverului OmniCS.
Capitolul 6 este un prim studiu de caz n care este analizat problema
satisfiabilitii n varianta restrns 3-SAT. Capitolul este n ntregime
original i are la baz lucrarea [6]. Au fost introduse definiiile reelei de
constrngeri asociate unei formule 3-CNF, a grafului asociat unei formule
3-CNF i noiunea de graf arc-consistent, proprietile acestora fiind date n
propoziiile 13,14,15,16,17. (Practic, a fost realizat modelarea problemei i
rezolvarea acesteia cu OmniCS, proiectul avnd circa 20 de clase i
aproximativ 1400 linii de cod.)
Capitolul 7 se ocup de problema orarului. Majoritatea abordrilor
existente sunt dedicate unui anume tip de nvmnt i chiar unei anumite
structuri specifice unei instituii n sine, motivul acestor particularizri fiind
reducerea complexitii problemei generale. Folosind tehnici de satisfacere
a constrngerilor, autorul acestei lucrri a reuit s realizeze un model care
s surprind, ntr-un mod ct mai general, problema planificrii unor
evenimente ntr-un spaiu temporal. Acest model poate fi folosit n orice tip
de nvmnt i pentru orice structur. Rezolvarea problemei orarului, n
aceast abordare, se face utiliznd solverul CSP (OmniCS) care, permind
particularizarea strategiilor de naintare i instaniere a variabilelor, s-a
dovedit a fi adecvat din punct de vedere practic.
n mod concret, a fost realizat o aplicaie care permite construirea orarului
unei faculti. (n condiiile n care problema nu a fost supra-constrns,
pentru un numr de peste 300 de evenimente i peste 20.000 de
constrngeri, soluia s-a obinut ntr-un timp de ordinul minutelor. Proiectul
are peste 100 de clase i aproximativ 7300 linii de cod. )
Problema orarului este reluat n capitolul intitulat Rezolvarea interactiv
a problemelor unde se aduc mbuntiri solverului CSP realizat pentru a
fi interactiv, n sensul de a permite utilizatorului s direcioneze procesul de
cutare a soluiei precum i de a oferi posibilitatea de a modifica dinamic
problema rezolvat prin adugarea/eliminarea de variabile sau
constrngeri. Astfel, prin definiiile 17-20, se introduc noiunile de stare
simpl, stare extins, solver corect i solver complet, iar algoritmii
21,22,23,24,25 descriu aciunile care trebuie efectuate de solver la cererea
utilizatorului.
Subliniem c, dup cte cunoatem, nici unul din solverele disponibile pe
plan internaional la ora scrierii tezei nu oferea o facilitate similar.
Capitolul 9 descrie o serie de tehnici de modelare a problemelor de
colorare a grafurilor, folosind (OmniCS), scopul final fiind de integrare a
unor algoritmi polinomiali dezvoltai pentru diverse clase de grafuri n

algoritmul general de rezolvare. Noiunea original introdus este cea de

analizor de problem, responsabil cu integrarea de algoritmi polinomiali
pentru restricii specifice, n cadrul procesului general de rezolvare a unei
probleme NP-dificile.
Perspectiva continurii cercetrii
Rezultatele obinute de ctre Dl. Cristian Frsinaru n teza de doctorat
deschid calea spre noi direcii de cercetare, cum ar fi:
- Definirea unei modaliti declarative de specificare a constrngerilor,
prin intermediul unui limbaj dedicat;
- Crearea unei librrii extinse de constrngeri, care s includ
algoritmi dedicai de filtrare specifici constrngerilor globale;
- Crearea unei librrii de analizoare pentru diverse clase de restricii
polinomiale ale unor probleme NP-dificile;
- Crearea unui mecanism de nvare cu ajutorul cruia s poat fi
creat o baz de date cu explicaii pentru diferite probleme, care s
poat fi consultat de solver n procesul de rezolvare.
Toate aceste direcii sunt provocri complexe att din punct de vedere
teoretic ct i practic, dar importana domeniului i interesul general sunt
motivaii suficiente pentru a le aborda.
Nivelul tiinific al autorului este corespunztor cerinelor fireti puse n
aceast privin unei teze de doctorat. Acestea se concretizeaz printr-o
viziune de ansamblu a problematicii abordate, rigoarea investigaiilor
fcute, calitatea argumentaiei, sigurana demersului, fora impactului
teorectic , practic i metodologic al rezultatelor obinute.
n concluzie, lucrarea analizat reflect maturitatea tiinific a autorului,
capacitatea lui de a efectua, cu mijloace adecvate, un demers pretenios ntrun domeniu modern, cu puternice valene aplicative. inuta tiinific de
ansamblu a lucrrii i contribuiile originale coninute n aceasta sunt
argumente suficiente n sprijinul propunerii de a i se conferi domnului
Cristian Frsinaru titlul de doctor n informatic.
Prof. Dr. Elefterie Olaru
02 noiembrie 2006