Metode generale de proiectare a algoritmilor

Construirea unui algoritm care rezolva o problema presupune ca etapa intermediara constructia modelului matematic corespunzator problemei. Ratiunile definirii modelului matematic sint urmatoarele:

De multe ori problemele sint descrise informal (verbal). In acest fel, unele aspecte ale problemei pot fi omise sau formulate ambiguu. Constructia modelului matematic evidentiaza si elimina aceste lipsuri;

Instrumentele matematice de investigare in perspectiva identificarii si definirii solutiei, sint mult mai puternice;

Definirea solutiei in termenii modelului matematic usureaza foarte mult activitatea de construire a algoritmului.

O metoda de proiectare a algoritmilor se bazeaza pe un anumit tip de model matematic si pune la dispozitie procedeee prin care se poate construi si implementa un model particular corespunzator unei probleme. Definirea unui model matematic cuprinde urmatoarele trei aspecte:

conceptual: presupune identificarea si conceptualizarea componentelor din domeniul problemei;

2. analitic: implica descoperirea tuturor relatiilor intre conceptele care conduc la identificarea si descrierea solutiei

3. computational: se refera la evaluarea calitativa a algoritmului ce construieste solutia.

Cele mai cunoscute metode de proiectare a algoritmilor sint urmatoarele: divide-and-conquer, greedy, programarea dinamica, backtracking, branch-and-bound.