robot de la enciclopedia para niños

Resto para niños

Enciclopedia para niños

En aritmética, el resto o residuo de una división de dos números enteros es el número que se le ha de restar al dividendo para que sea igual a un determinado número de veces el divisor. Equivalentemente, es el número resultante de la diferencia del dividendo con el producto del divisor por el cociente. O sea:

\mbox{Resto=Dividendo} - \mbox{(divisor}\times \mbox{cociente)}

Según su resto, las divisiones se clasifican como exactas si su resto es cero o enteras cuando no lo es.

Generalmente, al resto de dividir x entre y se suele expresar como \textstyle x \mbox{ mod }y.

En la práctica, el resto de una división puede calcularse usando ecuaciones, en términos de otras funciones. En términos de la función parte entera \lfloor x\rfloor, el resto se puede definir como:

x \mbox{ mod } y := x-y\left\lfloor \frac x y\right\rfloor

La expresión x mod 0 queda sin definir en la mayoría de los sistemas numéricos, aunque algunos la definen como igual a x.

Por ejemplo, 4 / 5 = 0.8, si se toma la parte inexacta el resto de esta division sería cero. Pero en términos de la función entera 4 mod 5 sería 4, ya que resto = 4 - 5 * 0 = 4, es decir el resto es 4.

Implementación para el cálculo del resto

Para números pequeños se suele implementar la función indicada anteriormente, que es muy sencilla. Para la implementación con números grandes, existen métodos mucho más eficientes, como el algoritmo de reducción de Montgomery y la reducción de Barrett. La reducción de Barrett toma el hecho de que existen números q y r de manera que x = mq+r y 0 ≤ r < m (véase Algoritmo de la división), y lo utiliza para estimar q utilizando sólo operaciones de recorrimiento en lugar de divisiones.

Algoritmo Reducción de Barrett

Entradas:

x=\left(x_{2k-1}\cdots x_1x_0\right)_b (x en forma de lista de dígitos)
m=\left(m_{k-1}\cdots m_1,m_0\right)_b con m_{k-1}\neq0 (m en forma de lista de dígitos)
\mu=\left\lfloor\frac{b^{2k}}{m}\right\rfloor

Salida: x \mbox{ mod } m \,


  1. q_1\gets\left\lfloor x/b^{k-1}\right\rfloor
  2. q_2\gets q_1\times\mu
  3. q_3\gets\left\lfloor q_2/b^{k-1}\right\rfloor
  4. r_1\gets x \mbox{ mod } b^{k+1}
  5. r_2\gets q_3\times m \mbox{ mod } b^{k+1}
  6. r\gets r_1-r_2
  7. Si r<0\, entonces:
    1. r\gets r+b^{k-1}
  8. Mientras r\geq m haga lo siguiente:
    1. r\gets r-m
  9. Devuelva r

Véase también

Kids robot.svg En inglés: Remainder Facts for Kids

kids search engine
Resto para Niños. Enciclopedia Kiddle.