5.1 KiB

Raw Blame History

id	title	challengeType	forumTopicId	dashedName
598eea87e5cf4b116c3ff81a	メルセンヌ数の因数	5	302264	factors-of-a-mersenne-number

--description--

メルセンヌ数は 2^P-1 の形式の数値です。

P が素数の場合、メルセンヌ数はメルセンヌの素数である場合があります。 ( P が素数でない場合、メルセンヌ数も素数ではありません。)

メルセンヌ素数を求めるには、長い時間を要する可能性がある [Lucas-Lehmer test](https://rosettacode.org/wiki/Lucas-Lehmer test "Lucas-Lehmer test") を開始する前に、小さな因数を見つけることによって指数を除去することをお勧めします。

数字が 2^P-1 を割るかどうか (すなわち、2^P mod (the number) = 1 となるかどうか) を判定するのに適した非常に効率的なアルゴリズムがあります。

指数と剰余演算 (modPow などと呼ばれる) の組み込み実装が既にある言語もあります。

以下は、このmodPowを自分で実装する方法です。

例えば、 2²³ mod 47 を計算してみましょう。

指数23を2進数に変換すると、10111が得られます。 square = 1 から始めて、繰り返し2乗にしていきます。

指数の上位ビットを削除し、1である場合、square に冪乗の底 (2) を掛けて、square modulo 47を計算します。

最後のステップのモジュロの結果を、次のステップの square の初期値として使用します。

Remove   Optional
square        top bit  multiply by 2  mod 47
------------  -------  -------------  ------
1*1 = 1       1  0111  1*2 = 2           2
2*2 = 4       0   111     no             4
4*4 = 16      1    11  16*2 = 32        32
32*32 = 1024  1     1  1024*2 = 2048    27
27*27 = 729   1        729*2 = 1458      1

2²³ mod 47 = 1であるため、 47 は 2^P-1 の因数です。

(これを理解するには、両辺から1を引きます: 2²³-1 = 0 mod 47。)

47 が因数であるとしているので、2²³-1 は素数ではありません。

メルセンヌ数には他にも特有の性質があるため、メルセンヌ数を使用するとプロセスをもっと改善できます。

2^P-1 の因数 q は 2kP+1の形を取り、k は正の整数またはゼロです。さらに、q は 1 または 7 mod 8 です。

最後に、潜在的因数 q は [素数](https://rosettacode.org/wiki/Primality by Trial Division "Primality by Trial Division") でなければなりません。

他の試行徐算アルゴリズムと同様に、アルゴリズムは 2kP+1 > sqrt(N)となった場合に停止します。これらのテストは、P が素数である場合に、メルセンヌ数に対してのみ働きます。例えば、M₄=15 はこれらの手法で因数を生成しません。3と5を考えると、いずれも2kP+1に適合しません。

--instructions--

上記のメソッドを使用して、2^p-1 の因数を求めます。

--hints--

check_mersenne という関数です。

assert(typeof check_mersenne === 'function');

check_mersenne(3) は文字列を返します。

assert(typeof check_mersenne(3) == 'string');

check_mersenne(3) は文字列 M3 = 2^3-1 is prime を返します。

assert.equal(check_mersenne(3), 'M3 = 2^3-1 is prime');

check_mersenne(23) は文字列 M23 = 2^23-1 is composite with factor 47 を返します。

assert.equal(check_mersenne(23), 'M23 = 2^23-1 is composite with factor 47');

check_mersenne(929) は文字列 M929 = 2^929-1 is composite with factor 13007 を返します。

assert.equal(
  check_mersenne(929),
  'M929 = 2^929-1 is composite with factor 13007'
);

--seed--

--seed-contents--

function check_mersenne(p) {

}

--solutions--

function check_mersenne(p){
    function isPrime(value){
      for (let i=2; i < value; i++){
        if (value % i == 0){
          return false;
        }
        if (value % i != 0){
          return true;
         }
      }
    }

    function trial_factor(base, exp, mod){
      let square, bits;
      square = 1;
      bits = exp.toString(2).split('');
      for (let i=0,ln=bits.length; i<ln; i++){
        square = Math.pow(square, 2) * (bits[i] == 1 ? base : 1) % mod;
      }
      return (square == 1);
    }

    function mersenne_factor(p){
      let limit, k, q;
      limit = Math.sqrt(Math.pow(2,p) - 1);
      k = 1;
      while ((2*k*p - 1) < limit){
        q = 2*k*p + 1;
        if (isPrime(q) && (q % 8 == 1 || q % 8 == 7) && trial_factor(2,p,q)){
          return q; // q is a factor of 2**p-1
        }
        k++;
      }
      return null;
    }
  let f, result;
  result="M"+p+" = 2^"+p+"-1 is ";
  f = mersenne_factor(p);
  result+=f == null ? "prime" : "composite with factor "+f;
  return result;
}

5.1 KiB Raw Blame History