Np probléma a leállítás?
Pontszám: 4,7/5 ( 28 szavazat )Az is könnyen belátható, hogy a megállítási probléma nem az NP-ben van, mivel az NP-ben lévő összes probléma véges számú műveletben eldönthető, de a megállítási probléma általában eldönthetetlen . Vannak olyan NP-nehéz problémák is, amelyek sem nem NP-teljesek, sem nem eldönthetők.
Az NP leállítása teljes?
Ezért lehetetlen ellenőrző algoritmust létrehozni (polinomiális idő vagy sem) a LEÁLLÍTÁSHOZ. Ezért a HALTING nem szerepel az NP-ben, és az NP-teljesség definíciója alapján arra a következtetésre jutunk, hogy a HALTING nem NP-teljes .
Befejeződött a leállítási probléma?
Rice tétele általánosítja azt a tételt, hogy a megállási probléma megoldhatatlan . Kimondja, hogy bármely nem triviális tulajdonságra nincs általános döntési eljárás, amely minden program esetében eldönti, hogy a bemeneti program által megvalósított részfunkció rendelkezik-e ezzel a tulajdonsággal.
Melyik probléma az NP probléma?
Az NP nemdeterminisztikus Turing-géppel polinom időben megoldható problémák halmaza. P az NP részhalmaza (bármilyen probléma, amely polinomiális időben megoldható determinisztikus géppel, megoldható nemdeterminisztikus géppel is polinomidőben), de P≠NP.
Mi az NP-nehéz probléma a példával?
Példa egy NP-nehéz feladatra a döntési részhalmazösszeg probléma : adott egész számok halmaza, ezek bármely nem üres részhalmaza összeadódik nullával? Ez döntési probléma, és történetesen NP-teljes.
Turing és a megállási probléma – Computerphile
Honnan tudod, hogy NP probléma-e?
Egy problémát NP-nek (nem determinisztikus polinomnak) nevezünk, ha a megoldása polinomiális időben sejthető és ellenőrizhető ; A nemdeterminisztikus azt jelenti, hogy nem követnek bizonyos szabályokat a találgatáshoz. Ha egy probléma NP, és az összes többi NP probléma polinomiális idejű rá redukálható, akkor a probléma NP-teljes.
Hogyan bizonyítja a problémák megállítását?
Bizonyítás: Tegyük fel, hogy egy olyan ellentmondást érünk el, hogy létezik egy Halt(P, I) program, amely megoldja a leállítási problémát , Halt(P, I) akkor és csak akkor igaz, ha P megáll az I-n. összeállíthatja a következő karakterláncot/kódot Z: Program (String x) Ha Halt(x, x) then Loop Forever Else Halt.
Megoldódik valaha a leállási probléma?
A probléma megállítása talán a legismertebb probléma, amelyről bebizonyosodott, hogy eldönthetetlen; vagyis nincs olyan program, amely képes lenne megoldani a leállási problémát elég általános számítógépes programok esetében.
Nehéz az ekvivalencia probléma NP?
Nyilvánvalóan NP-nehéz . Ha lenne egy fekete dobozunk, ami egységnyi idő alatt megoldja a TALÁLÁS-ALHASZNÁLAT-SZUMOT, akkor könnyű lenne megoldani a SUBSET-SUM-ot.
Az utazó eladó NP teljes?
A Traveling Salesman Optimization (TSP-OPT) NP-nehéz probléma, a Traveling Salesman Search (TSP) pedig NP-teljes . A TSP-OPT azonban redukálható TSP-re, mivel ha a TSP polinomiális időben megoldható, akkor a TSP-OPT(1) is.
Miért nehéz a hátizsák probléma NP?
a szükséges idő exponenciálisan növekszik, tehát ez NPC probléma. Ennek az az oka, hogy a hátizsák -probléma pszeudopolinomiális megoldással rendelkezik, ezért gyengén NP-teljesnek (és nem erősen NP-teljesnek) nevezik.
NP egyenlő P-vel?
Az NP-nehéz problémák legalább olyan kemények, mint az NP problémák; azaz minden NP probléma redukálható rájuk (polinomiális időben). ... Ha bármely NP-teljes probléma P-ben van, akkor abból az következne, hogy P = NP . Számos fontos probléma azonban NP-teljesnek bizonyult, és egyikre sem ismert gyors algoritmus.
Miért eldönthetetlen a leállási probléma?
A leállítási probléma eldönthetetlen: Bizonyítás Mivel nincsenek feltételezések a várt bemenetek típusáról, a P program D bemenete maga is lehet program. A fordítók és a szerkesztők is programokat vesznek bemenetként.
Meg tudja-e oldani a kvantumszámítógép a leállási problémát?
Nem, a kvantumszámítógépek (ahogyan a mainstream tudósok értik) nem tudják megoldani a megállítási problémát . Normál számítógépekkel már tudjuk szimulálni a kvantumáramköröket; csak nagyon sok időbe telik, amikor megfelelő számú qubit kerül bele. (A kvantumszámítás bizonyos problémák esetén exponenciális felgyorsítást biztosít.)
Mire lehet példa a leállási probléma?
A leállási probléma a döntési probléma korai példája, és egyben jó példa a számítástechnikában a determinizmus korlátaira is.
Milyen következményekkel jár a probléma megállítása?
Ha a Turing-gépek leállási problémájára gondolunk, az azt jelentené, hogy csak a mai axiomatikus rendszerek konzisztenciáját tudjuk eldönteni . Vagyis a matematika gyökeresen fejlődhet, ha feltalálnak egy algoritmust, amely megoldja a Turing-gépek leállási problémáját.
Melyek azok a megoldhatatlan problémák, amelyek példát mutatnak?
Példák – Ez néhány fontos eldönthetetlen probléma: vajon egy CFG generálja-e az összes karakterláncot vagy sem ? Mivel a CFG végtelen karakterláncot generál, soha nem érhetjük el az utolsó karakterláncot, és ezért eldönthetetlen. Két CFG L és M egyenlő?
Miért fontos a probléma megállítása?
A Halting probléma lehetővé teszi az algoritmusok relatív nehézségeinek érvelését . Ez tudatja velünk, hogy vannak olyan algoritmusok, amelyek nem léteznek, és néha nem tehetünk mást, mint kitalálni egy problémát, és soha nem tudhatjuk, hogy megoldottuk-e.
A probléma megállítása rekurzívan megszámlálható?
A Halting problémának megfelelő HALT nyelv rekurzívan felsorolható , de nem rekurzív. Konkrétan az univerzális TM elfogadja a HALT-ot, de egyetlen TM sem tudja eldönteni a HALT-ot. Vannak nyelvek, amelyek nem rekurzívan felsorolhatók, különösen a NOTRE nyelv a bizonyításban.
Hogyan bizonyítja be, hogy probléma van az NP-ben?
A probléma bizonyításának legegyszerűbb módja az NP -ben az NP más válaszokban említett tanúsítványdefiníciójának használata . Az NP nem determinisztikus definíciója általában nem túl hasznos annak kimutatására, hogy egy probléma NP-hez tartozik.
Hogyan bizonyítja be, hogy a probléma NP-nehéz?
Annak bizonyításához, hogy A probléma NP-nehéz, redukáljon egy ismert NP-nehéz problémát A-ra. Más szavakkal, annak bizonyításához, hogy a probléma nehéz, le kell írnia egy hatékony algoritmust egy másik probléma megoldására , amelyről már tudja, hogy kemény, hipotetikus hatékony algoritmust használva a problémájára fekete doboz szubrutinként.
Miért kell bizonyítanunk az NP teljességét?
Probléma bizonyítása Az NP-Complete kutatási siker, mert megszabadít attól, hogy hatékony és pontos megoldást kelljen keresnie a vizsgált általános problémára .
Mit jelent a P vs NP?
P azon feladatok halmaza, amelyek megoldási ideje arányos az N-eket tartalmazó polinomokkal. ... Az NP (ami a nemdeterminisztikus polinomidő rövidítése) azon problémák összessége, amelyek megoldása polinomiális időben ellenőrizhető. De amennyire bárki meg tudja mondani, sok ilyen probléma megoldása exponenciális időt vesz igénybe.
Mi történne, ha a P NP megoldódna?
Ha P egyenlő NP-vel, akkor minden NP-probléma rejtett parancsikont tartalmazna , amely lehetővé teszi a számítógépek számára, hogy gyorsan tökéletes megoldást találjanak rájuk. De ha P nem egyenlő NP-vel, akkor nem léteznek ilyen hivatkozások, és a számítógépek problémamegoldó ereje alapvetően és tartósan korlátozott marad.