입력으로 주어진 수가 소수(소수 (수론))인지 아닌지 판별(소수판별법)하는 알고리즘
밀러-라빈 소수판별법(Miller-Rabin primality test)은 입력으로 주어진 수가 소수(소수 (수론))인지 아닌지 판별(소수판별법)하는 알고리즘이다. 라빈-밀러 소수판별법(Rabin-Miller primality test)이라고도 한다. 개리 L. 밀러의 원래 알고리즘은 일반 리만 가설에 기반한 결정론적 알고리즘이었는데, 미하엘 라빈이 확률적 알고리즘으로 변경했다. 페르마 판별법이나 솔로바이-스트라센 소수판별법과 마찬가지로, 밀러-라빈 소수판별법은 소수가 가지는 특별한 성질을 이용한다. 이 홀수인 소수라고 할 때, 은 라고 할 수 있다. 이때, 는 정수이고 는 홀수이다.
밀러 라빈 소수판별법이 뭐야
밀러-라빈 소수판별법