CC330: Métodos de Apoio à Decisão

(2012/2013)
Departamento de Ciência de Computadores
Faculdade de Ciências da Universidade do Porto

Objectivos

Fornecer experiência na formulação e análise crítica de modelos e métodos de resolução para problemas de decisão interdisciplinares. Desenvolver aptidões para avaliar a complexidade computacional de problemas e escolher apropriadamente algoritmos, linguagens e bibliotecas de programas. Familiarização com técnicas de Programação por Restrições e de Investigação Operacional.

Regência

Ana Paula Tomás

Programa

Formulação de modelos matemáticos para problemas de decisão de diversos domínios (produção, afectação, transporte, escalonamento, fluxo,...). Introdução à Programação linear, inteira e mista. Otimização em grafos e redes: problemas de emparelhamento, fluxo e escalonamento. Otimização discreta. Métodos e técnicas de redução do espaço de procura: programação dinâmica, propagação de restrições, consistência local, procura com retrocesso, ramificação-limitação (branch-and-bound), planos de corte, análise e corte de simetrias, reformulação de modelos, algoritmos de aproximação (estratégias ávidas) e pesquisa local. Introdução ao paradigma de Programação (Lógica) por Restrições (domínios finitos). Breve introdução aos modelos probabilísticos: modelos markovianos de filas de espera.

Funcionamento e Avaliação


Aulas


Bibliografia

Documentação de Software
©Ana Paula Tomás, DCC-FCUP & Universidade do Porto, 2012