結果

問題 No.3030 ミラー・ラビン素数判定法のテスト
ユーザー bal4ubal4u
提出日時 2019-05-18 16:50:41
言語 C
(gcc 12.3.0)
結果
WA  
実行時間 -
コード長 1,863 bytes
コンパイル時間 315 ms
コンパイル使用メモリ 30,848 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-04-29 13:13:16
合計ジャッジ時間 1,252 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 1 ms
5,376 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 1 ms
5,376 KB
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.c: In function 'in':
main.c:11:14: warning: implicit declaration of function 'getchar_unlocked' [-Wimplicit-function-declaration]
   11 | #define gc() getchar_unlocked()
      |              ^~~~~~~~~~~~~~~~
main.c:21:26: note: in expansion of macro 'gc'
   21 |                 if ((c = gc()) < '0') break;
      |                          ^~
main.c:12:15: warning: implicit declaration of function 'putchar_unlocked' [-Wimplicit-function-declaration]
   12 | #define pc(c) putchar_unlocked(c)
      |               ^~~~~~~~~~~~~~~~
main.c:22:25: note: in expansion of macro 'pc'
   22 |                 if (ec) pc(c);
      |                         ^~

ソースコード

diff # 

// yukicoder 3030 ミラー・ラビン素数判定法のテスト
// 2019.5.18 bal4u

#include <stdio.h>

typedef long long ll;
typedef unsigned long long ull;

//// 高速入出力
#if 1
#define gc() getchar_unlocked()
#define pc(c) putchar_unlocked(c)
#else
#define gc() getchar()
#define pc(c) putchar(c)
#endif

ull in(int ec) {   // 非負整数の入力
	ull n = 0; int c;
	while (1) {
		if ((c = gc()) < '0') break;
		if (ec) pc(c);
		n = 10 * n + (c & 0xf);
	}
	return n;
}

//// ラビン素数テスト
#if 1
#define mulmod128(a,b,n) ((__int128_t)a*b % n)
#else
#define mod(a,m) 	((a)%(m))
ull mulmod128(ull a, ull b, ull m) {
	ull ans = 0;
    a = mod(a, m), b = mod(b, m);
	while (b > 0) {
		if (b & 1) ans = mod(ans + a, m);
		a = mod(a << 1, m);
		b >>= 1;
	}
    return ans;
}
#endif

ull modpow(ull x, ull p, ull n) {
	ull r = 1;
	while (p) {
		if (p & 1) r = mulmod128(r, x, n);
		x = mulmod128(x, x, n);
		p >>= 1;
	}
	return r;
}

unsigned xorshift() {
	static unsigned y = 2463534242;
	y = y ^ (y << 13), y = y ^ (y >> 17), y = y ^ (y << 5);
	return y;
}

//int ptbl[] = { 2,325,9375,28178,450775,9780504,1795265022, 0 };
int suspect(ull n) {
	int i, j, b;
	ull t, u, x;

	u = n-1, t = 0; while ((u & 1) == 0) u >>= 1, t++;
	for (j = 0; j < 6; j++) {
		if ((b = xorshift() % n) == 0) continue;
//		if ((b = ptbl[j] % n) == 0) continue;
		x = modpow(b, u, n);
		if (x == 1 || x == n-1) continue;
		for (i = 1; i < t; i++) {
			x = mulmod128(x, x, n);
			if (x == 1) return 0;
			if (x == n-1) break;
		}
		if (i == t) return 0;
	}
	return 1;
}

int miller_rabin(ull n) {
	int p[10] = { 0,0,1,1,0,1,0,1,0,0 };
	if (n < 10) return p[n];
	if ((n & 1) == 0) return 0;
	if (n % 5 == 0) return 0;
	return suspect(n);
}

int main()
{
	int n = (int)in(0);
	while (n--) {
		ull x = in(1);
		pc(' '), pc('0' + miller_rabin(x)), pc('\n');
	}
	return 0;
}
0