Algoritmo

conxunto ordenado e finito de operacións sinxelas que conducen á resolución dun problema

Un algoritmo[1] é un conxunto ordenado e finito de operacións sinxelas que conducen á resolución dun problema, como por exemplo a formulación programática paso a paso para producir unha serie de resultados nun programa en informática. Máis especificamente, en matemáticas, constitúe o conxunto de procesos (e símbolos que os representan) para efectuar un cálculo.

Diagrama de fluxo do algoritmo de Euclides.

A palabra algoritmo ten orixe no alcume Al-Khwarizmi, do matemático persa do século IX, Abu Yafar Mohámmed Abenmusa,[2] cuxas obras foron traducidas no occidente cristián no século XII, recibindo unha delas o nome "Algorithmi de numero indorum", sobre os algoritmos usando o sistema de numeración decimal (indiano). Outros autores, con todo, defenden a orixe da palabra en Al-goreten (raíz - concepto que se pode aplicar aos cálculos).

O concepto de algoritmo é frecuentemente ilustrado co exemplo dunha receita, aínda que moitos algoritmos son máis complexos. Eles poden repetir pasos (facer interaccións) ou necesitar decisións (tales como comparacións ou lóxica) ata que a tarefa sexa completada. Un algoritmo correctamente executado non resolverá un problema se o algoritmo fose incorrecto ou non fose apropiado ao problema.

Un algoritmo non representa, necesariamente, un programa de computador, e si os pasos necesarios para realizar unha tarefa. A súa posta en funcionamento pode ser feita por un computador, por outro tipo de autómata ou mesmo por un ser humano. Diferentes algoritmos poden realizar a mesma tarefa usando un conxunto diferenciado de instrucións en máis ou menos tempo, espazo ou esforzo que outros. Por exemplo, un algoritmo para se vestir pode especificar que vostede vista primeiro as medias e os zapatos antes de vestir o pantalón, en canto outro algoritmo especifica que vostede debe primeiro vestir o pantalón e despois as medias e os zapatos. Fica claro que o primeiro algoritmo é máis difícil de executar que o segundo.

Etimoloxía

editar

O vocábulo algoritmo ten as súas raíces na latinización do nisba, que indica a orixe xeográfica, do nome do matemático persa Muhammad ibn Musa al-Khwarizmi como algorismus.[3][4] Al-Khwārizmī (الخوارزمی c. 780–850) foi un matemático, astrónomo, xeógrafo e estudoso da Casa da Sabedoría de Bagdad,[5] e o seu nome significa "natural de Khwarazm", rexión que facía parte do Grande Irán e actualmente pertence a Uzbekistán.[6][7]

Arredor de 825, al-Khwarizmi escribiu un tratado en árabe sobre o sistema de numeración indoarábigo, que foi traducido ao latín durante o século XII. O manuscrito comeza coa frase Dixit Algorizmi ("Así falou Al-Khwarizmi"), onde "Algorizmi" foi a latinización do nome de Al-Khwarizmi que fixo o tradutor.[8] Al-Khwarizmi foi o matemático máis lido en Europa a finais da idade media, especialmente por outro dos seus libros, Álxebra.[9] No latín medieval final, algorismus significaba simplemente "sistema de numeración decimal".[10] No século XV, pola influencia da palabra grega ἀριθμός (arithmos), "número", a palabra latina alterouse a algorithmus. O vocábulo inglés algorithm foi recollido no século XVII e o sentido moderno da expresión déuselle no século XIX.[11]

Algoritmos e linguaxes de programación de computadores

editar

Xeralmente, os algoritmos descríbense informalmente nunha linguaxe próxima da lingua natural, máis facilmente comprendida por un ser humano que por un computador. Un algoritmo pode, na maior parte dos casos, ser aplicado en calquera linguaxe de programación.

Formalizando algoritmos

editar

Un programa de computador é esencialmente un algoritmo que di ao computador os pasos específicos e en que orde eles deben ser executados, como por exemplo, os pasos a seren tomados para calcular as notas que serán impresas nos boletíns dos alumnos dunha escola.

Para calquera proceso computacional, o algoritmo precisa estar rigorosamente definido, especificando como se comportará en todas as circunstancias. A corrección do algoritmo pode ser probada matematicamente, ben como a cantidade asintótica de tempo e espazo (complexidade) necesarios para a súa execución. Estes aspectos dos algoritmos son materia da análise de algoritmos.

Posta en funcionamento

editar

Hai hoxe unha gran variedade de linguaxes de programación, cada unha con características específicas que poden facilitar a aplicación de determinados algoritmos ou atender a propósitos máis xerais.

Os algoritmos non se poñen en funcionamento só como programas para computadores, senón que tamén se poden aplicar en circuítos eléctricos ou ata no noso cerebro cando executamos operacións aritméticas. A análise de algoritmos é unha rama da ciencia da computación que estuda as técnicas de proxecto de algoritmos e os algoritmos de forma abstracta, sen estaren aplicados nunha linguaxe de programación en particular ou dalgún outro modo. Un medio de exhibir un algoritmo é mostrar o seu pseudocódigo.

Algoritmos como funcións

editar
 
Esquema dun algoritmo que soluciona un problema de ciclo hamiltoniano.

