A method of determining two factors of an odd integer without need of multiplication or division operation in iterative portion of computation is presented. It is feasible for an implementing algorithm to use only integer addition and subtraction throughout. Presentation of material is non-theoretical; intended to be accessible to a broader audience of non academic and theoretical practitioners.
Deep Dive into Factoring Odd Integers without Multiplication and Division.
A method of determining two factors of an odd integer without need of multiplication or division operation in iterative portion of computation is presented. It is feasible for an implementing algorithm to use only integer addition and subtraction throughout. Presentation of material is non-theoretical; intended to be accessible to a broader audience of non academic and theoretical practitioners.
ยฉ2016 charles sauerbier, all rights reserved.
Page 1 of 6
Factoring Odd Integers without Multiplication and Division
Charles Sauerbier
1
Introduction
Factoring of integers is a problem with a long history. The Sieve of Eratosthenes is perhaps the oldest
know method. A number of methods1 for factoring of integer have since been developed.
A method is interesting in the absence of need for multiplication and division in iterative component of
the algorithm is presented. It can be used to determine if an integer is a prime, as the computation will
not encounter a halting state at other than parameters that produce the original integer and 1. The
method arose from empirical observation and reasoning of relations from what was observed, as
opposed to theorizing a means on basis of prior knowledge or approach used by others.
This paper takes a less than conventional approach to presentation of the material. It is assumed the
reader has familiarity with the underlying basic mathematics. The provided derivation follows from basic
mathematical principles, so no proofs are provided.
2
Diophantine Expression
It is a property of integers that given some integer ๐ there exists two integers, ๐ and ๐, such that
๐= ๐โ๐, where 0 < ๐โค๐ and 0 < ๐โค๐. If ๐ is even then one solution is for ๐= 2 and ๐= ๐2
โ .
Similarly should ๐ be an even integer then ๐ has 2 as a factor.
What complicates factoring is determining values for ๐ and ๐ where ๐ is an odd integer. The odd
integers are not all multiples of a single integer value, as is the case for even integers. However, every
odd integer ๐ฅ can be expressed as ๐ฅ= 2๐ฆ+ 1, for some ๐ฆ such that 0 โค๐ฆโค(๐ฅโ1) 2
โ .
Considering only the case of factoring odd integers the set of equations in [2.1] is obtained.
[2.1]
๐= ๐โ๐
๐= 2๐+ 1
๐= 2๐+ 1
๐= 2๐+ 1
The equations for ๐ and ๐ are consequence of the set of odd integers being closed under multiplication.
Using the equations of [2.1] a linear Diophantine equation in two unknowns, ๐ and ๐, is obtained. The
derivation is in [2.2].
2010 Mathematic Subject Classification:
Primary: 11Y05, 11Y16
Secondary: 65Q10, 65Y20, 68Q17, 03D17
1 See [2]
ยฉ2016 charles sauerbier, all rights reserved.
Page 2 of 6
[2.2]
๐= 2๐+ 1 = (2๐+ 1) โ(2๐+ 1)
2๐+ 1 = 4๐๐+ 2๐+ 2๐+ 1
2๐= 4๐๐+ 2๐+ 2๐
๐= 2๐๐+ ๐+ ๐
0 = 2๐๐+ ๐+ ๐โ๐
Solved for the integer roots the last expression in [2.2] allows the determination of the factors of ๐
where ๐ and ๐ are substituted back into the respective equations for ๐ and ๐ in [2.1].
Conjecture 2.1
The upper bound on complexity for determining the integer roots of 0 = 2๐๐+ ๐+ ๐โ๐ is of
the order ๐((log2 ๐)โ), where โ is not dependent on ๐.
3
Difference Expressions
Given two initial values for ๐ and ๐ it is possible to adjust the values of each to approximate ๐. A system
of equations to allow iterative approximation of [2.2] is presented in [2.3]. Iteration stops where ๐ฆ๐=
0.
[2.3]
๐= (๐โ1) 2
โ
๐0 = ๐0 = โโ๐2
โ โ
๐ฆ๐= |(2๐๐๐๐+ ๐๐+ ๐๐) โ๐|
๐๐= {
๐๐โ1, 2๐๐โ1 โค๐ฆ๐โ1
๐๐โ1 โ1, 2๐๐โ1 > ๐ฆ๐โ1
๐๐= ๐๐+ 1
4
Removing Multiplication
It is possible to remove the multiplication operation in the iteration process. Transformation of the
expression for ๐ฆ๐ for case where 2๐๐โ1 < |๐ฆ๐โ1| is shown in [2.4], with case where 2๐๐โ1 โฅ|๐ฆ๐โ1|
shown in [2.5].
ยฉ2016 charles sauerbier, all rights reserved.
Page 3 of 6
[2.4]
๐๐= ๐๐โ1
๐๐= ๐๐โ1 + 1
๐ฆ๐= (2๐๐๐๐+ ๐๐+ ๐๐)
๐ฆ๐= (2๐๐โ1(๐๐โ1 + 1) + ๐๐โ1 + (๐๐โ1 + 1))
๐ฆ๐= (2๐๐โ1๐๐โ1 + 2๐๐โ1 + ๐๐โ1 + ๐๐โ1 + 1)
๐ฆ๐= (2๐๐โ1๐๐โ1 + ๐๐โ1 + ๐๐โ1) + (2๐๐โ1 + 1)
๐ฆ๐= ๐ฆ๐โ1 + (2๐๐โ1 + 1)
๐ฆ๐= ๐ฆ๐โ1 + (2๐๐+ 1)
๐ฆ๐= ๐ฆ๐โ1 + (๐๐+ ๐๐+ 1)
[2.5]
๐๐= ๐๐โ1 โ1
๐๐= ๐๐โ1 + 1
๐ฆ๐= (2๐๐๐๐+ ๐๐+ ๐๐)
๐ฆ๐= (2(๐๐โ1 โ1)(๐๐โ1 + 1) + (๐๐โ1 โ1) + (๐๐โ1 + 1))
๐ฆ๐= 2(๐๐โ1๐๐โ1 + ๐๐โ1 โ๐๐โ1 โ1) + ๐๐โ1 + ๐๐โ1
๐ฆ๐= 2๐๐โ1๐๐โ1 + 2๐๐โ1 โ2๐๐โ1 โ2 + ๐๐โ1 + ๐๐โ1
๐ฆ๐= (2๐๐โ1๐๐โ1 + ๐๐โ1 + ๐๐โ1) + (2๐๐โ1 โ2๐๐โ1 โ2)
๐ฆ๐= ๐ฆ๐โ1 + 2((๐๐+ 1) โ(๐๐โ1) โ1)
๐ฆ๐= ๐ฆ๐โ1 + 2(๐๐+ 1 โ๐๐+ 1 โ1)
๐ฆ๐= ๐ฆ๐โ1 + 2(๐๐โ๐๐+ 1)
The last expression in [2.4] and [2.5], respectively, allows the elimination of multiplication by reduction
to simple addition of respective values. The expression for ๐ฆ๐, using the last expression of [2.4] and
[2.5], respectively, is presented in [2.6].
[2.6]
๐ฆ0 = |(2๐0๐0 + ๐0 + ๐0) โ๐|
๐ฆ๐= { y๐โ1 + (2๐๐+ 1), 2๐๐โ1 < |๐ฆ๐โ1|
y๐โ1 + 2(๐๐โ๐๐+ 1), 2๐๐โ1 โฅ|๐ฆ๐โ1|
The set of computations in [2.3] are restated in [2.7] modified to include [2.6].
ยฉ2016 charles sauerbier, all rights reserved.
Page 4 of 6
[2.7]
๐= (๐โ1) 2
โ
๐0 = ๐0 = โโ๐ฅ2
โ โ
๐ฆ0 = |(2๐0๐0 + ๐0 + ๐0) โ๐|
๐ฆ๐= { y๐โ1 + (2๐๐+ 1), 2๐๐โ1 < |๐ฆ๐โ1|
y๐โ1 + 2(๐๐โ๐๐+ 1), 2๐๐โ1 โฅ|๐ฆ๐โ1|
๐๐= {
๐๐โ1, 2๐๐โ1 < |๐ฆ๐โ1|
๐๐โ1 โ1, 2๐๐โ1 โฅ|๐ฆ๐โ1|
๐๐= ๐๐+ 1
The equations of [2.7] provide means to determine factors of an integer ๐ by iteration using only integer
arithmetic opera
…(Full text truncated)…
This content is AI-processed based on ArXiv data.