Un algoritmo ye ua sequéncia fenita de anstruçones bien defenidas i nun ambíguas, cada ua de las quales puode ser eisecutada mecanicamente nun período de tiempo fenito i cun ua cantidade de sfuorço fenita.
L cunceito d'algoritmo ye frequentemente eilustrado pul eisemplo dua receita culinária, ambora muitos algoritmos séian mais cumplexos. Eilhes puoden repetir passos (fazer iteraçones) ó necessitar de decisones (tales cumo cumparaçones ó lógica) até que la tarefa seia cumpletada. Un algoritmo corretamente eisecutado nun eirá resulber un porblema se stubir amplementado ancorretamente ó se nó fur apropiado al porblema.
Un algoritmo nun repersenta, necessariamente, un porgrama de cumputador, i si ls passos necessairos para rializar ua tarefa. Sue amplementaçon puode ser feita por un cumputador, por outro tipo de outómato ó mesmo por un ser houmano. Defrentes algoritmos puoden rializar la mesma tarefa usando un cunjunto defrenciado d'anstruçones an mais ó menos tiempo, spácio ó sfuorço de l qu'outros. Tal defrença puode ser reflexo de la cumplexidade cumputacional aplicada, que depende de struturas de dados adequadas al algoritmo. Por eisemplo, un algoritmo para se bestir puode specificar que bocé bista purmeiro las meias i ls çapatos antes de bestir la calça anquanto outro algoritmo specifica que bocé debe purmeiro bestir la calça i depuis las meias i ls çapatos. Queda claro que l purmeiro algoritmo ye mais defícel d'eisecutar que l segundo anque ambos liebáren al mesmo resultado.
L cunceito dun algoritmo fui formalizado an 1936 pula Máquina de Turing de Alan Turing i pul cálclo lambda de Alonzo Church, que formórun las purmeiras fundaçones de la Ciéncia de la cumputaçon.
Ls storiadores de la palabra algoritmo ancontrórun la ourige ne l subrenome, Al-Khwarizmi, de l matemático persa de l seclo IX Mohamed ben Musa, cujas obras fúrun traduzidas ne l'oucidente crestiano ne l seclo XII, tenendo ua deilhas recebido l nome Algorithmi de numero andorun, subre ls algoritmos usando l sistema de numeraçon decimal (andiano). Outros outores, antretanto, defenden l'ourige de la palabra an Al-goreten (raiç - cunceito que se puode aplicar als cálclos). Álgebra i algorismo tamien forman formas corrompidas de la palabra, pus las pessonas squecian las deribaçones ouriginales. L dicionairo Bollständiges Mathematisches Lexicon (Leipzig, 1747) refire la palabra "Algorithmus"; nesta zeignaçon stá cumbinado las noçones de quatro cálclos aritméticos, nomeadamente la adiçon, multiplicaçon, subtraçon i debison. La frase "algorithmus anfenitesimalis" fui na altura outelizado para seneficar; "maneiras de calcular cun cantidades anfenitésimas" (pequeinhas), ua ambençon de Leibnitç. Tamien ye coincido ne l meio financeiro, cumo "algos".
Un porgrama de cumputador ye eissencialmente un algoritmo que diç al cumputador ls passos specíficos i an qu'orde eilhes dében ser eisecutados, cumo por eisemplo, ls passos la séren tomados para calcular las notas que seran ampressas ne ls boletines de ls alunos dua scuola. Lougo, l'algoritmo puode ser cunsidrado ua sequéncia d'ouparaçones que puoden ser simuladas por ua máquina de Turing cumpleta.
Quando ls procedimientos dun algoritmo ambolben l processamiento de dados, l'anformaçon ye lida dua fuonte d'antrada, processada i retornada sob nuobo balor passado processamiento, l que giralmente ye rializado cul ajuda dua ó mais strutura de dados.
Para qualquiera porcesso cumputacional, l'algoritmo percisa star rigorosamente defenido, specificando la maneira qu'el se cumportará an todas las circunstáncias. La corretebidade de l'algoritmo puode ser probada matematicamente, bien cumo la cantidade assintótica de tiempo i spácio (cumplexidade) necessairos pa la sue eisecuçon. Estes aspetos de ls algoritmos son albo de la análeze d'algoritmos.
La maneira mais simples de se pensar un algoritmo ye por ua lista de procedimientos bien defenida, na qual las anstruçones son eisecutadas passo a passo a partir de l'ampeço de la lista, ua eideia que puode ser facilmente bisualizada atrabeç dun fluxograma. Tal formalizaçon adota las premissas de la porgramaçon amperatiba, que ye ua forma macánica para bisualizar i zambolber un algoritmo. Cuncepçones altarnatibas para algoritmos barian an porgramaçon funcional i porgramaçon lógica.
Alguns outores restringe la defeniçon d'algoritmo para procedimientos qu'eibentualmente treminan. Marbin Minsky custatou que se l tamanho dun procedimiento nun ye coincido d'antemon, tentar çcubri-lo ye un porblema andecidible, yá que l procedimiento puode ser eisecutado anfenitamente, de forma que nunca se terá la repuosta. Alan Turing probou an 1936 que nun eisiste máquina de Turing para rializar tal análeze para todos ls causos, lougo nun hai algoritmo para rializar tal tarefa para todos ls causos. Tal cundiçon ye coincida atualmente cumo porblema de la parada.
Para algoritmos anterminables l sucesso nun puode ser detreminado pula anterpretaçon de la repuosta i si por cundiçones ampostas pul própio zambolbedor de l'algoritmo durante sue eisecuçon.
La maiorie de ls algoritmos ye zambolbida para ser amplementada nun porgrama de cumputador. Anque desso eilhes tamien puoden ser amplementados por outros modos tales cumo ua rede neural biológica (tal cumo ne l cérebro quando efetuamos ouparaçones aritméticas) an circuitos eilétricos ó até mesmo an çpositibos macánicos.
Para porgramas de cumputador eisiste ua grande bariadade de lenguaiges de porgramaçon, cada ua cun caratelísticas specíficas que puoden facelitar l'amplementaçon de detreminados algoritmos ó atender la propósitos mais gerales.
L'análeze d'algoritmos ye un galho de la ciéncia de la cumputaçon que studa las técnicas de porjeto d'algoritmos i ls algoritmos de forma abstrata, sin stáren amplementados nua lenguaige de porgramaçon an particular ó amplementadas d'algun outro modo. Eilha preocupa-se culs recursos necessairos pa l'eisecuçon de l'algoritmo tales cumo l tiempo d'eisecuçon i l spácio d'armazenamiento de dados. Debe-se perceber que para un dado algoritmo puode-se tener defrentes cantidades de recursos alocados d'acuordo culs parámetros passados na antrada. Por eisemplo, se defenirmos que l fatorial dun númaro natural ye eigual al fatorial de sou antecessor multiplicado pul própio númaro, queda claro que l'eisecuçon de fatorial(10)
cunsume mais tiempo que l'eisecuçon de fatorial(5)
.
Un meio d'eisibir un algoritmo la fin d'analisá-lo ye atrabeç de l'amplementaçon por pseudocódigo an pertués struturado. L'eisemplo a seguir ye un algoritmo an pertués struturado que retorna (balor de salida) la soma de dous balores (tamien coincidos cumo parámetros ó argumientos, balores d'antrada) que son antroduzidos na chamada de la funçon:
- Algoritmo "SomaDeDoisBalores";
- bariable:
- SOMA,La,B: anteiro;
- ampeço
- Screba("Digite un numero");
- Leia(La);
- screba("digite outro numero");
- leia(B);
- SOMA ← La + B;
- escreba(SOMA);
- fin.
Puode-se classeficar algoritmos pula maneira pul qual fúrun amplementados.
Puode-se classeficar algoritmos pula metodologie ó paradigma de sou zambolbimiento, tales cumo:
Cada campo de la ciéncia ten sous própios porblemas i respetibos algoritmos adequados para resolbé-los. Eisemplos clássicos son algoritmos de busca, de ourdenaçon, d'análeze numérica, de teorie de grafos, de manipulaçon de cadeias de testo, de geometrie cumputacional, de análeze cumbinatória, de daprendizaige de máquina, de critografie, de cumpresson de dados i de anterpretaçon de testo.
Alguns algoritmos son eisecutados an tiempo linear, d'acuordo cula antrada, anquanto outros son eisecutados an tiempo sponencial ó até mesmo nunca treminan de séren eisecutados. Alguns porblemas ten múltiplos algoritmos anquanto outros nun possuen algoritmos para resoluçon.
This article uses material from the Wikipedia Mirandés article Algoritmo, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Cuntenido çponibelizado ne ls termos de la CC BY-SA 4.0, salbo andicaçon an cuntrairo. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Mirandés (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.