Ir para conteúdo
Fórum Script Brasil
  • 0

SAT


bebetoss

Pergunta

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

Até agora não há respostas para essa pergunta

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.

Visitante
Responder esta pergunta...

×   Você colou conteúdo com formatação.   Remover formatação

  Apenas 75 emoticons são permitidos.

×   Seu link foi incorporado automaticamente.   Exibir como um link em vez disso

×   Seu conteúdo anterior foi restaurado.   Limpar Editor

×   Você não pode colar imagens diretamente. Carregar ou inserir imagens do URL.



  • Estatísticas dos Fóruns

    • Tópicos
      152,3k
    • Posts
      652,3k
×
×
  • Criar Novo...