귀하는 로그인되어 있지 않습니다. 이대로 편집하면 귀하의 IP 주소가 편집 기록에 남게 됩니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!== 소수 판별법 == === 시행 착오법 === 가장 단순한 방법은 2부터 <math>n-1</math>까지 모든 수로 나눠보는 것이다. 하지만 이는 너무 느리다. 개선된 방법은 2부터 <math>\sqrt{n}</math>까지만 확인하는 것이다. 왜냐하면 <math>n = a \times b</math>일 때, <math>a</math>와 <math>b</math> 중 적어도 하나는 <math>\sqrt{n}</math> 이하이기 때문이다. === 에라토스테네스의 체 === [[에라토스테네스의 체]]는 일정 범위 내의 모든 소수를 찾는 효율적인 알고리즘이다. 알고리즘: # 2부터 <math>n</math>까지의 모든 수를 나열한다. # 2는 소수이므로 남기고, 2의 배수를 모두 지운다. # 다음 남은 수(3)는 소수이므로 남기고, 3의 배수를 모두 지운다. # 이를 <math>\sqrt{n}</math>까지 반복한다. # 남은 수들이 모두 소수다. 시간 복잡도는 <math>O(n \log \log n)</math>으로 매우 효율적이다. === 밀러-라빈 소수 판별법 === [[밀러-라빈 소수 판별법]]은 확률적 알고리즘으로, 매우 빠르게 소수 여부를 판별할 수 있다. [[RSA 암호]] 같은 암호학에서 큰 소수를 생성할 때 주로 사용된다. 완벽하게 정확하지는 않지만, 반복 횟수를 늘리면 오류 확률을 임의로 낮출 수 있다. ~~실용적으로는 거의 100% 정확하다~~ === AKS 소수 판별법 === [[AKS 소수 판별법]]은 2002년에 발견된 '''결정론적''' 다항 시간 알고리즘이다. 이론적으로 매우 중요하지만, 실제로는 밀러-라빈보다 느려서 잘 사용되지 않는다. 그래도 "소수 판별은 P 문제다"라는 것을 증명했다는 점에서 역사적 의의가 크다. 편집 요약 가온 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 라이선스로 배포된다는 점을 유의해 주세요(자세한 내용에 대해서는 가온 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 또한, 직접 작성했거나 퍼블릭 도메인과 같은 자유 문서에서 가져왔다는 것을 보증해야 합니다. 저작권이 있는 내용을 허가 없이 저장하지 마세요! 취소 편집 도움말 (새 창에서 열림)