PAA-DCC-UFAM

Universidade Federal do Amazonas

Departamento de Eletrnica e Computao

Algoritmos para Automao e

Sistemas
Lucas Cordeiro
lucascordeiro@ufam.edu.br

PAA-DCC-UFAM

Notas de Aula
Estes slides esto baseados
livro do Cormen et al. (2009)
notas de aula do Prof. Alan Burns
notas de aula do Prof. Edleno Silva de Moura

Os slides esto disponveis em:

http://home.ufam.edu.br/lucascordeiro/algoritmos

PAA-DCC-UFAM

Objetivos
O aluno dever ser capaz de reconhecer e lidar
com classes especficas de problemas e de
reconhecer e propor solues eficientes
para os mesmos, quando possvel, atravs da
aplicao das diversas tcnicas de projeto e
anlise de algoritmos apresentadas

PAA-DCC-UFAM

Ementa (1)
Fundamentos em Teoria da Computao
Tcnicas de Anlise de Algoritmos
Complexidade Computacional
Classes de Problemas Computacionais
Crescimento Assinttico de Funes
Somatrias e Resoluo de Recorrncias
Tcnicas de Projeto de Algoritmos
Diviso e Conquista: mximo e mnimo de uma
lista

PAA-DCC-UFAM

Ementa (2)
Algoritmos de Ordenao
Algoritmos de Busca
Mtodo Guloso: Cdigo de Huffman
rvore Geradora Mnima
Caminho de Custo Mnimo
Programao Dinmica: Multiplicaes Matriciais
Programao Linear
rvore Binria de Busca
Grafos e suas Aplicaes: Algoritmos Elementares

PAA-DCC-UFAM

Ementa (3)
Determinao de Estruturas de Custo Mnimo
Caminho Mnimo
Teoria da NP-Completude: Problemas NPCompletos e NP-Dficeis. Reduo Polinomial
Exemplos de aplicao em automao e sistemas

PAA-DCC-UFAM

Contedo da Avaliao (1)

Lista de exerccios: A cada final do captulo do
livro texto.
Prova parcial: Fundamentos em Teoria da
Computao; Tcnicas de Anlise de Algoritmos;
Complexidade Computacional; Classes de
Problemas Computacionais; Crescimento
Assinttico de Funes; Somatrias e Resoluo
de Recorrncias; Tcnicas de Projeto de
Algoritmos; Diviso e Conquista: Mximo e
Mnimo de uma lista; Algoritmos de Ordenao e
Busca;

PAA-DCC-UFAM

Contedo da Avaliao (2)

Seminrios: Apresentao de seminrios
referente a um artigo recente relacionado ao
tpico da disciplina
Projetos: Implementao de um algoritmo NPCompleto
Prova Final: Todo o contedo da disciplina
incluindo os seminrios

PAA-DCC-UFAM

Contedo da Avaliao (3)

A prova parcial assim como a mdia parcial
possuem peso 2
2 NPP + NS + NP + NL
Mdia Parcial (MP) =
5
2 MP + PF
Mdia Final (MF) =
3
NPP = Nota da Prova Parcial
NS = Nota dos Seminrios
NP = Nota dos Projetos
NL = Nota das Listas de Exerccios

PAA-DCC-UFAM

Trabalhos Prticos
Linguagem ser ANSI-C/C++
Devero ser enviados para
lucasccordeiro@gmail.com
Se confirmado, o plgio ser punido com rigor
(ou seja, com nota zero)!
Aulas prticas

PAA-DCC-UFAM

Tpicos dos seminrios (1)

Algoritmos de satisfao boleana e lgica de
primeira ordem
SAT e SMT solvers

Compresso de imagens
Mostrar algoritmos e ou EDs relacionados ao tema,
falando dos custos envolvidos

Algoritmos paralelos
Falar de tcnicas que se beneficiem de paralelismo

Hash perfeito
Algoritmos genticos

PAA-DCC-UFAM

Tpicos dos seminrios (2)

Algoritmos para filtros digitais
Busca permitindo erros
Aspectos algortmicos de verificao formal
Falar de problemas NP-Completo relacionados a
verificao formal

Quad-trees
Estrutura de rvore onde cada n interno tem 4 filhos

Tcnicas para escrever programas eficientes

Mostrar tcnicas que possam ser usadas para acelerar
o cdigo de programas

PAA-DCC-UFAM

Tpicos dos seminrios (3)

Algoritmos para minerao de dados
Algoritmos para gerao de ontologias
Roteamento de pacotes em redes
Animao de algoritmos
Algoritmos de aprendizagem automtica
(machine learning)
Biologia computacional
Algoritmos para controle de processos

PAA-DCC-UFAM

Estrutura dos Seminrios

Mximo de 6 pginas de texto fonte 10 e
espaamento simples
Escrever texto no formato de artigo
Apresentao de 30 minutos
Equipes com duas pessoas
Os dois apresentam
Data limite para definio de temas: 30/04
Datas para apresentao sero marcadas
posteriormente

PAA-DCC-UFAM

Referncias Bibliogrficas (1)

Cormen, T., Leiserson, C., Rivest R. and Stein, C.
Introduction to Algorithms, Elsevier, 2009
ZIVIANI, Nvio. Projetos de Algoritmos e
Estrutura de Dados; Escola Brasil-Argentina de
Informtica, Campinas, 1986
Knuth, D. The Art of Computer Programming,
Volume 1: Fundamentals Algorithms, AddisonWesley, 1968
Knuth, D. The Art of Computer Programming,
Volume 3: Sorting and Searching, AddisonWesley, 1973

PAA-DCC-UFAM

Referncias Bibliogrficas (2)

PAA-DCC-UFAM

Referncias Bibliogrficas (3)