Otimização (CI-1238 / Turma B)
Professor: Murilo V. G. da Silva - murilo@inf.ufpr.br
Início das aulas: 03/03/2026
Data da primeira prova: 14/04/2026
Data da segunda prova: 16/06/2026
Data da prova final: 30/06/2026
Avaliação: duas provas + dois trabalhos
)
INTRODUÇÃO À OTIMIZAÇÃO
Leituras: [PAP98: sec 1.1 e 1.2] [KS99: sec. 1.1] [KT05: cap. 1]
Programa:
- Apresentação do curso e conceitos preliminares
[slides 01]
[slides 01 (compacto)]
- Problemas otimização
[slides 02]
[slides 02 (compacto)]
- Espaço de soluções de problemas
[slides 03]
[slides 03 (compacto)]
PROGRAMAÇÃO LINEAR - MODELAGEM
Leituras: [MAT07: sec 1.1, sec 2.1-4 e 2.7]
Cronograma:
- Introdução à Programação Linear; Modelagem por PL
[slides 04]
[slides 04 (compacto)]
PROGRAMAÇÃO LINEAR - ALGORITMO SIMPLEX
Leituras: [MAT07: sec. 4.1, 4.1, 4.4 e cap. 5]
Cronograma:
- Formas equacionais e soluções básicas
[slides 05]
[slides 05 (compacto)]
- Algoritmo Simplex
[slides 06]
[slides 06 (compacto)]
- Dualidade em Programação Linear
- Programação Linear Inteira
09/04 - Revisão
14/04 - PROVA 1
TÉCNICAS PARA PROJETO DE ALGORITMOS
Leituras: [KS99: cap 1-4][CLSR: cap. 15]
Cronograma:
- Enumeração
- Backtraking
- Branch-and-Bound
- PD e Algoritmos Gulosos
- Algoritmos de Aproximação
11/06 -- Revisão
16/06 -- PROVA 2
30/06 -- PROVA FINAL
Bibliografia
-
[MAT07] MATOUSEK, JIRI; GARTNER, BERND. Understanding and Using Linear Programing , Springer, 2007.
-
[PAP98] PAPADIMITRIOU, CHRISTOS; STEIGLIZ, KENETH. Combinatorial Optimization: Algorithms and Complexity, Dover Publications, 1998.
-
[KS99] KREHER, DONALD; STINSON, DOUGLAS. Combinatorial Algorithms: Generation, Enumeration, and Search , CRC Press, 1999.
-
[KT05] KLEIBERG, JON; TARDOS, EVA. Algorithm Design , Pearson, 2005
-
[DPV06] DASGUPT, SANJOY; PAPADIMITRIOU, CHRISTOS; VAZIRANI, UMESH. Algorithms , McGraw-Hill, 2006
-
[CLRS09] CORMEN, THOMAS; LEISERSON, CHARLES; RIVEST, RONALD; STEIN, CLIFFORD. Introduction to Algorithms , MIT Press, 2009