Perguntas com a marcação «3-sat»

O algoritmo GSAT é, em grande parte, direto: você obtém uma fórmula na forma normal conjuntiva e inverte os literais das cláusulas até encontrar uma solução que satisfaça a fórmula ou atingir o limite max_tries / max_flips e não encontra solução. Estou implementando o seguinte algoritmo: procedure GSAT(A,Max_Tries,Max_Flips) A: is …

20 algorithms  satisfiability  3-sat 

Estou tentando entender uma prova de completude do NP que parece girar em torno do SAT / 3CNF-SAT. Talvez seja tarde, mas receio que não consiga pensar em uma fórmula 3CNF que não possa ser satisfeita (provavelmente estou perdendo algo óbvio). Você pode me dar um exemplo para essa fórmula?

15 logic  satisfiability  3-sat 

O Planar 3SAT é NP-completo. Uma instância 3SAT planar é uma instância 3SAT para a qual o gráfico construído usando as seguintes regras é planar: adicione um vértice para cada e ¯ x ixEuxEux_ixEu¯xEu¯\bar{x_i} adicione um vértice para cada cláusula CjCjC_j adicione uma aresta para cada par ( xEu, xEu¯)(xEu,xEu¯)(x_i,\bar{x_i}) …

14 np-complete  reductions  satisfiability  3-sat 

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 vezes, mostre …

10 complexity-theory  satisfiability  3-sat 

Existe um algoritmo aleatório muito simples que, dado um 3SAT, produz uma atribuição que satisfaz pelo menos 7/8 das cláusulas (na expectativa): escolha uma atribuição aleatória. Uma atribuição aleatória satisfaz cada cláusula com probabilidade 7/8 e, portanto, a linearidade da expectativa mostra que a fração esperada de cláusulas satisfeitas por …

8 randomized-algorithms  3-sat 

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 reinício aleatório. Intuitivamente, …

7 satisfiability  randomized-algorithms  3-sat  sat-solvers 

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 3\text{-CNF}kkkkkk Agora …

7 np-hard  satisfiability  polynomial-time  3-sat  2-sat