Perguntas com a marcação «unique-solution»

A classe de complexidade consiste naqueles N P -Problemas que podem ser decididas por um máquina de Turing não-determinístico tempo polinomial que tem no máximo uma aceitar caminho computacional. Ou seja, a solução, se houver, é única nesse sentido. É altamente improvável que todos os problemas de estejam em , …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

O teorema de Valiant-Vazirani diz que, se houver um algoritmo de tempo polinomial (determinístico ou aleatório) para distinguir entre uma fórmula SAT que possui exatamente uma tarefa satisfatória e uma fórmula insatisfatória - então NP = RP . Este teorema é provado mostrando que UNIQUE-SAT é NP- hard sob reduções …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

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 …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

EDIT em 08/02/2011: Depois de encontrar e ler algumas referências, decidi separar a pergunta original em duas. Aqui está a parte referente a UP vs NP. Para a parte das classes sintáticas e semânticas, consulte Benefícios para as classes sintáticas e semânticas . U PUP\mathsf{UP} (o tempo polinomial inequívoco, consultewikieo …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Seguindo a sugestão de Josh Grochow, estou convertendo meu comentário de uma pergunta anterior em uma nova. Que evidência temos de ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Aqui é a classe de idiomas reconhecíveis pelas máquinas de Turing não determinísticas de tempo polinomial que possuem um caminho de aceitação …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Estou procurando descobrir se existem resultados gerais ou exemplos relativos à completude de NP do problema de encontrar uma segunda solução para um problema de NP-completo. Mais precisamente, estou interessado em qualquer problema da seguinte forma: Dada uma solução para uma instância de um problema NP-completo, existe uma solução para …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Preâmbulo. A classe de complexidade AM são os problemas que podem ser resolvidos por um sistema de prova interativa de duas etapas entre um provador "Merlin" e um verificador "Arthur". Um problema - que testa alguma propriedade de um objeto X - está em AM se: Para casos SIM , …

15 cc.complexity-theory  interactive-proofs  unique-solution 

Eu estava lendo recentemente um artigo muito bom por Valiant e Vazirani que mostra que se , então não pode haver um algoritmo eficiente para resolver SAT mesmo sob a promessa de que ela é ou insatisfatível ou tem uma solução única. Assim, mostrando que o SAT não admite um …

14 np-hardness  np-complete  unique-solution  promise-problems 

O problema do "segundo " é o problema de decidir a existência de outra solução diferente de uma determinada solução, por exemplo.XXX Para algumas problemas -Complete, a segunda versão solução é -completo (decidir a existência de uma outra solução para o problema conclusão quadrado latino parcial), enquanto para outros é …

11 cc.complexity-theory  unique-solution