Ano ang teorya ng pagiging kumplikado ng computational?

Ang teorya ng pagiging kumplikado ng computational ay isang lugar ng matematika at agham ng computer na nababahala sa mga mapagkukunan na kinakailangan upang malutas ang mga problema sa isang sistema ng computer.Ang isang bilang ng mga pamamaraan ay magagamit upang matukoy ang mga kinakailangan ng mapagkukunan ng isang problema.Ang ilang mga problema ay maaaring hindi magagawa sa umiiral na mga computer system dahil sa kanilang mga kahilingan sa mapagkukunan.Inuri ng mga mananaliksik ang mga problema sa pamamagitan ng kahirapan at maaaring hatiin ang mga pagkalkula sa polynomial (P) kumpara sa mga nonterministic polynomial (NP) na mga problema.

Ang paglutas ng isang pagkalkula ay nangangailangan ng mga mapagkukunan tulad ng oras, espasyo sa imbakan at hardware.Ang isang computer system ay maaaring magkaroon ng mga limitasyon na gumawa ng isang problema na imposible na imposible upang malutas dahil wala itong magagamit na mga mapagkukunan.Tulad ng pagpapabuti ng teknolohiya ng computer, ang isang dating hindi malulutas na problema ay maaaring malutas sa tulong ng bagong teknolohiya at pananaliksik sa larangan ng teorya ng computational na pagiging kumplikado.Ang pag -aalis ng isang problema ay hindi kinakailangang natutukoy ng pagiging kumplikado nito ngunit sa mga algorithm na ginamit upang malutas ito.Maaaring mangailangan pa rin ito ng malaking mapagkukunan, ngunit pareho itong malulutas at mai -check sa pamamagitan ng computer.Ang ganitong mga problema ay maaaring isipin nang mabilis na malulutas hangga't ang isang computer ay may magagamit na mga mapagkukunan upang mahawakan ang mga kinakailangang pagkalkula.

Ang mga problema sa NP ay mas kumplikado.Hindi posible na mag -aplay ng isang solong algorithm, at maaaring kailanganin na gumamit ng mas advanced na mga pagpipilian, tulad ng kahanay na mga makina ng Turing na maaaring galugarin ang ilang mga pagpipilian.Ang problema ay maaaring malulutas sa ganitong paraan, ngunit kakailanganin nito ang higit pang mga mapagkukunan.Ang ganitong mga problema ay maaaring maging mas madali para sa mga operator ng tao na may kakayahang advanced na lohikal na pag -iisip, dahil ang tipping point ay madalas na isa sa lohika kaysa sa manipis na kahirapan sa pagkalkula.Ang naglalakbay na problema sa salesman, kung saan ang layunin ay upang mahanap ang pinaka mahusay na ruta sa pagitan ng isang bilang ng mga lungsod kasama ang isang ruta, ay isang klasikong halimbawa ng isang problema sa NP sa teorya ng pagiging kumplikado ng computational.Maaaring maging isang kumplikadong gawain, at ang mga problema ay maaaring magbalik -balik sa buong paghati.Ang isang maliit na hanay ng mga problema sa computational ay hindi magkasya nang maayos sa alinman sa kategorya at kung minsan ay inuri bilang alinman upang maipakita ito.Maaaring sa huli ay posible na bumuo ng isang algorithm upang malutas ang isang problema sa NP, at sa ilang mga kaso, maaaring mag -aplay ito sa iba pang mga problema na may katulad na istraktura.Gayunman, sa iba, maaaring maging tiyak sa problema.Ang proseso ng paggalugad ng mga nasabing programa at pagbuo ng mga diskarte upang malutas ang mga ito ay isang mahalagang lugar ng matematika at agham ng computer na nag-aambag sa pagbuo ng mga advanced, high-powered computer system.