Seja SAT o problema da satisfabilidade em sua versaode decisao. Esse problema consiste em determinar, dada uma expressao lógica E na forma normal conjuntiva, se existe uma distribuição de valores booleanos para as variáveis que tornem a expressão E válida.Quando o número de variáveis nos blocos(clausulas com "ou) é constante e vale K temos casos particulares do problema SAT que são chamados de K-SAT a) mostre que 2-SAT alfa 3-sat b) mostre 4-sat alfa 3-sat
Pergunta
bebetoss
Seja SAT o problema da satisfabilidade em sua versaode decisao. Esse problema consiste em determinar, dada uma expressao lógica E na forma normal conjuntiva, se existe uma distribuição de valores booleanos para as variáveis que tornem a expressão E válida.Quando o número de variáveis nos blocos(clausulas com "ou) é constante e vale K temos casos particulares do problema SAT que são chamados de K-SAT a) mostre que 2-SAT alfa 3-sat b) mostre 4-sat alfa 3-sat
Link para o comentário
Compartilhar em outros sites
0 respostass a esta questão
Posts Recomendados
Participe da discussão
Você pode postar agora e se registrar depois. Se você já tem uma conta, acesse agora para postar com sua conta.