The Theory of Computation (TOC) comporta lo studio dei limiti e delle capacità dei computer . Calcolo considera non solo i computer di oggi , ma qualsiasi computer costruito per il futuro . Questi limiti teorici sono figurate attraverso equazioni matematiche . I teorici pensano le risorse necessarie per risolvere specifici problemi di calcolo e se saranno mai scalare queste risorse ai problemi più grandi. Risolvere le equazioni

ToC è un approccio sistematico alla risoluzione dei problemi . Calcolo può verificarsi più rapidamente quando le persone usano le macchine predefiniti , quali programmi o algoritmi. Problemi di calcolo complessi richiedono più tempo per risolvere i problemi di calcolo semplicistico , anche per quelli molto abile nel calcolo.

Fattibilità

calcoli sono metodi di elaborazione delle informazioni . Coloro che cercano di studiare calcoli cercare di capire quali problemi sono risolvibili e non risolvibili . Inoltre , i teorici ritengono che i problemi possono essere risolti ma richiedono enormi quantità di tempo, come milioni di anni di tempo di calcolo . Con la comprensione che i problemi non possono essere risolti fattivamente , i ricercatori possono evitare di utilizzare questi metodi e possono invece trovare modi alternativi . Le scoperte effettuate attraverso la ricerca computazionale aiutare le persone a identificare i problemi che possono essere risolti anche aiutare le persone a sviluppare strumenti che aiutano a risolvere questi problemi .

Applicazioni al di fuori Computers

Scienziati focalizzata sul ToC anche concentrarsi sui calcoli effettuati dai sistemi biologici . Ad esempio , i teorici hanno studiato il tipo di calcoli che neuroni collettivamente svolgono nel cervello . Essi meditano anche questioni filosofiche , come ” Qual è la natura dell’infinito ? ” I teorici cercano di capire se le persone in grado di distinguere numeri casuali da numeri casuali dall’aspetto creati con mezzi deterministici e se la gente ha realmente bisogno vera casualità .

Computer Limitazioni

Anche se a volte la ramificazione out , ToC si concentra soprattutto su ciò che i computer possono fare . I ricercatori pongono domande come ad esempio se ci sono dei computer intrinsecamente più potente di altri computer e se non ci sono limiti a ciò che i computer possono fare . I teorici esplorano i limiti dei computer quantistici . I computer quantistici sono computer che utilizzano fenomeni quantistici come l’ entanglement e la sovrapposizione . L’entanglement è quando i materiali molto piccoli come gli elettroni e fotoni interagiscono .

Peak vs. NP

Uno dei problemi più difficili nel sommario è il problema del picco contro NP . Ciò comporta la questione se un computer possa riconoscere una soluzione , ma non riesce a trovare soluzioni senza provare un gran numero di possibilità . Teorici che possono risolvere questo problema potranno applicarlo a una grande varietà di applicazioni . Teorie computazionali spesso finiscono per avere applicazioni dirette nel mondo reale . Ad esempio , una ricerca condotta da Ron Rivest , Adi Shamir e Len Aldeman nel 1976 ha portato alla conoscenza che ha aiutato la creazione di siti di commercio elettronico , come eBay e Amazon .