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

perguntou Dec 11 '17 às 19:33

bebetoss's gravatar image

bebetoss
1131

fechado Dec 11 '17 às 21:26

marcmira's gravatar image

marcmira ♦
36356329.0k

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

marcmira's gravatar image marcmira ♦ (Dec 11 '17 às 21:28)

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:

Respostas

Respostas e Comentários

Markdown Básico

  • *italico* ou __italico__
  • **negrito** or __negrito__
  • link:[texto](http://url.com/ "Qual é a sua dúvida?")
  • imagem?![alt texto](/path/img.jpg "Qual é a sua dúvida?")
  • 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

×480
×76
×12

pergunta feita: Dec 11 '17 às 19:33

pergunta lida: 244 vezes

última alteração: Dec 11 '17 às 21:28