UFC - Ciência da Computação

Complexidade Computacional (CK198 / CKP8599)


Plano de Aula:
AulasAssunto
01Complexidade de Problemas de Decisão com relação a algoritmos exatos
02Problemas Decidíveis e Problemas Indecidíveis
03Classes P, NP, co-NP, PSPACE e EXPTIME
04Redução Polinomial: SAT, 3-SAT e CLIQUE
05Problemas NP-Completos e co-NP-Completos
06NP-Completude: Clique e Vertex-Cover
07NP-Completude: Caminho hamiltoniano
08NP-Completude: Soma de subconjunto
09PSPACE-Completude: Q-SAT e o jogo GEOGRAFIA
10PSPACE-Completude: POSCNF e o jogo da Formação de Clique
11PSPACE-Completude: POSCNF e o jogo de Coloração
12PSPACE-Completude: POSDNF e o jogo de Dominação
13EXPTIME-Completude: Alt-SAT e o Jogo de Polícia e Ladrão
14EXPTIME-Completude: Outros jogos de Perseguição em Grafos
15Complexidade de Problemas de Decisão com relação a algoritmos probabilísticos
16Classes ZPP, RP, coRP e BPP
17Algoritmos probabilísticos: Popular, Igualdade Polinômios, Produto Matrizes, Corte Mínimo e 2SAT
18Complexidade de Problemas de Otimização com relação a algoritmos aproximativos
19Classes NPO, PO, APX, log-APX, poly-APX, exp-APX, PTAS e FPTAS
20Problemas FPTAS: Mochila
21Problemas PTAS: Escalonamento Mínimo
22Problemas APX: Bin-Packing e Vertex-Cover
23Problemas log-APX: Set-Cover e Conjunto Dominante
24Redução entre problemas de otimização e exemplos simples
25Problemas completos das classes NPO, APX, log-APX e poly-APX
26Complexidade de Problemas de Decisão com relação a algoritmos parametrizados
27Classes XP, FPT, W[1] e W[2]
28Redução entre problemas parametrizados
29Problemas W[1]-Completos e W[2]-Completos
30W[1]-Completude: Clique
31W[2]-Completude: Conjunto Dominante
32Avaliação e Entrega dos trabalhos