|
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 |
A pergunta foi fechada pelo seguinte motivo: "Pergunta é fora do escopo ou irrelevante" marcmira Dec 11 '17 às 21:26
Siga esta pergunta
Por Email:Uma vez que você entrar você poderá se inscrever para todas as atualizações aqui
Por RSS:Markdown Básico
- *italico* ou __italico__
- **negrito** or __negrito__
- link:[texto](http://url.com/ "Qual é a sua dúvida?")
- imagem?
- lista numerada: 1. Foo 2. Bar
- para adicionar uma quebra de linha basta adicionar dois espaços onde você gostaria que a nova linha estivesse.
- tags HTML básicas também são suportadas
Tags
pergunta feita: Dec 11 '17 às 19:33
pergunta lida: 298 vezes
última alteração: Dec 11 '17 às 21:28
foi o que comentei contigo, se fosse debater sobre algoritmo é uma coisa, agora colar uma atividade e aguardar passivamente a resposta aqui não vai rolar.
perguntas fechadas