Vi como o XOR-3-SAT é eficientemente solucionável (por exemplo, consulte a seção "XOR-satisfability" na entrada da Wikipedia para o problema de satisfação booleana ). Estou pensando em uma pergunta básica: O XOR-k-SAT é eficientemente solucionável, para fórmulas com quantidades variáveis de...
Estou tentando resolver esse problema e estou realmente lutando. Uma fórmula booleana monótona é uma fórmula na lógica proposicional em que todos os literais são positivos. Por exemplo, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor...
O problema de decisão Dada uma fórmula booleana , tem exatamente uma tarefa satisfatória?ϕϕϕ\phiϕϕ\phi pode ser visto em , -hard e -hard. Existe algo mais conhecido sobre sua complexidade?U P c o N PΔ2Δ2\Delta_2U PUP\mathsf{UP}c o N
Gostaria de saber se existe um algoritmo polinomial para "2-SAT com relações XOR". O 2-SAT e o XOR-SAT estão em P, mas é sua combinação? Exemplo de entrada: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and (b xor c xor d) Em outras palavras, a entrada é a...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
O problema de determinar se uma determinada expressão booleana é satisfatoriamente distinta em termos computacionais de realmente encontrar uma solução para a expressão? Em outras palavras, existe outra maneira de descobrir que uma determinada expressão é satisfatória sem determinar explicitamente...
Os solucionadores modernos de SAT são muito bons em resolver muitos exemplos reais de instâncias de SAT. No entanto, sabemos como gerar números difíceis: por exemplo, use uma redução do fatorial para o SAT e forneça os números RSA como entrada. Isso levanta a questão: e se eu pegar um exemplo...
Em relação ao segmento Provando que a conversão de CNF para DNF é NP-Hard (e um segmento Math relacionado ): E a outra direção, de DNF a CNF? É fácil ou difícil? Na página 2 deste artigo , eles parecem sugerir que ambas as direções são igualmente difíceis quando dizem " Estamos interessados na...
Estou tentando elaborar uma tarefa (tirada do livro Algoritmos - de S. Dasgupta, CH Papadimitriou e UV Vazirani , Cap 8, problema 8.6a), e estou parafraseando o que afirma: Dado que o 3SAT permanece NP-completo, mesmo quando restrito a fórmulas nas quais cada literal aparece no máximo duas...
Deixe ser o idioma de todos os 2 -cnf fórmulas φ , de tal modo que, pelo menos, ( 1LϵLϵL_\epsilon222φφ\varphidascláusulasdeφpodem ser satisfeitas.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Preciso para demonstrar que existe r L ε é N P -Hard para qualquer ε < ε '...
Eu sou um estudante do segundo ano do ensino médio que está interessado em ciência da computação. Desenvolvi um algoritmo interessante para o #SAT e estou implementando e fazendo um projeto da feira de ciências. Meu orientador, que é o melhor professor de ciências da minha escola e também é...
Na página da Wikipedia aqui, ele descreve muito bem o algoritmo CDCL (e parece que as fotos foram tiradas de slides criados por Sharad Malik em Princeton). No entanto, ao descrever como voltar atrás, tudo o que diz é "até o ponto apropriado". O MiniSAT também usa uma variante do algoritmo CDCL,...
Eu queria saber se este problema tem um nome: Dado um gráfico simples cujas bordas são de cor vermelha, azul e verde, , existe um-coloração vértice c : V → { B , R , G } de tal modo que cada extremidade tem um ponto de extremidade com a mesma cor?G = ( V, B ∪ R ∪ G )G=(V,B∪R∪G)G=(V,B\cup R\cup G)c...
Valiant & Vazirani provaram que o SAT é redutível a UNIQUE SAT sob reduções probabilísticas aleatórias no tempo polinomial. Calabro et al . mostrou que o k-SAT UNIQUE é tão difícil quanto o k-SAT. Agora, a pergunta é: se alguém mostra que UNIQUE k-SAT está em P, isso implica P =...
Eu tenho a seguinte pergunta. Os solucionadores de SAT são determinísticos? Quero dizer, por exemplo, sobre o algoritmo miniSAT e DPLL . Eles são completamente determinísticos? Se esses algoritmos retornarem UNSAT, isso significa que certamente a solução não
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 é...
Se supusermos que começamos com uma instância de -SAT e tentarmos converter o problema em uma instância de -SAT, onde existem literais por cláusula, podemos garantir uma redução no quantidade total de cláusulas?kkk( k + m )(k+m)(k+m)( k + m )(k+m)(k+m) Depois de postar, percebi que não podemos...
Recentemente, estou lendo artigos sobre dicotomia . Não entendo que condição pode ser chamada de dicotomia ? Qual é o significado de "uma pergunta está em P ou em NP - completa "? (suponha P NP )≠≠\neq Por exemplo, eu conheço o teorema da dicotomia de Schaefer, no qual é dada uma dicotomia sobre...
Não se acredita que a satisfação geral (com algumas exceções, como Cláusulas de Horn), tenha uma solução algorítmica. No entanto, o algoritmo a seguir parece ser uma solução para satisfação geral. Qual é exatamente a falha com o seguinte algoritmo? Deixei WWW seja um conjunto vazio que conterá...
Seja e sejam vetores de variáveis booleanas. Eu tenho um predicado booleano em . Dou à minha amiga Priscilla . Em resposta, ela me fornece , um predicado booleano em , e ela afirma