- 단계적 소수 판별법
- ㆍ 저자명
- 이상운,Lee. Sang-Un
- ㆍ 간행물명
- 한국인터넷방송통신학회 논문지
- ㆍ 권/호정보
- 2013년|13권 3호|pp.103-109 (7 pages)
- ㆍ 발행정보
- 한국인터넷방송통신학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
대표적인 소수판별법으로 밀러-라빈 방법이 적용되고 있다. 밀러-라빈 판별법은 카마이클 수 또는 반소수가 합성수임에도 불구하고 소수로 잘못 판별하는 단점이 있어 m=[2,n-1], (m,n)=1인 m을 k개 선택하여 소수 여부를 판별한다. 밀러-라빈 방법은 $n-1=2^sd$, $0{leq}r{leq}s-1$에 대해 $m^d{equiv}1$(mod n) 또는 $m^{2^rd}{equiv}-1$(mod n)로 소수를 판별한다. 본 논문은 m=2로 한정시켜 98.9%를 판별할 수 있는 알고리즘을 제안한다. 제안된 방법은 $n=6k{pm}1$, $n_1{ eq}5$로 1차로 합성수 여부를 판별한다. 2차에서는 $2^{2^{s-1}d}{equiv}{eta}_{s-1}$(mod n)과 $2^d{equiv}{eta}_0$(mod n)로 판별하였으며, 3차에서는 ${eta}_0$ >1이면 $1{leq}r{leq}s-2$에서 ${eta}_r{equiv}-1$ 존재 여부로, ${eta}_0=1$이면 m=3,5,7,11,13,17을 순서대로 적용하였다. 제안된 알고리즘을 n=[101,1000]에 적용한 결과 ${eta}_0$ >1은 26개로 3.0%, ${eta}_0$ = 1은 0.55%만 수행되었으며, 96.55%는 초기에 판별할 수 있었다.
Miller-Rabin method is the most prevalently used primality test. However, this method mistakenly reports a Carmichael number or semi-prime number as prime (strong lier) although they are composite numbers. To eradicate this problem, it selects k number of m, whose value satisfies the following : m=[2,n-1], (m,n)=1. The Miller-Rabin method determines that a given number is prime, given that after the computation of $n-1=2^sd$, $0{leq}r{leq}s-1$, the outcome satisfies $m^d{equiv}1$(mod n) or $m^{2^rd}{equiv}-1$(mod n). This paper proposes a step-by-step primality testing algorithm that restricts m=2, hence achieving 98.8% probability. The proposed method, as a first step, rejects composite numbers that do not satisfy the equation, $n=6k{pm}1$, $n_1{ eq}5$. Next, it determines prime by computing $2^{2^{s-1}d}{equiv}{eta}_{s-1}$(mod n) and $2^d{equiv}{eta}_0$(mod n). In the third step, it tests ${eta}_r{equiv}-1$ in the range of $1{leq}r{leq}s-2$ for ${eta}_0$ > 1. In the case of ${eta}_0$ = 1, it retests m=3,5,7,11,13,17 sequentially. When applied to n=[101,1000], the proposed algorithm determined 96.55% of prime in the initial stage. The remaining 3% was performed for ${eta}_0$ >1 and 0.55% for ${eta}_0$ = 1.