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}...
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...
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ê pode usar o novo algoritmo...
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...
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
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, pode ser corrigido para dar...
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
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...
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:
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...