5
Resolva 2-SAT (satisfação booleana)
O problema geral de SAT (satisfação booleana) é NP-completo. Mas 2-SAT , onde cada cláusula tem apenas 2 variáveis, está em P . Escreva um solucionador para 2-SAT. Entrada: Uma instância 2-SAT, codificada em CNF da seguinte maneira. A primeira linha contém V, o número de variáveis booleanas e N, …
16
code-golf