2
平方根関数を使用しての形式の素数性をテストするための効率的なアルゴリズムはありますか?
私が読んでいたCLRSを、それがあればことを示すように求めフォームの素数である及び平方剰余した後、の平方根である(一方は容易ことを示すことができますは平方根です)。p pp4 k + 3 4k+34k+3a aaa k + 1ak+1a^{k+1} a − ka−ka^{-k} 以前の事実を使用していて、(必ずしも素数である必要はない)の形式の数があることを知っているかどうか疑問に思っていたので、平方根関数を使用して(何か?)異なる素数性テストがあるかもしれません(つまり、)。N = 4 k + 3 N=4k+3N = 4k+3N NNS Q R T N(a )= a k + 1SQRTN(a)=ak+1SQRT_N(a) = a^{k+1} だから私が考えたアルゴリズムは次のとおりです: 二次残差(QR)(a ^ {\ frac {p-1} {2}} \ equiv 1 \ pmod pが成り立つかどうかを確認することでこれを簡単に行うことができます)。QRを取得したら、a ^ {k + …