Verificando soluções exclusivas do SAT


25

Considere o seguinte problema: dada uma fórmula CNF e uma atribuição que satisfaça essa fórmula, existe outra atribuição satisfatória para essa fórmula?

Qual é a complexidade desse problema? (Certamente está em NP, mas também é difícil em NP?)

E se você não receber a tarefa e apenas quiser decidir se a fórmula tem uma tarefa satisfatória exclusiva?

Obrigado.


13
Seu primeiro problema geralmente é um exercício de lição de casa. Dica: dada qualquer fórmula F, projete uma fórmula F 'onde a atribuição de todos os zeros a satisfaça trivialmente e exista uma segunda atribuição satisfatória F' se F for satisfatória.
Ryan Williams

1
@ Hsien-Chih Chang, tínhamos o nome de Oded na primeira página antes da sua recontagem, a recolocação não é urgente, seria bom se o nome dele permanecesse lá por mais um pouco. :)
Kaveh

1
@Kaveh: Opa, desculpe. Eu acho que, de alguma forma, suponho que ele permanecerá e fornecerá constantemente mais e mais boas respostas, de modo que o nome dele será exibido com frequência na página principal :)
Hsien-Chih Chang # 10/11

@ Hsien-Chih Chang, também espero que sim. :)
Kaveh

Respostas:


27

O problema de decidir se uma determinada fórmula CNF tem uma atribuição satisfatória diferente de uma dada é facilmente demonstrado como completo NP, transformando uma fórmula CNF para adicionar uma solução trivial. Esse problema é chamado de "Outro Problema de Solução (ASP) da SAT" em [YS03], onde é usado para fornecer uma prova sistemática de que (as versões de decisão) dos ASPs de muitos outros problemas também são NP-completos.

O problema de decidir se uma determinada fórmula da CNF tem uma atribuição única satisfatória ou não (portanto, você deve responder "não" se a fórmula não tiver nenhuma tarefa satisfatória ou mais de uma tarefa satisfatória) está completo nos EUA . EUA contém os dois UP e coNP .

Referências

[YS03] Takayuki Yato e Takahiro Seta. Complexidade e integridade de encontrar outra solução e sua aplicação em quebra-cabeças. Transações do IEICE sobre fundamentos de eletrônica, comunicações e ciências da computação, E86-A (5): 1052-1060, maio de 2003.

Editar : Uma versão anterior (revisão 1) desta resposta continha uma confusão entre a versão da decisão e a versão da pesquisa. Foi consertado.


6
Apenas uma observação: a completude de NP de "outro problema de solução" é folclore, conhecido muito antes de 2003. (Talvez exista uma referência dos anos 70, mas a prova é tão fácil que duvido.)
Ryan Williams,

@ Ryan: Obrigado pela nota. Editei a resposta para tornar a relação com [YS03] mais clara.
Tsuyoshi Ito

22

Lembro-me de Yoram Moses e eu estudando esse problema em meados da década de 1980 (à luz de algumas aplicações) e descobrindo que, para muitos problemas naturais de NPC, o problema de encontrar uma segunda solução alternativa (ou decidir se existe) é NPC. Descobrimos então que isso era conhecido, mas não me lembro do juiz, e não conseguimos encontrar um (isto é, um anterior a meados da década de 1980) agora. Mas tenho certeza de que me lembro corretamente do acima.

Apenas um comentário para Ryan. O fato de um teorema poder ser dado como exercício nas aulas atuais não o torna menos atraente. Deveria ter sido publicado em um artigo com um título adequado no momento em que foi descoberto ...

Oded Goldreich


15
Ei, seja bem-vindo a bordo! Estou muito empolgado em vê-lo aqui :) #
MS Dousti 10/03/11

12

Aqui, escrevo um trecho do seguinte artigo:

Valiant, LG e Vazirani, VV 1986. NP é tão fácil quanto detectar soluções exclusivas. Theor. Comput. Sci. 47, 1 (novembro de 1986), 85-93. DOI = http://dx.doi.org/10.1016/0304-3975(86)90135-0

Para cada problema conhecido de NP-completo, o número de soluções de suas instâncias varia em uma ampla faixa, de zero a exponencialmente. Portanto, é natural perguntar se a intratabilidade inerente ao problema de NP completo é causada por essa ampla variação. Damos uma resposta negativa a essa pergunta usando a noção de redutibilidade aleatória do tempo polinomial. Mostramos que os problemas de distinguir entre instâncias do SAT com zero ou uma solução, ou de encontrar soluções para instâncias do SAT com uma solução única, são tão difíceis quanto o SAT, sob reduções aleatórias.

Sugiro também olhar para o artigo relevante:

Beigel, R., Buhrman, H. e Fortnow, L. 1998. NP pode não ser tão fácil quanto detectar soluções únicas. Em Anais do Trigésimo Simpósio Anual da ACM sobre teoria da computação (Dallas, Texas, Estados Unidos, 24 a 26 de maio de 1998). STOC '98. ACM, Nova Iorque, NY, 203-208. DOI = http://doi.acm.org/10.1145/276698.276737


6

DP={(eu1eu2)|eu1NP,eu2CoNP}

Andreas Blass e Yuri Gurevich, Sobre o problema único de satisfação,


1
Um pequeno ponto: o segundo problema não é um problema de promessa.
Tsuyoshi Ito

1
Eu tinha percebido isso e consertado, mas obrigado por detectá-lo de qualquer maneira!
Tsuyoshi Ito

6
A propósito, eu não copiei nada da sua resposta, por isso não faço ideia do que o seu comentário a seguir se refere: “Quando você copiar de outra resposta, indique isso.” Copiei a referência da minha resposta de outro post meu no MathOverflow ( mathoverflow.net/questions/31251/… ), mas não acho que você esteja se referindo a isso.
Tsuyoshi Ito

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.