O teorema de
Rice generaliza o teorema de que o problema de interrupção é insolúvel . Ele afirma que, para qualquer propriedade não trivial, não há procedimento de decisão geral que, para todos os programas, decida se a função parcial implementada pelo programa de entrada possui essa propriedade.
Qual problema é o problema do NP?
NP é um conjunto de problemas que podem ser resolvidos por uma máquina de Turing não determinística no tempo polinomial . P é o subconjunto de NP (qualquer problema que possa ser resolvido por máquina determinística no tempo polinomial também pode ser resolvido por máquina não determinística no tempo polinomial), mas PA np.
O que é um problema np-hard com o exemplo?
Um exemplo de um problema de NP é O problema do subconjunto de decisão : Dado um conjunto de números inteiros, algum subconjunto não vazio deles somente zero? Esse é um problema de decisão e é o NP-Preparado.
Como você sabe se é um problema de NP?
Um problema é chamado de NP (polinomial não determinístico) se sua solução puder ser adivinhada e verificada no tempo polinomial ; Não determinístico significa que nenhuma regra específica é seguida para adivinhar. Se um problema é o NP e todos os outros problemas de NP são reduzíveis de tempo polinomial, o problema é NP-completo.
Como você prova problemas de interrupção?
Prova: Suponha que alcance uma contradição de que exista um programa pare (p, i) que resolve o problema de parada , parar (p, i) retorna verdadeiro se e apenas p parar em I. Dado este programa para o problema de interrupção, poderíamos construir a seguinte string/código Z: Program (String x) se halt (x, x) depois fazer um loop para sempre depois que parasse.
O problema de interrupção será resolvido?
Parar o problema é talvez o problema mais conhecido que provou ser indecidível; isto é, não há programa que possa resolver o problema de parada para programas de computador geral o suficiente.
O problema da equivalência é np-hard?
Claramente, é np-hard . Se tivéssemos uma caixa preta que resolvesse a SUM-SUM SUM no tempo da unidade, seria fácil resolver o subconjunto.
O vendedor viajante é prematuro?
O otimização do vendedor ambulante (TSP-OPT) é um problema de NP-Hard e a Pesquisa de Vendas Viajantes (TSP) é NP-complete . No entanto, o TSP-OPT pode ser reduzido a TSP, pois se o TSP puder ser resolvido no tempo polinomial, o mesmo acontece com o TSP-OPT (1).
Por que o problema da mochila é np-hard?
O tempo necessário aumenta no termo exponencial, por isso é um problema de NPC. Isso ocorre porque o problema da mochila tem uma solução pseudo-polinomial e, portanto, é chamado de NP-completo (e não fortemente np-completo).
np é igual a p?
Os problemas
NP são aqueles pelo menos tão difíceis quanto os problemas de NP; ou seja, todos os problemas de NP podem ser reduzidos (no tempo polinomial) para eles. … Se algum problema de preenchimento NP estiver em P, seguiria que p = np . No entanto, muitos problemas importantes demonstraram ser NP-completos, e nenhum algoritmo rápido para qualquer um deles é conhecido.
Por que o problema de parada é indecidível?
O problema de interrupção é indecidível: prova
Como não há suposições sobre o tipo de entrada que esperamos, a entrada d para um programa P poderia ser um programa. Compiladores e editores tomam programas como entradas.
Um computador quântico pode resolver o problema de parada?
Não, os computadores quânticos (como entendidos pelos principais cientistas) não podem resolver o problema de interrupção . Já podemos simular circuitos quânticos com computadores normais; Demora muito tempo quando você recebe um número decente de qubits envolvidos. (A computação quântica fornece acelerações exponenciais para alguns problemas.)
Qual é o problema de parada um exemplo de?
O problema de interrupção é um exemplo inicial de um problema de decisão , e também um bom exemplo dos limites do determinismo na ciência da computação.
Quais são as consequências do problema de interrupção?
Se estamos se referindo ao problema de interrupção das máquinas de Turing, isso significaria que podemos decidir apenas a consistência dos sistemas axiomáticos atuais . Ou seja, a matemática pode evoluir radicalmente se um algoritmo que resolve o problema de interrupção das máquinas de Turing foi inventado.
O que são problemas indecidíveis dão exemplo?
Exemplos – Estes são poucos problemas indecidíveis importantes: se um CFG gera todas as cordas ou não ? Como um CFG gera strings infinitas, nunca podemos chegar à última corda e, portanto, é indecidível. Se dois CFG L e M iguais?
Por que interromper o problema é importante?
O problema de interrupção permite raciocinar sobre a dificuldade relativa dos algoritmos . Isso nos permite saber que existem alguns algoritmos que não existem, que às vezes tudo o que podemos fazer é adivinhar um problema e nunca saber se resolvemos isso.
A interrupção do problema é recursivamente enumerável?
A interrupção do idioma correspondente ao problema de interrupção é recursivamente enumerável , mas não recursiva. Em particular, a TM universal aceita parar, mas nenhuma MT pode decidir parar. Existem idiomas que não são recursivamente enumeráveis, em particular a linguagem Notre na prova.
Como você prova que um problema está em NP?
A maneira mais fácil de provar que algum problema é no NP é usando o certificado definitivamente o NP mencionado em outras respostas . A definição não determinística de NP geralmente não é muito útil para mostrar um problema pertence ao np.
Como você prova que um problema é np-hard?
Para provar que o problema A é NP-Hard, reduza um problema conhecido de NP para A. Em outras palavras, para provar que seu problema é difícil, você precisa Descreva um algoritmo eciente para resolver um problema diferente , o que você já conhece é difícil, usando um algoritmo eciente hipotético para o seu problema como sub-rotina de caixa preta.
Por que precisamos provar a integridade do NP?
Provando um problema NP-COMPLETE é um sucesso de pesquisa porque liberta você de ter que procurar uma solução eficiente e exata para o problema geral que você está estudando .
O que significa P vs NP?
p é o conjunto de problemas cujos tempos de solução são proporcionais aos polinômios envolvendo n’s. … NP (que significa tempo polinomial não determinístico ) é o conjunto de problemas cujas soluções podem ser verificadas no tempo polinomial. Mas até onde qualquer um pode dizer, muitos desses problemas levam tempo exponencial para resolver.
O que aconteceria se P np fosse resolvido?
Se P for igual a NP, todo problema NP conteria um atalho oculto , permitindo que os computadores encontrem rapidamente soluções perfeitas para eles. Mas se P não for igual a NP, não existem esses atalhos e os poderes de solução de problemas dos computadores permanecerão fundamentalmente e permanentemente limitados.