Problas e Problas Instituto de Matática e Estatística, UFF Janeiro de 2012
Sumário Problas e Problas e. Problas :
Christos Papadimitriou Problas e Autor dos livros Elentos da Teoria da Computação, Otimização Combinatória: e complexidade, Complexidade Computacional, entre outros. Prêmio Knuth, 2002 for longstanding and sinal contributions to the foundations of computer science.
Problas e Problas Um probla computacional é uma questão geral a ser respondida, possuindo determinado parâmetros. Por explo, calcular o valor de uma fórmula de segundo uma valoração, determinar se uma fórmula de é uma contingência.
Problas e Especificações Um probla é especificado quando damos (1) uma indicação dos parâmetros considerados no probla, (2) o universo no qual os parâmetros tomam valores e (3) a questão a ser respondida. Por explo: O probla do cálculo do valor de uma fórmula segundo uma valoração pode ser especificado como: Dados: Uma fórmula ϕ e uma valoração v : VS {V, F }. Questão: Calcular o valor v [ϕ]. O probla da contingência pode ser especificado como: Dados: Uma fórmula ϕ, de. Questão: ϕ é contingente?
Problas e Problas de decisão Um probla é de decisão quando a questão pode ter como resposta sim ou não. Calcular o valor de uma fórmula segundo uma valoração não é um probla de decisão. O probla de determinar se uma fórmula é contingente é de decisão.
Problas e Algoritmos Um algoritmo que resolve um probla de decisão é um procedimento que spre pára e responde corretamente com sim ou não à questão do probla, para quaisquer dados de entrada. Você conhece um algoritmo para calcular o valor de uma fórmula segundo uma valoração? Você conhece um algoritmo para determinar se uma fórmula é contingente?
Problas e Dados: Uma fórmula ϕ de. Questão: = ϕ? O Probla da idade
Problas e Dados: O Probla da isfabilidade Uma fórmula ϕ de. Questão: ϕ é satisfazível?
Problas e Dados: O Probla da uência Finitária Um conjunto Σ {ϕ}, finito, de fórmulas de. Questão: Σ = ϕ?
Problas e Dados: O Probla da alência Duas fórmulas ϕ e ψ, de. Questão: ϕ == ψ?
Problas e Dados: O Probla da ência Finitária Um conjunto Σ, finito, de fórmulas de. Questão: Σ é consistente?
Exercícios Problas e 1. Exercícios da Lista 9.