border=0

Problem fan algoritmyske lilkberens

Elke algoritme komt oerien mei it probleem wêr't it boud waard. De konversearje is algemien falsk foar twa redenen: it earste, itselde probleem kin bepaald wurde troch ferskate algoritmen; Tsjintwurdich kin it oanwêzich wêze (sa fier) ​​dat der taken binne dingen dêr't algoritme hielendal net boud wurde kin.

As al bepaald, ferskynt de term "algoritme" in wiskunde lyn en waard in >

It be>it mooglik, sûnder in probleem te learen, te bewizen dat it algoritmysk ûnferbidlik is, dat is, dat it ûnmooglik is om in algoritme op te bouwen dy't har totale oplossing leverje soe? It antwurd op dizze fraach is wichtich, ynklusyf fan in praktyske punt, bygelyks it is sûnder probleem te probearjen om in kompjûterprobleem te pleatsen en in programma foar te ûntwikkeljen as it bewiisd is dat it algoritmysk ûnlêsber is. It wie om dizze fraach te beantwurdzjen dat it earst nedich wie om in strikte definysje fan 'e algoritme te jaan, sûnder dat de diskusje fan har bestean gewoan gjin sin makket. De bou fan sa'n definysje, lykas wy al witte, liede ta it optreden fan formele algoritmyske systemen, wêrtroch it mooglik makemysk te bepraten is de ûnferwiderlikheid fan in tal problemen. It beslút om te ûntwikkeljen fan 'e ûnfermogen om in rekursive funksje te bouwen dy't it probleem beheart, of (lykweardich) nei de ûnfolsleine bouwen fan in Turing-masine dêrfan, of yn' e insolvenz fan ien (ien) oare modelo presintearre. 7.3. Ie In probleem wurdt beskôge as algoritmysk net ûnferwiderlik as der gjin Turing-masine is (of in rekursive funksje, of in normaal Markov-algoritme) dy't him oplost.

De earste beweechingen fan algoritmyske ûnbefredigens befette wat fragen fan logika en de teory fan algoritmen sels. It die bliken dat it probleem fan 'e wierheid fan in willekeurige formule fan' e predikaat kalkulaasje (dat is de predikaat kalkulel is net te lûken) is net ûnferwiderlik - dit teorem waard yn 1936 bewiisd. Cherchem

Yn 1946-47 A.A. Markov en E. Post fertsjinnen ûnôfhinklik it ûntbrekken fan in algoritme foar erkenning fan wurd-lykweardigens yn elke asosyske kalkulaasje.

Yn 'e teory fan algoritme ferwiist it "stoppeprobleem" algoritmysk ûnbetrouber : is it mooglik om te bepalen troch de beskriuwing fan it algoritme ( Q ) en ynputgegevens ( x ) oft de ymplemintaasje fan' e algoritme einiget mei in konsekwint stop? Dit probleem hat in transparant programmersûnderwerp. Faak binne programmaûntwikkelderrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr De ûnpostberens fan 'e stoppprobleeming betsjut dat it ûnmooglik is om in mienskip te meitsjen (dat is, foar elke programma passend) programma-debugging-algoritme. It probleem foar it werkenjen fan de lykweardigens fan algoritme feroaret net ûnferwiderlik: it is ûnmooglik om in algoritme op te bouwen dat foar elke twa algoritme (programma's) fine wolle oft se altyd nei deselde resultaat liede of net.

It be>





Sjoch ek:

Foarbyld 4.6

Foarbyld 5.4

Probleemintwurding

Foarbyld 4.12

Op it foarwerp oanwêzich yn tapastare kompjûterwittenskip

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ edudocs.fun