Mi nem számítható?

Pontszám: 4,4/5 ( 41 szavazat )

A nem kiszámítható olyan probléma, amelynek megoldására nincs algoritmus . A nem-számíthatóság leghíresebb példája (vagy eldönthetetlenség

eldönthetetlenség
A kiszámíthatósági elméletben az eldönthetetlen probléma olyan számítási probléma, amely igen/nem választ igényel , de nem lehet olyan számítógépes program, amely mindig a helyes választ adná; vagyis minden lehetséges program néha rossz választ adna, vagy örökké futna anélkül, hogy választ adna.
https://en.wikipedia.org › wiki › List_of_undecidable_problems

A eldönthetetlen problémák listája – Wikipédia

) a megállási probléma.

Milyen függvények nem számíthatók ki?

A természetes számokon lévő véges függvények halmaza megszámlálhatatlan, így a legtöbb nem kiszámítható. Konkrét példák az ilyen függvényekre: Foglalt hód, Kolmogorov-komplexitás, vagy bármely olyan függvény, amely egy nem kiszámítható szám számjegyeit adja ki, mint például a Chaitin-konstans.

Hogyan bizonyíthatod be, hogy valami nem kiszámítható?

Általában meglehetősen nehéz közvetlenül bizonyítani, hogy egy nyelv eldönthetetlen (kivéve, ha már „átlós” módon van megszerkesztve). Az utolsó és legelterjedtebb módszer a eldönthetetlenség bizonyítására egy másik nyelv használata, amelyről már tudjuk, hogy eldönthetetlen.

Minden probléma kiszámítható?

Hilbert úgy gondolta, hogy minden matematikai probléma megoldható, de az 1930-as években Gödel, Turing és Church megmutatta, hogy ez nem így van. Kiterjedt tanulmányozás és osztályozás folyik arról, hogy mely matematikai problémák számíthatók ki és melyek nem.

A probléma leállítása nem számítható ki?

Sok olyan probléma van, amelyre nincs algoritmus. Valójában a kiszámítható dolgok száma végtelenül csekély azoknak a dolgoknak a számához képest, amelyeket az ember szeretne kiszámítani, de amelyeket nem lehet kiszámítani. Egy probléma bizonyításához P nem számítható , ... De tudjuk, hogy a megállási probléma nem számítható.

Vannak olyan problémák, amelyeket a számítógépek nem tudnak megoldani?

24 kapcsolódó kérdés található

Mitől dönthetetlen a probléma?

A kiszámíthatósági elméletben az eldönthetetlen probléma olyan számítási probléma, amely igen/nem választ igényel , de nem lehet olyan számítógépes program, amely mindig a helyes választ adná; vagyis minden lehetséges program néha rossz választ adna, vagy örökké futna anélkül, hogy választ adna.

Mi az eldönthetetlen probléma, mondjon példát?

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 az a p osztály a DAA-ban?

P-osztály. A P osztály azokból a problémákból áll, amelyek polinomiális időben megoldhatók , azaz ezek a problémák O(n k ) idővel is megoldhatók legrosszabb esetben, ahol k konstans. Ezeket a problémákat kezelhetőnek, míg másokat kezelhetetlennek vagy szuperpolinomiálisnak neveznek.

Minden természetes szám kiszámítható?

Egy valós szám akkor és csak akkor számítható ki, ha az általa képviselt természetes számok halmaza (binárisan írva és karakterisztikus függvényként tekintve) kiszámítható. Minden kiszámítható szám aritmetikai.

Miért kell ellenőriznünk egy probléma kiszámíthatóságát?

A kiszámíthatósági elmélet egyik célja annak meghatározása, hogy mely problémák vagy problémaosztályok oldhatók meg az egyes számítási modellekben .

Az üres halmaz kiszámítható?

Az üres halmaz kiszámítható . A természetes számok teljes halmaza kiszámítható. Minden természetes szám (a szabványos halmazelméletben meghatározottak szerint) kiszámítható; vagyis az adott természetes számnál kisebb természetes számok halmaza kiszámítható.

Miért nem számítható ki Kolmogorov-komplexitás?

A Kolmogorov-komplexitás nem számítható ki abban az értelemben, hogy nincs egyetlen függvény vagy Turing-gép sem, amely visszaadná egy tetszőleges karakterlánc összetettségét . ... Egy karakterláncot, amely egyetlen szimbólummal sem csökkenthető, összenyomhatatlannak mondják. Az ilyen karakterláncoknak egy egyszerű számlálási elv szerint kell létezniük.

