Perguntas com a marcação «sat»

Vamos definir o problema SAT : Dado F 3 , uma fórmula 3-CNF satisfatória e F 2 , uma fórmula 2-CNF ( F 3 e F 2 são definidos nas mesmas variáveis). É F 3 ∧ F 2 satisfiable?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Qual é a complexidade desse problema? (Já foi estudado …

8 cc.complexity-theory  reference-request  np-hardness  sat 

No artigo "Codificação eficiente de CNF para selecionar 1 de N objetos", os autores apresentam sua técnica de "variável de comando" para codificar a restrição e depois falam sobre o problema do buraco de pombo. Como meu erro pode existir no entendimento de nível inferior, deixe-me declarar o que acho …

8 cc.complexity-theory  sat  proof-complexity 

É possível encontrar uma redução na contagem de #SAT para #HornSAT? Eu não encontrei esta pergunta postada aqui, então decidi verificar se alguém tem alguma resposta para isso. Deixe-me explicar o que quero dizer com contagem de redução. Suponha que são dois problemas de contagem. Por exemplo, #SAT pergunta como …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Tentar encontrar a solução ideal para o WEIGHTED-MAX-3SAT, a versão ponderada do problema de otimização do 3-SAT, é difícil para o NP. De fato, mesmo aproximando-se arbitrariamente da versão não ponderada do MAX-SAT é comprovadamente difícil o NP pelo Teorema do PCP. Um algoritmo canônico para aproximar o WEIGHTED-MAX-3SAT é …

8 ds.algorithms  approximation-algorithms  sat  approximation-hardness 

O problema # MONOTONE-2SAT é conhecido por # P-complete. Isso significa que #SAT pode ser reduzido a ele. Minha pergunta é: dada uma instância #SAT , que é a transformação que converte F na instância correspondente # MONOTONE-2SAT F ′ ?FFFFFFF′F′F' A segunda questão é: deixar ser o número de …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat