- 1
- 2
- Daftar bilangan prima
- Kleopatra
- Asam p-toluenasulfonat
- Bilangan Avogadro
- YouTube Poop
- Fransium
- 800 (angka)
- Teori atom
- Aleksander Agung
- Jules Dumont d'Urville
- Perrin number
- 51 (number)
- 90 (number)
- Perrin
- 39 (number)
- 600 (number)
- 800 (number)
- 119 (number)
- 29 (number)
- 400 (number)
Fantastic Beasts and Where to Find Them (2016)
Do Not Enter (2024)
I Spit on Your Grave 2 (2013)
Cheerleader Camp (1988)
The Bourne Identity (2002)
Perrin number GudangMovies21 Rebahinxxi LK21
In mathematics, the Perrin numbers are a doubly infinite constant-recursive integer sequence with characteristic equation x3 = x + 1. The Perrin numbers, named after the French engineer Raoul Perrin, bear the same relationship to the Padovan sequence as the Lucas numbers do to the Fibonacci sequence.
Definition
The Perrin numbers are defined by the recurrence relation
P
(
0
)
=
3
,
P
(
1
)
=
0
,
P
(
2
)
=
2
,
P
(
n
)
=
P
(
n
−
2
)
+
P
(
n
−
3
)
for
n
>
2
,
{\displaystyle {\begin{aligned}P(0)&=3,\\P(1)&=0,\\P(2)&=2,\\P(n)&=P(n-2)+P(n-3){\mbox{ for }}n>2,\end{aligned}}}
and the reverse
P
(
n
)
=
P
(
n
+
3
)
−
P
(
n
+
1
)
for
n
<
0.
{\displaystyle P(n)=P(n+3)-P(n+1){\mbox{ for }}n<0.}
The first few terms in both directions are
Perrin numbers can be expressed as sums of the three initial terms
n
P
(
n
)
P
(
−
n
)
0
P
(
0
)
.
.
.
1
P
(
1
)
P
(
2
)
−
P
(
0
)
2
P
(
2
)
−
P
(
2
)
+
P
(
1
)
+
P
(
0
)
3
P
(
1
)
+
P
(
0
)
P
(
2
)
−
P
(
1
)
4
P
(
2
)
+
P
(
1
)
P
(
1
)
−
P
(
0
)
5
P
(
2
)
+
P
(
1
)
+
P
(
0
)
−
P
(
2
)
+
2
P
(
0
)
6
P
(
2
)
+
2
P
(
1
)
+
P
(
0
)
2
P
(
2
)
−
P
(
1
)
−
2
P
(
0
)
7
2
P
(
2
)
+
2
P
(
1
)
+
P
(
0
)
−
2
P
(
2
)
+
2
P
(
1
)
+
P
(
0
)
8
2
P
(
2
)
+
3
P
(
1
)
+
2
P
(
0
)
P
(
2
)
−
2
P
(
1
)
+
P
(
0
)
{\displaystyle {\begin{array}{c|c|c}n&P(n)&P(-n)\\\hline 0&P(0)&...\\1&P(1)&P(2)-P(0)\\2&P(2)&-P(2)+P(1)+P(0)\\3&P(1)+P(0)&P(2)-P(1)\\4&P(2)+P(1)&P(1)-P(0)\\5&P(2)+P(1)+P(0)&-P(2)+2P(0)\\6&P(2)+2P(1)+P(0)&2P(2)-P(1)-2P(0)\\7&2P(2)+2P(1)+P(0)&-2P(2)+2P(1)+P(0)\\8&2P(2)+3P(1)+2P(0)&P(2)-2P(1)+P(0)\end{array}}}
The first fourteen prime Perrin numbers are
= History
=In 1876 the sequence and its equation were initially mentioned by Édouard Lucas, who noted that the index n divides term P(n) if n is prime. In 1899 Raoul Perrin asked if there were any counterexamples to this property. The first P(n) divisible by composite index n was found only in 1982 by William Adams and Daniel Shanks. They presented a detailed investigation of the sequence, with a sequel appearing four years later.
Properties
The Perrin sequence also satisfies the recurrence relation
P
(
n
)
=
P
(
n
−
1
)
+
P
(
n
−
5
)
.
{\displaystyle P(n)=P(n-1)+P(n-5).}
Starting from this and the defining recurrence, one can create an infinite number of further relations, for example
P
(
n
)
=
P
(
n
−
3
)
+
P
(
n
−
4
)
+
P
(
n
−
5
)
.
{\displaystyle P(n)=P(n-3)+P(n-4)+P(n-5).}
The generating function of the Perrin sequence is
3
−
x
2
1
−
x
2
−
x
3
=
∑
n
=
0
∞
P
(
n
)
x
n
{\displaystyle {\frac {3-x^{2}}{1-x^{2}-x^{3}}}=\sum _{n=0}^{\infty }P(n)\,x^{n}}
The sequence is related to sums of binomial coefficients by
P
(
n
)
=
n
×
∑
k
=
⌊
(
n
+
2
)
/
3
⌋
⌊
n
/
2
⌋
(
k
n
−
2
k
)
/
k
,
{\displaystyle P(n)=n\times \sum _{k=\lfloor (n+2)/3\rfloor }^{\lfloor n/2\rfloor }{\binom {k}{n-2k}}/k,}
P
(
−
n
)
=
n
×
∑
k
=
0
⌊
n
/
3
⌋
(
−
1
)
n
−
k
(
n
−
2
k
k
)
/
(
n
−
2
k
)
.
{\displaystyle P(-n)=n\times \sum _{k=0}^{\lfloor n/3\rfloor }(-1)^{n-k}{\binom {n-2k}{k}}/(n-2k).}
Perrin numbers can be expressed in terms of partial sums
P
(
n
+
5
)
−
2
=
∑
k
=
0
n
P
(
k
)
P
(
2
n
+
3
)
=
∑
k
=
0
n
P
(
2
k
)
5
−
P
(
4
−
n
)
=
∑
k
=
0
n
P
(
−
k
)
3
−
P
(
1
−
2
n
)
=
∑
k
=
0
n
P
(
−
2
k
)
.
{\displaystyle {\begin{aligned}P(n+5)-2&=\sum _{k=0}^{n}P(k)\\P(2n+3)&=\sum _{k=0}^{n}P(2k)\\5-P(4-n)&=\sum _{k=0}^{n}P(-k)\\3-P(1-2n)&=\sum _{k=0}^{n}P(-2k).\end{aligned}}}
The Perrin numbers are obtained as integral powers n ≥ 0 of the matrix
(
0
1
0
0
0
1
1
1
0
)
n
(
3
0
2
)
=
(
P
(
n
)
P
(
n
+
1
)
P
(
n
+
2
)
)
,
{\displaystyle {\begin{pmatrix}0&1&0\\0&0&1\\1&1&0\end{pmatrix}}^{n}{\begin{pmatrix}3\\0\\2\end{pmatrix}}={\begin{pmatrix}P(n)\\P(n+1)\\P(n+2)\end{pmatrix}},}
and its inverse
(
−
1
0
1
1
0
0
0
1
0
)
n
(
3
0
2
)
=
(
P
(
−
n
)
P
(
1
−
n
)
P
(
2
−
n
)
)
.
{\displaystyle {\begin{pmatrix}-1&0&1\\1&0&0\\0&1&0\end{pmatrix}}^{n}{\begin{pmatrix}3\\0\\2\end{pmatrix}}={\begin{pmatrix}P(-n)\\P(1-n)\\P(2-n)\end{pmatrix}}.}
The Perrin analogue of the Simson identity for Fibonacci numbers is given by the determinant
|
P
(
n
+
2
)
P
(
n
+
1
)
P
(
n
)
P
(
n
+
1
)
P
(
n
)
P
(
n
−
1
)
P
(
n
)
P
(
n
−
1
)
P
(
n
−
2
)
|
=
−
23.
{\displaystyle {\begin{vmatrix}P(n+2)&P(n+1)&P(n)\\P(n+1)&P(n)&P(n-1)\\P(n)&P(n-1)&P(n-2)\end{vmatrix}}=-23.}
The number of different maximal independent sets in an n-vertex cycle graph is counted by the nth Perrin number for n ≥ 2.
= Binet formula
=The solution of the recurrence
P
(
n
)
=
P
(
n
−
2
)
+
P
(
n
−
3
)
{\displaystyle P(n)=P(n-2)+P(n-3)}
can be written in terms of the roots of characteristic equation
x
3
−
x
−
1
=
0
{\displaystyle x^{3}-x-1=0}
. If the three solutions are real root
α
{\displaystyle \alpha }
(with approximate value 1.324718 and known as the plastic ratio) and complex conjugate roots
β
{\displaystyle \beta }
and
γ
{\displaystyle \gamma }
, the Perrin numbers can be computed with the Binet formula
P
(
n
)
=
α
n
+
β
n
+
γ
n
,
{\displaystyle P(n)=\alpha ^{n}+\beta ^{n}+\gamma ^{n},}
which also holds for negative n.
The polar form is
P
(
n
)
=
α
n
+
2
cos
(
n
θ
)
α
−
n
,
{\displaystyle P(n)=\alpha ^{n}+2\cos(n\,\theta ){\sqrt {\alpha ^{-n}}},}
with
θ
=
arccos
(
−
α
3
/
2
)
.
{\displaystyle \theta =\arccos(-{\sqrt {\alpha ^{3}}}/2).}
Since
lim
n
→
∞
α
−
n
=
0
,
{\displaystyle \lim _{n\to \infty }\alpha ^{-n}=0,}
the formula reduces to either the first or the second term successively for large positive or negative n, and numbers with negative subscripts oscillate. Provided α is computed to sufficient precision, these formulas can be used to calculate Perrin numbers for large n.
Expanding the identity
P
2
(
n
)
=
(
α
n
+
β
n
+
γ
n
)
2
{\displaystyle P^{2}(n)=(\alpha ^{n}+\beta ^{n}+\gamma ^{n})^{2}}
gives the important index-doubling rule
P
(
2
n
)
=
P
2
(
n
)
−
2
P
(
−
n
)
,
{\displaystyle P(2n)=P^{2}(n)-2P(-n),}
by which the forward and reverse parts of the sequence are linked.
= Prime index p divides P(p)
=If the characteristic equation of the sequence is written as
f
(
x
)
=
x
3
−
σ
1
x
2
+
σ
2
x
−
σ
3
{\displaystyle f(x)=x^{3}-\sigma _{1}x^{2}+\sigma _{2}x-\sigma _{3}}
then the coefficients
σ
k
{\displaystyle \sigma _{k}}
can be expressed in terms of roots
α
,
β
,
γ
{\displaystyle \alpha ,\beta ,\gamma }
with Vieta's formulas:
σ
1
=
α
+
β
+
γ
=
0
σ
2
=
α
β
+
α
γ
+
β
γ
=
−
1
σ
3
=
α
β
γ
=
1.
{\displaystyle {\begin{alignedat}{3}\sigma _{1}&=\alpha +\beta +\gamma &&=0\\\sigma _{2}&=\alpha \beta +\alpha \gamma +\beta \gamma &&=-1\\\sigma _{3}&=\alpha \beta \gamma &&=1.\end{alignedat}}}
These integer valued functions are the elementary symmetric polynomials in
α
,
β
,
γ
.
{\displaystyle \alpha ,\beta ,\gamma .}
The fundamental theorem on symmetric polynomials states that every symmetric polynomial in the complex roots of monic
f
{\displaystyle f}
can be represented as another polynomial function in the integer coefficients of
f
.
{\displaystyle f.}
The analogue of Lucas's theorem for multinomial coefficients
p
!
i
!
j
!
k
!
{\displaystyle {\frac {p!}{i!j!k!}}}
says that if
i
,
j
,
k
<
p
{\displaystyle i,j,k
then
(
p
i
,
j
,
k
)
{\displaystyle {\binom {p}{i,j,k}}}
is divisible by prime
p
.
{\displaystyle p.}
Given integers
a
,
b
,
c
{\displaystyle a,b,c}
and
n
>
0
{\displaystyle n>0}
,
(
a
+
b
+
c
)
n
=
∑
i
+
j
+
k
=
n
(
n
i
,
j
,
k
)
a
i
b
j
c
k
.
{\displaystyle (a+b+c)^{n}=\sum _{i+j+k=n}{\binom {n}{i,j,k}}a^{i}b^{j}c^{k}.}
Rearrange into symmetric monomial summands, permuting exponents i, j, k:
(
a
+
b
+
c
)
n
−
(
a
n
+
b
n
+
c
n
)
=
{\displaystyle (a+b+c)^{n}-(a^{n}+b^{n}+c^{n})=}
∑
i
≤
j
≤
k
<
n
i
+
j
+
k
=
n
(
n
i
,
j
,
k
)
∑
π
(
i
,
j
,
k
)
a
i
b
j
c
k
.
{\displaystyle \sum _{\begin{aligned}i\leq j\leq k&
Substitute prime
p
{\displaystyle p}
for power
n
{\displaystyle n}
and complex roots
α
,
β
,
γ
{\displaystyle \alpha ,\beta ,\gamma }
for integers
a
,
b
,
c
{\displaystyle a,b,c}
and compute representations in terms of
σ
1
,
σ
2
,
σ
3
{\displaystyle \sigma _{1},\sigma _{2},\sigma _{3}}
for all symmetric polynomial functions. For example,
(
α
+
β
+
γ
)
p
{\displaystyle (\alpha +\beta +\gamma )^{p}}
is
σ
1
p
=
0
{\displaystyle \sigma _{1}^{p}=0}
and the power sum
α
p
+
β
p
+
γ
p
=
P
(
p
)
{\displaystyle \alpha ^{p}+\beta ^{p}+\gamma ^{p}=P(p)}
can be expressed in the coefficients
σ
k
{\displaystyle \sigma _{k}}
with Newton's recursive scheme. It follows that the identity has integer terms and both sides divisible by prime
p
.
{\displaystyle p.}
To show that prime
p
{\displaystyle p}
divides
P
(
−
p
)
+
1
{\displaystyle P(-p)+1}
in the reverse sequence, the characteristic equation has to be reflected. The roots are then
α
−
1
,
β
−
1
,
γ
−
1
,
{\displaystyle \alpha ^{-1},\beta ^{-1},\gamma ^{-1},}
the coefficients
σ
1
=
−
1
,
σ
2
=
0
,
σ
3
=
1
,
{\displaystyle \sigma _{1}=-1,\sigma _{2}=0,\sigma _{3}=1,}
and the same reasoning applies.
Perrin primality test
Query 1484. The curious proposition of Chinese origin which is the subject of query 1401 would provide, if it is true, a more practical criterium than Wilson's theorem for verifying whether a given number m is prime or not; it would suffice to calculate the residues with respect to m of successive terms of the recurrence sequence
un = 3un−1 − 2un−2 with initial values u0 = −1, u1 = 0.
I have found another recurrence sequence that seems to possess the same property; it is the one whose general term is
vn = vn−2 + vn−3 with initial values v0 = 3, v1 = 0, v2 = 2. It is easy to demonstrate that vn is divisible by n, if n is prime; I have verified, up to fairly high values of n, that in the opposite case it is not; but it would be interesting to know if this is really so, especially since the sequence vn gives much less rapidly increasing numbers than the sequence un (for n = 17, for example, one finds un = 131070, vn = 119), which leads to simpler calculations when n is a large number.
The same proof, applicable to one of the sequences, will undoubtedly bear upon the other, if the stated property is true for both: it is only a matter of discovering it.
The Perrin sequence has the Fermat property: if p is prime, P(p) ≡ P(1) ≡ 0 (mod p). However, the converse is not true: some composite n may still divide P(n). A number with this property is called a Perrin pseudoprime.
The question of the existence of Perrin pseudoprimes was considered by Malo and Jarden, but none were known until Adams and Shanks found the smallest one, 271441 = 5212 (the number P(271441) has 33150 decimal digits). Jon Grantham later proved that there are infinitely many Perrin pseudoprimes.
The seventeen Perrin pseudoprimes below 109 are
271441, 904631, 16532714, 24658561, 27422714, 27664033, 46672291, 102690901, 130944133, 196075949, 214038533, 517697641, 545670533, 801123451, 855073301, 903136901, 970355431.
Adams and Shanks noted that primes also satisfy the congruence P(−p) ≡ P(−1) ≡ −1 (mod p). Composites for which both properties hold are called restricted Perrin pseudoprimes. There are only nine such numbers below 109.
While Perrin pseudoprimes are rare, they overlap with Fermat pseudoprimes. Of the above seventeen numbers, four are base 2 Fermatians as well. In contrast, the Lucas pseudoprimes are anti-correlated. Presumably, combining the Perrin and Lucas tests should make a primality test as strong as the reliable BPSW test which has no known pseudoprimes – though at higher computational cost.
= Pseudocode
=The 1982 Adams and Shanks O(log n) Perrin primality test.
Two integer arrays u(3) and v(3) are initialized to the lowest terms of the Perrin sequence, with positive indices t = 0, 1, 2 in u( ) and negative indices t = 0,−1,−2 in v( ).
The main double-and-add loop, originally devised to run on an HP-41C pocket calculator, computes P(n) mod n and the reverse P(−n) mod n at the cost of six modular squarings for each bit of n.
The subscripts of the Perrin numbers are doubled using the identity P(2t) = P2(t) − 2P(−t). The resulting gaps between P(±2t) and P(±2t ± 2) are closed by applying the defining relation P(t) = P(t − 2) + P(t − 3).
Initial values
let int u(0):= 3, u(1):= 0, u(2):= 2
let int v(0):= 3, v(1):=−1, v(2):= 1
Test odd positive number n
input int n
set int h:= most significant bit of n
for k:= h − 1 downto 0
Double the indices of
the six Perrin numbers.
for i = 0, 1, 2
temp:= u(i)^2 − 2v(i) (mod n)
v(i):= v(i)^2 − 2u(i) (mod n)
u(i):= temp
endfor
Copy P(2t + 2) and P(−2t − 2)
to the array ends and use
in the if-statement below.
u(3):= u(2)
v(3):= v(2)
Overwrite P(2t ± 2) with P(2t ± 1)
temp:= u(2) − u(1)
u(2):= u(0) + temp
u(0):= temp
Overwrite P(−2t ± 2) with P(−2t ± 1)
temp:= v(0) − v(1)
v(0):= v(2) + temp
v(2):= temp
if n has bit k set then
Increase the indices of
both Perrin triples by 1.
for i = 0, 1, 2
u(i):= u(i + 1)
v(i):= v(i + 1)
endfor
endif
endfor
Result
print v(2), v(1), v(0)
print u(0), u(1), u(2)
Successively P(−n − 1), P(−n), P(−n + 1) and P(n − 1), P(n), P(n + 1) (mod n).
If P(−n) = −1 and P(n) = 0 then n is a probable prime, that is: actually prime or a restricted Perrin pseudoprime.
Shanks et al. observed that for all restricted pseudoprimes they found, the final state of the above six registers (the "signature" of n) equals the initial state 1,−1,3, 3,0,2. The same occurs with ≈ 1/6 of all primes, so the two sets cannot be distinguished on the strength of this test alone. For those cases, they recommend to also use the Narayana-Lucas sister sequence with recurrence relation A(n) = A(n − 1) + A(n − 3) and initial values
u(0):= 3, u(1):= 1, u(2):= 1
v(0):= 3, v(1):= 0, v(2):=−2
The same doubling rule applies and the formulas for filling the gaps are
temp:= u(0) + u(1)
u(0):= u(2) − temp
u(2):= temp
temp:= v(2) + v(1)
v(2):= v(0) − temp
v(0):= temp
Here, n is a probable prime if A(−n) = 0 and A(n) = 1.
Kurtz et al. found no overlap between the odd pseudoprimes for the two sequences below 50∙109 and supposed that 2,277,740,968,903 = 1067179 ∙ 2134357 is the smallest composite number to pass both tests.
If the third-order Pell-Lucas recurrence A(n) = 2A(n − 1) + A(n − 3) is used as well, this bound will be pushed up to 4,057,052,731,496,380,171 = 1424263447 ∙ 2848526893.
Additionally, roots of the doubling rule-congruence
x
2
−
2
x
≡
3
=
P
(
0
)
(
mod
n
)
{\displaystyle x^{2}-2x\equiv 3=P(0){\pmod {n}}\,}
other than −1 or 3 expose composite numbers, like non-trivial square roots of 1 in the Miller-Rabin test. This reduces the number of restricted pseudoprimes for each sequence by roughly one-third and is especially efficient in detecting Carmichael numbers.
The least strong restricted Perrin pseudoprime is 46672291 and the above two bounds expand to successively 173,536,465,910,671 and 79,720,990,309,209,574,421.
Notes
References
Lucas, E. (1878). "Théorie des fonctions numériques simplement périodiques". American Journal of Mathematics (in French). 1 (3). Johns Hopkins University Press: 229–231. doi:10.2307/2369311. JSTOR 2369311.
Tarry, G. (1898). "Question 1401". L'Intermédiaire des Mathématiciens. 5. Gauthier-Villars et fils: 266–267.
Perrin, R. [in French] (1899). "Question 1484". L'Intermédiaire des Mathématiciens. 6. Gauthier-Villars et fils: 76–77.
Malo, E. (1900). "Réponse à 1484". L'Intermédiaire des Mathématiciens. 7. Gauthier-Villars et fils: 280–282, 312–314.
Jarden, Dov (1966). Recurring sequences (PDF) (2 ed.). Jerusalem: Riveon LeMatematika. pp. 86–93.
Adams, William; Shanks, Daniel (1982). "Strong primality tests that are not sufficient". Mathematics of Computation. 39 (159). American Mathematical Society: 255–300. doi:10.1090/S0025-5718-1982-0658231-9. JSTOR 2007637.
Kurtz, G. C.; Shanks, Daniel; Williams, H. C. (1986). "Fast primality tests for numbers less than 50∙109". Mathematics of Computation. 46 (174). American Mathematical Society: 691–701. doi:10.1090/S0025-5718-1986-0829639-7. JSTOR 2008007.
Füredi, Zoltán (1987). "The number of maximal independent sets in connected graphs". Journal of Graph Theory. 11 (4): 463–470. doi:10.1002/jgt.3190110403.
Arno, Steven (1991). "A note on Perrin pseudoprimes". Mathematics of Computation. 56 (193). American Mathematical Society: 371–376. Bibcode:1991MaCom..56..371A. doi:10.1090/S0025-5718-1991-1052083-9. JSTOR 2008548.
Grantham, Jon (2010). "There are infinitely many Perrin pseudoprimes". Journal of Number Theory. 130 (5): 1117–1128. arXiv:1903.06825. doi:10.1016/j.jnt.2009.11.008.
Jacobsen, Dana (2020). "Pseudoprime statistics and tables". ntheory.org. Retrieved 7 March 2024. #LPSP Lucas-Selfridge
Stephan, Holger (2020). "Millions of Perrin pseudoprimes including a few giants". arXiv:2002.03756v1 [math.NA].
Stephan, Holger (2019). Perrin pseudoprimes (WIAS Research Data No. 4). Berlin: Weierstrass Institute. doi:10.20347/WIAS.DATA.4.
External links
Jacobsen, Dana (2016). "Perrin Primality Tests".
Wright, Colin (2015). "Finding Perrin Pseudo-primes".
"Perrin's Sequence". MathPages.com.
"Lucas and Perrin Pseudoprimes". MathPages.com.
Holzbaur, Christian (1997). "Perrin Pseudoprimes".
Turk, Richard (2014). "The Perrin Chalkboard".
Kata Kunci Pencarian:

Perrin Number Checker – MathBz

About us - Perrin

Perrin Official | Perrin | Know Your Meme

Perrin Images – Browse 141 Stock Photos, Vectors, and Video | Adobe Stock

Perrin Movies - Comic Vine

2022+ WRX | PERRIN Performance

Jean Perrin | Nobel Prize, atomic structure, particle physics | Britannica
Solved Consider this definition of the Perrin sequence: | Chegg.com

Perrin Logo | Free Name Design Tool from Flaming Text

Perrin Logo | Free Name Design Tool from Flaming Text

Perrin Logo | Free Name Design Tool from Flaming Text

Perrin | Name for Boys | UK Baby Names