1
Reduzindo #SAT para # MONOTONE-2SAT
O problema # MONOTONE-2SAT é conhecido por # P-complete. Isso significa que #SAT pode ser reduzido a ele. Minha pergunta é: dada uma instância #SAT , que é a transformação que converte F na instância correspondente # MONOTONE-2SAT F ′ ?FFFFFFF′F′F' A segunda questão é: deixar ser o número de …