Vamos imaginar que temos uma fórmula satisfatóriaF(A0,A1,...Ak,S0,...,Sn)F(A0,A1,...Ak,S0,...,Sn)F(A_0, A_1,...A_k,S_0,...,S_n) O problema a ser resolvido é "Existe uma atribuição para variáveis (S0,...,Sn)(S0,...,Sn)(S_0,...,S_n) o que tornará F insatisfatório? ". Uma maneira de resolver é...
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 problema hamiltoniano ou o que...
O Concorde TSP é um solucionador de TSP. Os solucionadores SAT são solucionadores de satisfação booleana. TSP e SAT são NP-completos. Por isso, por que dedicar tempo ao desenvolvimento do Concorde TSP quando há uma abundância de solucionadores SAT no mercado naquela
Eu aprendi recentemente que, para qualquer instância de um problema do k-SAT com mmm cláusulas e nnnliterais, temos uma atribuição de literais de modo que pelo menos cláusulas sejam atendidas.m ( 1 -2- k)m(1 1-2-k)m(1 - 2^{-k}) Eu queria saber se podemos mostrar um limite inferior (não trivial) do...
Abaixo está minha simplificação de parte de um projeto de pesquisa maior sobre redes espaciais bayesianas: Digamos que uma variável seja " -local" em uma string se houver menos de cláusulas entre a primeira e a última cláusula em que ela aparece (onde é um número natural).kkkC∈3-CNFC∈3-CNFC \in...
Dado nnn variáveis booleanas x1 1, ... ,xnx1,…,xnx_1,\ldots,x_n cada um dos quais recebe um custo positivo c1,…,cn∈Z>0c1,…,cn∈Z>0c_1,\ldots,c_n\in\mathbb{Z}_{>0} e uma função booleana fff nessas variáveis dadas na
Na pior das hipóteses, a satisfação booleana (assumindo P! = NP) leva tempo exponencial. No entanto, os modernos solucionadores de SAT usando variantes do DPLL são capazes de resolver instâncias suficientes para serem úteis na prática. Uma técnica usada, que mostrou bons resultados na prática, é o...
Houve algum esforço para mostrar (usando o Switching Lemma), por exemplo, que SAT ou 3SAT não podem ter uma redução de AC para 2SAT? Quais são os problemas ou dificuldades envolvidos?00 0^0 SAT e 3SAT estão completos para NP e 2SAT está completo para NL sob reduções AC . Portanto, essa prova...
Eu sei pelo Teorema da Dicotomia de Schaefer que apenas alguns tipos de problemas de satisfação estão em P e qualquer outro problema é NP-completo. No entanto, todos os algoritmos que eu conheço usam técnicas específicas únicas para esse tipo de problema - por exemplo, propagação de unidade para...
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...
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...
Conseguimos uma construção simples, aparentemente contradizendo um artigo que pressupõe conjecturas plausíveis. Como é improvável que a conjectura seja falsa, o que há de errado com o argumento? De um papel Uma compactação AND é um algoritmo determinístico de tempo polinomial que mapeia um...
Presumo que o tamanho de uma instância do problema SAT seja medido pelo número de variáveis (booleanas). Qual é o número total de instâncias de problemas SAT de tamanho N? Eu acho que isso equivale a contar o número de fórmulas "distintas" que podem ser formadas por N variáveis booleanas,...
É sabido que qualquer fórmula CNF pode ser transformada em tempo polinomial em uma fórmula 3-CNF usando novas variáveis ( veja aqui ). Se o uso de novas variáveis não for permitido, isso nem sempre é possível (por exemplo, a fórmula da cláusula única:(x1 1∨x2∨x3∨x4)(x1 1∨x2∨x3∨x4)(x_1 \lor x_2...
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,...
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