Presentacin de Dos criterios, uno de divisibilidad y otro de no divisibilidad

Y la aplicacin de ambos en el diseo de un software

Para la factorizacin de nmeros enteros positivos.

Rodolfo A. Nieves Rivas

fesol7luzley@gmail.com

Resumen:

En este breve artculo se presenta Dos criterios de divisibilidad o de no divisibilidad de

cualquier numero entero positivo y su aplicacin a travs de un algoritmo en el diseo de
un software para factorizacin, fundamentado con ambos criterios; Se concluye con la
presentacin del software con un seudocdigo de ejecucin desarrollado con el lenguaje de
aplicacin matlab 6.5

Palabras clave: criterios de divisibilidad o no; software para factorizacin; algoritmo.

Introduccin:
Dos de los problemas que an se resisten a ser resueltos en aritmtica, es la de obtener Uno
o Dos algoritmos que permitan despejar las dudas en lo referente a saber cundo un
numero divide a otro o saber cundo un nmero es divisible por otro, esto en el argot
cientfico es conocido como criterios de divisibilidad o el problema de la factorizacin de
un numero entero positivo; Problema considerados NP-completos.
En este artculo se presentan Dos criterios, uno para saber cundo un nmero divide a otro
o cuando un nmero es divisible por otro y otro criterio para saber cundo un nmero no
divide a otro o cuando un nmero no es divisible por otro.
Ambos criterios son luego utilizados como certificados conjugados en el desarrollo de un
software cuyo algoritmo determina en tiempo polinomial el problema de factorizacin de
cualquier nmero entero positivo,
Obtenindose de esta forma las condiciones necesarias y suficientes para saber cundo un
nmero divide o no a otro y adems tambin permite saber, cuando un nmero es divisible
o no por otro, lo que nos conduce a poder formular estos criterios o condiciones necesarias
y suficientes para resolver ambos problemas.

Criterio de divisibilidad de Nieves:

La condicin necesaria y suficiente para que un nmero: x divida a un nmero: N
Es que: x divida a: N x
Y su cociente entero: a
Aumentado en con la unidad: a + 1 = y
Tambin divida a: N
Lo que nos conduce a que adems: y Divide a: N - y
Y su cociente: b
Aumentado en con la unidad: b + 1
Sea igual a: x
Criterio de no divisibilidad de Nieves:
La condicin necesaria y suficiente para que un nmero: x no divida a un nmero: N
Es que: x no divida a: N x
Y su cociente no entero: a
Aumentado en con la unidad: a + 1 = y
Al dividir a: N y
Su cociente sea igual a: x 1

Algoritmo de divisibilidad de Nieves:

Primer paso: Introduzca un numero entero positivo: N (Entrada o inicio)
Segundo paso: Rstele a la entrada: N otro nmero entero positivo: x
Tercer paso: Divida el resultado anterior entre: x
Y obtngase el nmero entero: a como cociente.
[( N x) / x] = a
Observacin: Certificado.
Si: a es entero positivo.
Entonces: x divide a: N
Y adems: a + 1 divide a: N
Cuarto paso: Aumente en una unidad el cociente: a y obtngase: a + 1 = y
Quinto paso: Rstele a la entrada: N este otro nmero entero positivo: y
Sexto paso: Divida el resultado anterior entre: y
Y obtngase el nmero: b como cociente.
[( N y) / y] = b
Sptimo y ltimo paso: Confrmese que: b + 1 = x

( Salida )

Algoritmo de no divisibilidad de Nieves:

Primer paso: Introduzca un numero entero positivo: N (Entrada o inicio)
Segundo paso: Rstele a la entrada: N otro nmero entero positivo: x
Tercer paso: Divida el resultado anterior entre: x
Y obtngase el nmero no entero: a como cociente.
[( N x) / x] = a
Observacin: Certificado.
Si: a no es entero positivo.
Entonces: x no divide a: N
Y adems: a + 1 no divide a: N
Cuarto paso: Aumente en una unidad el cociente: a y obtngase: a + 1 = y
Quinto paso: Rstele a la entrada: N este otro nmero entero positivo: y
Sexto paso: Divida el resultado anterior entre: y
Y obtngase el nmero: b como cociente.
[( N y) / y] = b
Sptimo y ltimo paso: Confrmese que: b + 1 = x ( Salida )

Presentacin del diseo del software

Para factorizar cualquier numero entero positivo:

Seudocdigo ejecutable en Matlab 6.5

1) for N=input ('Introduzca un numero natural N=') % (Inicio y entrada: 1)

2) for x=input ('Introduzca un numero natural x=') % (Entrada: 2)
3) r=N-x
4) a=r/x % (Condicin: 1)
5) h=floor(a)
6) y= a+1
7) p=floor(y) % (Certificado)
8) s=N-y
9) b=s/y % (Condicin: 2)
10) x1=b+1
% (Certificado)
11) k=p*x1
% (Comprobacion)
12) k==N
13) if ans==1
14) ('Entonces: x divide a: N') % (Salida: 1)
15) Else
16) ('Entonces: x no divide a: N') % (Salida: 2)
17) end
18) end
19) end

Conclusin y recomendacin.
Despus de realizar la presentacin del diseo del software que nos permite confirmar la
eficacia de ambos criterios para determinar en tiempo polinomial, cuando un numero divide
a otro y cuando un nmero es divisible por otro, no nos queda ninguna duda para
recomendar su estudio, mejora, optimizacin y aplicacin de este algoritmo o de ambos
criterios y adems proponer la utilizacin de otros lenguajes de programacin que nos
permitan amplia el rango de ejecucin.

Referencias y consultas bibliogrficas.

[1] Nieves R. Rodolfo Prueba de primalidad.Memorias de las XVIII jornadas tcnicas de
investigacin y II de postgrado;Unellez.Ed,Horizontes.Venezuela,2009.pp.216-220.
[2] Nieves R. Rodolfo Dos criterios y su aplicacin a un problema NP-completo.Memorias de las
XX jornadas tcnicas de investigacin y IV de postgrado; Unellez.Ed, Horizontes.Venezuela,
2013.pp.88-94
[3] Nieves R. Rodolfo Demostracin de una conjetura presentada en el Quinto Congreso
Internacional de Matemticas en 1.912.Memorias XIX Jornadas Tcnicas de Investigacin y III de
Postgrado.Unellez. Ed, Horizontes. Venezuela, 2011.pp.123-128.