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

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) …

11 np-complete  satisfiability  xor  2-sat 

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