Az irracionális számok kiszámíthatók?

Azonban az összes irracionális szám halmaza megszámlálhatatlan , tehát kell lennie olyan irracionális számnak, amelynek decimális kiterjesztése nem számítható ki! Valójában, mivel csak megszámlálhatóan sok irracionális szám számítható ki, a „legtöbb” irracionális szám nem számítható ki!

Mi a hatékonyan kiszámítható függvény?

Olyan függvény, amelynek értéke valamilyen Turing-géppel véges számú lépésben kiszámítható . Hatékonyan kiszámítható függvényként is ismert. Link erre az oldalra: <a href="https://encyclopedia2.thefreedictionary.com/Effectively+computable">számítható függvény</a>

Mit mond a Church Turing-tézis?

A Church-Turing tézis (korábban egyszerűen csak Church tézisének nevezték) azt mondja, hogy a valós világ bármely számítása lefordítható egy ekvivalens, Turing-gépet használó számításra.

Mi a legnagyobb kiszámítható szám?

Ralph Loader programja, amely az első helyen végzett a Bignum Bakeoff versenyen, amelynek célja egy olyan C program megírása volt (legfeljebb 512 karakterben ), amely a lehető legnagyobb kimenetet generálja egy végtelen memóriával rendelkező elméleti gépen. A valaha kitalált legnagyobb kiszámítható számok közé tartozik.

Megszámolhatók-e a kiszámítható számok?

Míg a valós számok halmaza megszámlálhatatlan, a kiszámítható számok halmaza csak megszámlálható , így szinte minden valós szám nem számítható ki. Az, hogy a kiszámítható számok legfeljebb intuitív módon megszámlálhatók, abból adódik, hogy Turing-gépekkel állítják elő őket, amelyekből csak megszámlálhatóan sok van.

Minden algebrai szám kiszámítható?

Az algebrai számok halmaza megszámlálható (felsorolható), ezért Lebesgue-mértéke a komplex számok részhalmazaként 0 (lényegében az algebrai számok nem foglalnak helyet a komplex számokban). ... Minden algebrai szám kiszámítható , ezért meghatározható és aritmetikai.

Minden P probléma NP?

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.

Melyek a problémák osztályai?

17.6. Problémaosztályok
  • A problémák osztályai. A problémák halmazát általában osztálynak nevezik. ...
  • Véges állapotú számítás. ...
  • Kiszámítható és nem kiszámítható problémák. ...
  • Részben kiszámítható problémák. ...
  • Polinom tér és idő. ...
  • Az osztályok közötti kapcsolatok.

Megoldható a P NP?

Ez a részhalmaz a P. P az összes hatékonyan megoldható döntési probléma halmaza . P az NP részhalmaza. P az összes hatékonyan megoldható döntési probléma halmaza, és az NP részhalmaza. Az alapvető aritmetika polinomidőben megoldható, így P-hez tartozik.

Megoldhatók-e az eldönthetetlen problémák?

Vannak olyan problémák, amelyeket egy számítógép soha nem tud megoldani, még a világ legerősebb, végtelen idővel rendelkező számítógépe sem: a eldönthetetlen problémák. Eldönthetetlen probléma az, amelyre "igen" vagy "nem" választ kell adni, de mégsem létezik olyan algoritmus, amely minden bemenetre helyesen válaszolna .

Mi az a megdönthetetlen nyelv?

Egy eldönthetetlen nyelv esetében nincs olyan Turing-gép, amely elfogadja a nyelvet, és minden w bemeneti karakterláncra döntést hoz (a TM azonban dönthet bizonyos bemeneti karakterláncokról). Egy P döntési problémát „meghatározhatatlannak” nevezünk, ha a P-hez tartozó összes igen példány L nyelve nem eldönthető.

Hogyan dönthetetlen a probléma megállítása?

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.

Milyen problémák nem számíthatók ki?

(Az eldönthetetlen egyszerűen nem számítható ki egy döntési probléma kontextusában, amelynek válasza (vagy kimenete) „igaz” vagy „hamis”). A nem kiszámítható olyan probléma, amelynek megoldására nincs algoritmus. A kiszámíthatatlanság (vagy eldönthetetlenség) leghíresebb példája a Halting Problem .