Perguntas com a marcação «np-complete»

Eu vi uma imagem que descreve as relações de P, NP, NP-Hard e NP-Complete que se parecem com isso: https://en.wikipedia.org/wiki/NP-hardness#/media/File:P_np_np-complete_np-hard.svg Gostaria de saber se o seguinte é possível? O que significa, P = NP, mas nem todos eles estão no NP-Hard: Edit: Quero acrescentar: Não estou aqui para dizer se …

7 np-complete  np-hard  np 

Em alguns lugares diferentes ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf e https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , para dar duas) afirma-se que a determinação da "equivalência" de duas matrizes Hadamard (no sentido de permitir sinal-flips e permutações em linhas e colunas) é difícil para NP. Nenhuma fonte que encontrei para essa …

7 np-complete  reference-request  graph-isomorphism 

Preciso provar que o TAUT é coNP-completo. Eu mostrei esse reduzindo para . No entanto, não consigo descobrir como provar que todos os problemas no coNP podem ser reduzidos para em tempo polinomial. Para fazer isso, eu precisaria de uma de duas coisas:TAUT∈coNPTAUT∈coNP\text{TAUT} \in \text{coNP}SATSAT\text{SAT}TAUT¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯TAUT¯\overline{\text{TAUT}}TAUTTAUT\text{TAUT} Um problema coNP-completo conhecido para …

7 complexity-theory  np-complete  proof-techniques  co-np 

O problema é NP-completo (comprovado) para todos os dados de entrada (sem exceção). Assumimos que P! = NP. É possível que exista um subconjunto (infinitamente grande) do problema, para o qual esse subconjunto esteja em P? Questão teórica.

7 complexity-theory  time-complexity  np-complete  np 

Na página da Wikipedia no problema P vs. NP, existe um algoritmo que "resolve" SUBSET-SUM no caso de P = NP em tempo polinomial. (A idéia é encontrar uma TM que dê um certificado). Mas dá "sim" no tempo polinomial e dura para sempre se a resposta for "não". Obviamente, …

7 complexity-theory  np-complete  np  p-vs-np 

O Concorde TSP é um solucionador de TSP. Os solucionadores SAT são solucionadores de satisfação booleana. TSP e SAT são NP-completos. Por isso, por que dedicar tempo ao desenvolvimento do Concorde TSP quando há uma abundância de solucionadores SAT no mercado naquela época?

7 np-complete  satisfiability  p-vs-np  traveling-salesman  sat-solvers 

Há várias perguntas na internet (este site e outros; por exemplo, por que não existe um algoritmo de criptografia baseado nos problemas conhecidos do NP-Hard? ) Discutindo a dureza do NP de diferentes sistemas criptográficos assimétricos. Quão bem estabelecidos são os sistemas de compartilhamento de chaves virtuais NP? Ou seja, …

7 complexity-theory  np-complete  cryptography 

No livro de Lance Fortnow, The Golden Ticket , ele menciona que uma vez que você tenha um algoritmo de tempo polinomial para um problema completo de NP, poderá usá-lo para encontrar um algoritmo mais rápido. Você pode me dizer como isso é feito? E uma vez feito isso, você …

7 algorithms  np-complete  p-vs-np  sat-solvers 

Este documento http://www.mountainvistasoft.com/docs/BattleshipsAsDecidabilityProblem.pdf diz que o problema de decisão "Dado um quebra-cabeça específico, existe uma solução?" é NP-completo. Não entendo por que isso não pode ser feito em tempo polinomial. Dadas as restrições de que dois navios não podem ser ortogonais ou diagonalmente adjacentes, por que não criar uma grade …

7 np-complete  np-hard 

Problema: Para provar oNP-CompletenessNP-Completeness\textsf{NP-Completeness}do problema de "Packing Squares (com diferentes comprimentos laterais) em um retângulo" ,3-PartitionPartição 3\textsf{3-Partition} é reduzido, como mostra a figura a seguir. No 3-PartitionPartição 3\textsf{3-Partition} exemplo, existem nnn elementos (a1,⋯,ai,⋯,an)(a1,⋯,ai,⋯,an)(a_1, \cdots, a_i, \cdots, a_n). A soma designadattt é t=∑ain/3t=∑ain/3t = \frac{\sum a_i}{n/3}. Na redução, BBBé um número …

7 complexity-theory  np-complete  reductions  np-hard  partitions 

Mostre que o problema da soma do subconjunto (Dada uma sequência de números inteiros e um número , existe uma subsequência de que soma exatamente ?) Está NP-completo.S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_nkkkSSSkkk Dica: Use o problema exato da capa. O problema exato da capa é o seguinte: Dada uma família …

7 complexity-theory  np-complete  reductions  np-hard 

Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 5 anos . Quais problemas de processamento de linguagem natural são NP-Complete ou …

7 complexity-theory  reference-request  np-complete  np-hard  natural-language-processing 

Um problema é NP-completo se: Está em NP. Todos os problemas no NP podem reduzir a isso. É o número 2 que me preocupa aqui. Eu ficaria muito surpreso se soubéssemos todos os problemas no NP. Com base nessa premissa, como podemos ter certeza de que algum problema está completo …

7 complexity-theory  np-complete  np 

Deixei ϕϕ\phi ser uma fórmula 3-CNF sobre variáveis x1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_n. Toda variávelxixix_i, i∈[n]i∈[n]i \in [n], ocorre igualmente muitas vezes como um literal positivo e como um literal negativo em ϕϕ\phi. É NP-completo decidir a satisfação de tal fórmula? Supondo que seja, eu estaria interessado em saber se ele tem um nome …

7 complexity-theory  np-complete  satisfiability  decision-problem 

Para continuar este post , vamos definir o problema Monotone -SAT:(+,2−)(+,2−)(+, 2^-) Dada uma fórmula monótona de CNF , em que cada variável aparece exatamente uma vez (como um literal positivo) e uma fórmula monotônica de 2-CNF definida nas mesmas variáveis ​​que , onde todas as variáveis ​​são negadas. É …

7 complexity-theory  np-complete  decision-problem  complexity-classes