Un algoritmo pode concibirse como unha función que transforma os datos dun problema (entrada) nos datos dunha solución (saída). Aínda máis, os datos poden representarse á súa vez como secuencias de bits, e en xeral, de símbolos calquera.[12] Como cada secuencia de bits representa un número natural, entón os algoritmos son en esencia funcións dos números naturais nos números naturais que si se poden calcular. É dicir que todo algoritmo calcula unha función   onde cada número natural é a codificación dun problema ou dunha solución.

En ocasións os algoritmos son susceptibles de non rematar nunca, por exemplo, cando entran nun bucle infinito. Cando ocorre isto, o algoritmo nunca devolve ningún valor de saída, e podemos dicir que a función queda indefinida para ese valor de entrada. Por esta razón considérase que os algoritmos son funcións parciais, é dicir, non necesariamente definidas en todo o seu dominio de definición.

Cando unha función pode ser calculada por medios algorítmicos, sen importar a cantidade de memoria que ocupe ou o tempo que se tarde, dise que esa función é computable. Non todas as funcións entre secuencias datos son computables. O problema da parada é un exemplo.

Exemplo de algoritmo

editar

O problema consiste en atopar o máximo dun conxunto de números.

Descrición de alto nivel

editar

Dado un conxunto finito   de números, tense o problema de atopar o número máis grande. Sen perda de xeneralidade pode asumirse que ese conxunto non é baleiro e que os seus elementos están numerados como  .

É dicir, dado un conxunto   pídese atopar   tal que   para todo elemento   que pertence ao conxunto  .

Para atopar o elemento máximo, asúmese que o primeiro elemento ( ) é o máximo; despois, percórrese o conxunto e compárase cada valor co valor do máximo número atopado ata ese momento. No caso no que un elemento sexa maior que o máximo, asígnase o seu valor ao máximo. Cando se termina de percorrer a lista, o máximo número que se atopou é o máximo de todo o conxunto.

Descrición formal

editar

O algoritmo pode ser escrito dunha maneira máis formal no seguinte pseudocódigo:

Atopar o máximo dun conxunto:

función max( ) //  é un conxunto non baleiro de números//    //  é o número de elementos de  //    para    ata   facer se   entón   

devolver  

Sobre a notación:

  • "←" representa unha asignación:    significa que a variable   toma o valor de  ;
  • "devolver" termina o algoritmo e dá o valor á súa dereita (neste caso, o máximo de  ).

Posta en funcionamento

editar

En linguaxe C++:

int max(int c[], int n)
{
   int i, m = c[0];
   for (i = 1; i < n; i++)
      if (c[i] > m) m = c[i];
   return m;
}

Exemplo en pseudocódigo

editar

Exemplo dun algoritmo que devolve a suma de dous valores (tamén coñecidos como parámetros ou argumentos) que son introducidos na chamada da función:

 función SumaDeDousValores (A numérico, B numérico)
 {
   declara SUMA numérico
   SUMA <-- A + B
   retorna SUMA
 }

Exemplo dun algoritmo (WinPseudo 1.4) que imprime todos os números menores que <Limite>:

#-----------------------------------------
#  Pseudocódigo para imprimir todos os 
#  números menores que <Limite>              
#-----------------------------------------

INICIO Programa1 - Imprime todos os números menores que <Limite>

     VAR
	NUMERICO i
	NUMERICO Limite
     FIN-VAR

     LER (Limite)
     IMPRIMIR NL

     i = 0
     MENTRES (i < Limite)
	IMPRIMIR ENTEIRO (i)
	IMPRIMIR ", "
	i = i + 1
     FIN-MENTRES

FINAL
  1. Definicións no Dicionario da Real Academia Galega e no Portal das Palabras para algoritmo.
  2. https://portaldaspalabras.gal/lexico/mira-que-din/algoritmo/
  3. "Al-Khwarizmi biography". www-history.mcs.st-andrews.ac.uk. Arquivado dende o orixinal o 2 de agosto de 2019. Consultado o 3 de maio de 2017. 
  4. "Etymology of algorithm". Chambers Dictionary. Arquivado dende o orixinal o 31 de marzo de 2019. Consultado o 13 de decembro de 2016. 
  5. "Hellenistic Mathematics". The Story of Mathematics. Arquivado dende o orixinal o September 11, 2019. Consultado o 2019-11-14. 
  6. Hogendijk, Jan P. (1998). "al-Khwarzimi". Pythagoras 38 (2): 4–5. Arquivado dende o orixinal o 12 de abril de 2009. 
  7. Oaks, Jeffrey A. "Was al-Khwarizmi an applied algebraist?". University of Indianapolis. Arquivado dende o orixinal o 18 de xullo de 2011. Consultado o 30 de maio de 2008. 
  8. Brezina, Corona (2006). Al-Khwarizmi: The Inventor Of Algebra. The Rosen Publishing Group. ISBN 978-1-4042-0513-0. 
  9. Foremost mathematical texts in history Arquivado 9 de xuño de 2011 en Wayback Machine., segundo Carl B. Boyer.
  10. "algorismic". The Free Dictionary. Arquivado dende o orixinal o 21 de decembro de 2019. Consultado o 2019-11-14. 
  11. Oxford English Dictionary, Third Edition, 2012 s.v.
  12. Kelley, Dean (1995). Teoría de Autómatas y Lenguajes Formales. Prentice Hall. ISBN 0-13-497777-7. Arquivado dende o orixinal o 14 de novembro de 2012. Consultado o 22 de maio de 2016. 

Véxase tamén

editar

Bibliografía

editar

Outros artigos

editar

Ligazóns externas

editar