Rice’s stelling generaliseert de stelling dat het stopprobleem onoplosbaar is . Het stelt dat er voor niet-triviale eigendom geen algemene beslissingsprocedure is die, voor alle programma’s, beslist of de gedeeltelijke functie die door het inputprogramma wordt geïmplementeerd, die eigenschap heeft.
Welk probleem is NP -probleem?
NP is een reeks problemen die kan worden opgelost door een niet-deterministische Turing-machine in polynoomtijd . P is subset van NP (elk probleem dat kan worden opgelost door de deterministische machine in polynoomtijd kan ook worden opgelost door niet-deterministische machine in polynoomtijd) maar Pâ NP.
Wat is NP-Hard-probleem met voorbeeld?
Een voorbeeld van een NP-Hard-probleem is het probleem van de beslissingssubset somprobleem : Gegeven een set gehele getallen, komt een niet-lege subset van hen op tot nul? Dat is een beslissingsprobleem en is toevallig NP-complete.
hoe weet je of het een NP -probleem is?
Een probleem wordt NP genoemd (niet -deterministisch polynoom) als de oplossing kan worden geraden en geverifieerd in polynomiale tijd ; Niet -deterministisch betekent dat er geen specifieke regel wordt gevolgd om de gok te doen. Als een probleem NP is en alle andere NP-problemen die hierdoor polynoomtijd zijn, is het probleem NP-complete.
Hoe blijkt u problemen te stoppen?
Bewijs: ga ervan uit om een ??tegenspraak te bereiken dat er een -programma -stop (P, I) bestaat dat het stopprobleem oplost , halt (P, I) retourneert true als en alleen P op I. Het gegeven dit programma voor het stopprobleem, kunnen we de volgende tekenreeks/code z: programma (string x) construeren als halt (x, x) vervolgens voor altijd haalt.
Zal het stopprobleem ooit worden opgelost?
Het stoppen van het probleem is misschien wel het meest bekende probleem waarvan is bewezen dat het onbeslist is; dat wil zeggen, Er is geen programma dat het stopprobleem voor algemene computerprogramma’s kan oplossen.
Is het gelijkwaardigheidsprobleem NP-Hard?
Het is duidelijk NP-Hard . Als we een zwarte doos hadden die Find-Subset-Sum in eenheidstijd had opgelost, zou het gemakkelijk zijn om subset-sum op te lossen.
Is reizende verkoper NP-complete?
Reizende verkoper-optimalisatie (TSP-OPT) is een NP-hard probleem en reizende verkoper Search (TSP) is NP-complete . TSP-OPT kan echter worden gereduceerd tot TSP, omdat als TSP in polynoomtijd kan worden opgelost, dan ook TSP-OPT (1).
Waarom is knapzakprobleem NP-Hard?
De benodigde tijd neemt toe in exponentiële term, dus het is een NPC -probleem. Dit komt omdat het knapzakprobleem een pseudo-polynomiale oplossing heeft en dus zwak NP-complete (en niet sterk NP-complete) wordt genoemd.
Is NP gelijk aan P?
NP-Hard-problemen zijn die minstens zo hard als NP-problemen; d.w.z. alle NP -problemen kunnen voor hen worden verminderd (in polynoomtijd). … als een NP-compleet probleem in P is, dan zou het volgen dat p = np . Er zijn echter veel belangrijke problemen aangetoond als NP-complete, en er is geen snel algoritme voor een van hen bekend.
Waarom is het stopprobleem onbeslist?
Het stopprobleem is onbeslistbaar: Proof
Aangezien er geen veronderstellingen zijn over het type ingangen dat we verwachten, kan de invoer D naar een programma P zelf een programma zijn. Compilers en editors nemen beide programma’s als inputs.
Kan een kwantumcomputer het stopprobleem oplossen?
Nee, kwantumcomputers (zoals begrepen door reguliere wetenschappers) kan het stopprobleem niet oplossen . We kunnen kwantumcircuits al simuleren met normale computers; Het duurt gewoon heel lang als je een behoorlijk aantal bijbehorende qubits krijgt. (Quantum Computing biedt exponentiële versnellingen voor sommige problemen.)
Wat is het stopprobleem een ??voorbeeld van?
Het stopprobleem is een vroeg voorbeeld van een beslissingsprobleem , en ook een goed voorbeeld van de limieten van determinisme in de informatica.
Wat zijn de gevolgen van het stoppen van het probleem?
Als we verwijzen naar het stopprobleem voor Turing -machines, zou dat betekenen dat we alleen de consistentie van de axiomatische systemen van vandaag kunnen bepalen . Dat wil zeggen, wiskunde kan radicaal evolueren als een algoritme dat het stopprobleem voor Turing -machines oplost, is uitgevonden.
Wat zijn onbesliste problemen geven voorbeeld?
Voorbeelden â Dit zijn maar weinig belangrijke onbesliste problemen: Of een CFG al de snaren genereert of niet ? Naarmate een CFG oneindige snaren genereert, kunnen we nooit tot de laatste snaar bereiken en daarom is het onbeslist. Of twee CFG L en M gelijk zijn?
Waarom is het stoppen van het probleem belangrijk?
Het stopprobleem laat ons redeneren over de relatieve moeilijkheid van algoritmen . Het laat ons weten dat er enkele algoritmen zijn die niet bestaan, dat we soms alleen maar een probleem kunnen raden en nooit kunnen weten of we het hebben opgelost.
Is het stoppen van probleem recursief op te rekenen?
De taalstop die overeenkomt met het stopprobleem is recursief opsommen , maar niet recursief. In het bijzonder accepteert de Universal TM stop, maar geen TM kan beslissen. Er zijn talen die niet recursief op te rekenen zijn, met name de taal niet in het bewijs.
Hoe bewijst u dat een probleem ligt in NP?
De eenvoudigste manier om een ??probleem te bewijzen is in NP is Het gebruik van het certificaat definitief van NP genoemd in andere antwoorden . De niet -deterministische definitie van NP is meestal niet erg nuttig om een ??probleem te laten zien, behoort tot NP.
Hoe bewijst u dat een probleem NP-Hard is?
Om te bewijzen dat probleem A np-hard is, vermindert u een bekend NP-hard probleem tot A. Met andere woorden, om te bewijzen dat uw probleem moeilijk is, moet u een ecient algoritme beschrijven om een ??derent probleem op te lossen , waarvan u al weet dat het moeilijk is, met behulp van een hypothetisch ecient-algoritme voor uw probleem als een black-box subroutine.
Waarom moeten we NP -volledigheid bewijzen?
Het bewijzen van een probleem dat NP-complete een onderzoekssucces is, omdat u bevrijdt van het zoeken naar een efficiënte en exacte oplossing voor het algemene probleem dat u bestudeert . .
Waar staat P vs NP voor?
P is de reeks problemen waarvan de oplossingstijden evenredig zijn met polynomen waarbij N’s betrokken zijn. … NP (die staat voor niet -deterministische polynomiale tijd ) is de reeks problemen waarvan de oplossingen in polynoomtijd kunnen worden geverifieerd. Maar voor zover iedereen kan zien, hebben veel van die problemen een exponentiële tijd nodig om op te lossen.
wat zou er gebeuren als P NP werd opgelost?
Als P gelijk is aan NP, zou elk NP -probleem een ??verborgen snelkoppeling bevatten , waardoor computers snel perfecte oplossingen voor hen kunnen vinden. Maar als P niet gelijk is aan NP, bestaan ??dergelijke snelkoppelingen niet en blijven de probleemoplossende bevoegdheden van computers fundamenteel en permanent beperkt.