Algoritmo de Horner

En el campo matemtico del anlisis numrico, el Algoritmo de Horner, llamado as por

William George Horner, es un algoritmo para evaluar de forma eficiente funciones
polinmicas de una forma monomial.
Dado el polinomio

donde
especfico de

son nmeros reales, queremos evaluar el polinomio a un valor

, digamos .

Para llevar a cabo el procedimiento, definimos una nueva secuencia de constantes como se
muestra a continuacin:

Entonces

es el valor de

Para ver como funciona esto, ntese que el polinomio puede escribirse de la forma

Despus, sustituyendo iterativamente la

ndice

1 Aplicacin
2 Eficiencia
3 Historia
4 Vase tambin

en la expresin,

5 Referencias

Aplicacin
El algoritmo de Horner se usa a menudo para convertir entre distintos sistemas numricos
posicionales en cuyo caso x es la base del sistema numrico, y los coeficientes ai son los
dgitos de la representacin del nmero dado en la base x y puede usarse tambin si x es
una matriz, en cuyo caso la carga computacional se reduce an ms.

Eficiencia
La evaluacin usando la forma monomial del polinomio de grado-n requiere al menos n
sumas y (n2+n)/2 multiplicaciones, si las potencias se calculan mediante la repeticin de
multiplicaciones. El algoritmo de Horner slo requiere n sumas y n multiplicaciones.
(Minimizar el nmero de multiplicaciones es lo ms deseable porque necesitan mucha
carga computacional y son inestables comparadas con la suma).
Se han demostrado que el algoritmo de Horner es ptimo, de modo que cualquier algoritmo
que se use para evaluar un polinomio requerir como mnimo el mismo nmero de
operaciones. El hecho de que el nmero de operaciones requeridas es mnimo fue
demostrado por Alexander Ostrowski en 1954, y que el nmero de multiplicaciones es
mnimo por Victor Pan en 1966. Cuando x es una matriz, el algoritmo de Horner no es
ptimo.

Historia
Aunque el mtodo toma el nombre de William George Horner, quien lo describi en 1819,
el mtodo era ya conocido por Isaac Newton en 1669, e incluso antes por el matemtico
chino Ch'in Chiu-Shao en el siglo XIII.

Vase tambin

Regla de Ruffini
Algoritmo de Clenshaw para evaluar polinomios de la forma de Chebyshov
Algoritmo de De Casteljau para evaluar polinomios de la forma de Bzier

Referencias

William George Horner. A new method of solving numerical equations of all

orders, by continuous approximation. En Philosophical Transactions of the Royal
Society of London, pp. 308-335, julio de 1819.
Donald Knuth. The Art of Computer Programming, Volumen 2: Seminumerical
Algorithms, Third Edition. Addison-Wesley, 1997. ISBN 0-201-89684-2. Pginas
486488 en la seccin 4.6.4.

Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest y Clifford Stein.

Introduction to Algorithms, Segunda Edicin. MIT Press y McGraw-Hill, 2001.
ISBN 0-262-03293-7. Problema 2-3 (pg 39) y pg 823, seccin 30.1:
Representation of polynomials.
Jess Mara Sanz Serna. Diez Lecciones de Clculo Numrico, Segunda Edicin
Revisada y Ampliada. Universidad de Valladolid, Secretariado de Publicaciones e
Intercambio Editorial, 2010. ISBN 978-84-8448-552-0. Captulo 1, pg 20-22.
Metodo de Horner.