Sumários
Programação Dinâmica e Algoritmos Greedy
23 maio 2008, 09:00 • Nuno Pereira Lopes
Programação Dinâmica e Algoritmos Greedy. Memoization.
Problemas NP-Completos
21 maio 2008, 12:00 • Vasco Manquinho
Problemas NP-completos (SAT e CNFSAT). Exemplos de demonstração de problemas NP-Completos.
3CNFSAT, Clique, Vertex Cover.
Casos particulares de CNFSAT resoluveis em tempo polinomial: 2CNFSAT e HornSAT.
Problemas NP-Completos
21 maio 2008, 10:30 • Vasco Manquinho
Problemas NP-completos (SAT e CNFSAT). Exemplos de demonstração de problemas NP-Completos.
3CNFSAT, Clique, Vertex Cover.
Casos particulares de CNFSAT resoluveis em tempo polinomial: 2CNFSAT e HornSAT.
Programação Dinâmica e Algoritmos Greedy
20 maio 2008, 13:00 • Nuno Pereira Lopes
Programação Dinâmica e Algoritmos Greedy. Memoization.