主題
Search

遞迴關係簽名


設一個序列定義為

A_(-1)=s
(1)
A_0=3
(2)
A_1=r
(3)
A_n=rA_(n-1)-sA_(n-2)+A_(n-3).
(4)

同時定義相關的多項式

 f(x)=x^3-rx^2+sx+1,
(5)

並且令 Delta 為其判別式。佩蘭序列是對應於 A_n(0,-1) 的特殊情況。那麼,對於序列 A_k(r,s)整數 nm 的簽名定義為 6 元組 (A_(-n-1), A_(-n), A_(-n+1), A_(n-1), A_n, A_(n+1)) (mod m)。

1. 如果一個整數 n 的簽名(模 n)是 (A_(-2), A_(-1), A_0, A_0, A_1, A_2),則它具有 S 簽名。

2. 如果一個整數 n 的簽名(模 n同餘於 (A,s,B,B,r,C),其中對於某個滿足 f(a)=0 (mod n)整數 aA=a^(-2)+2aB=-ra^2+(r^2-s)a,並且 C=a^2+2a^(-1),則它具有 Q 簽名。

3. 如果一個整數 n 的簽名(模 n同餘於 (r,s,D^',D,r,s),其中 D^'+D=rs-3(D^'-D)^2=Delta,則它具有 I 簽名。


另請參閱

佩蘭偽素數

使用 探索

參考文獻

Adams, W. 和 Shanks, D. "Strong Primality Tests that Are Not Sufficient." Math. Comput. 39, 255-300, 1982.Grantham, J. "Frobenius Pseudoprimes." http://www.clark.net/pub/grantham/pseudo/pseudo1.ps.

在 上被引用

遞迴關係簽名

請引用為

Weisstein, Eric W. "遞迴關係簽名。" 來自 Web 資源。 https://mathworld.tw/RecurrenceRelationSignature.html

主題分類