Perguntas com a marcação «satisfiability»

Satisfação (SAT) é o problema de determinar se existe uma atribuição variável que atenda a uma determinada fórmula booleana.

1
O XOR-SAT NP é pesado?
Dado nnn variáveis ​​booleanas x1 1, ... ,xnx1,…,xnx_1,\ldots,x_n cada um dos quais recebe um custo positivo c1,…,cn∈Z&gt;0c1,…,cn∈Z&gt;0c_1,\ldots,c_n\in\mathbb{Z}_{>0} e uma função booleana fff nessas variáveis ​​dadas na forma f(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x_1,\ldots,x_n)=\bigwedge_{i=1}^k\bigoplus_{j=1}^{l_i}x_{r_{ij}} (⊕⊕\oplus denotando XOR) com k∈Z&gt;0k∈Z&gt;0k\in\mathbb{Z}_{>0}inteiros 1≤li≤n1≤li≤n1\leq l_i\leq n e 1≤ri1&lt;⋯&lt;rili≤n1≤ri1&lt;⋯&lt;rili≤n1\leq r_{i1}<\cdots<r_{il_i}\leq n para todos i=1,…,ki=1,…,ki=1,\ldots,k, j=1,…,lij=1,…,lij=1,\ldots,l_i, o problema é encontrar uma atribuição …
2
Por que nos preocupamos com a fórmula Sool booleana aleatória?
Eu estive procurando uma referência para a pergunta acima. Tanto quanto sei, a resposta é: Se pudermos fazer um solucionador que seja eficiente para todas as instâncias geradas aleatoriamente, deve ser eficiente para qualquer instância. ou seja, se fizermos um solucionador que não confie em nenhuma estrutura inerente, ele sempre …
2
3-SAT, onde as variáveis ​​ocorrem igualmente muitas vezes como um literal positivo e como um literal negativo
Deixei ϕϕ\phi ser uma fórmula 3-CNF sobre variáveis x1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_n. Toda variávelxixix_i, i∈[n]i∈[n]i \in [n], ocorre igualmente muitas vezes como um literal positivo e como um literal negativo em ϕϕ\phi. É NP-completo decidir a satisfação de tal fórmula? Supondo que seja, eu estaria interessado em saber se ele tem um nome …
2
O NAE-HORN-SAT está em P ou NP-hard?
Estou interessado em conhecer a complexidade do problema NAE-HORN-SAT (nem todos iguais). Sabemos que o HORNSAT é completo, mas, por outro lado, o NAE-SAT é completo. Quero saber o que podemos dizer sobre o problema NAE-HORN-SAT. Deixe-me definir o problema formalmente:PP\mathsf{P}NPNP\mathsf{NP} Dado: Uma fórmula booleana é dada a nós no …
2
O SAT está em P se houver exponencialmente muitas cláusulas no número de variáveis?
Eu defino um CNF longo para conter pelo menos cláusulas, onde é o número de suas variáveis. Deixe é uma fórmula CNF longa e satisfatória .2n22n22^\frac{n}{2}nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Eu gostaria de saber por que . Primeiro, pensei que fosse pois eu posso reduzir o tempo polinomial …
1
como você prova que o SAT é NP-completo?
Como é, como você prova que o SAT é NP-completo? Eu sei o que significa NP-complete, então não preciso de uma explicação sobre isso. O que eu quero saber é como você sabe que um problema, como o SAT, é NP-completo sem recorrer à redução de outros problemas, como o …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.