로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!== 상세 == 현재로서는 소수를 생성하는 공식이 존재하지 않는다. 가령 [[제곱수]]의 경우 개수가 무한하다는 사실을 알고 있고, <math>f(n)=n^2</math>에 아무 자연수나 대입하면 제곱수를 무한정 얻어낼 수 있기에 수학에서는 "알려진 가장 큰 제곱수"와 같은 주제는 전혀 관심의 대상이 아니다. 반면 소수의 경우 모든 자연수에 대해 <math>p(n)</math>이 소수가 되는 어떤 '닫힌 형태의 식'이 알려져 있지 않다. 다만 특정 자연수가 소수 후보인지 여부를 가리는 [[소수판정법]]이 있고, 백만~천만 자리의 자연수는 일반 컴퓨터로 비교적 간단한 소수판정법을 실행할 때 하루 내로 기다리면 결과를 얻어낼 수 있다. 물론 자릿수가 늘어날수록 소수 또는 소수 후보로 올라설 확률은 희박해지고, 소요시간도 급격히 늘어난다. 이는 달리 말하면 큰 소수 찾기 프로젝트는 소위 '보물 찾기 게임'이 되는 셈이다. 괜히 [[GIMPS]]와 같은 소수 찾기 프로젝트에서 수천 달러 이상의 상금을 거는 것이 아니다. 이렇게 큰 수 영역에서는 소수를 [[전수조사]]하지 않는다. 즉 어떤 거대한 소수가 발견되었다 해도 그것이 몇 번째 소수인지, 그 수와 이웃한 다른 소수가 얼마인지는 관심거리가 아니다. 물론 [[쌍둥이 소수]]나 [[세쌍둥이 소수]]를 찾을 때에는 이웃한 소수에 대해서도 테스트를 진행하기도 한다. 소수판정법은 크게 소수이기 위한 필요조건을 조사하는 방법, 특수한 자연수의 소수 여부를 빠르고 확실하게 가려내는 방법, 일반적인 자연수의 소수 여부를 입증하는 방법이 있다. * 첫째 방법은 [[페르마의 소정리]], 즉 합동식 <math>a^{N-1} \equiv 1 \pmod N</math>의 성립 여부를 가리는 방법이 있다. <math>N</math>이 소수이면 해당 합동식은 만족하지만, 그 역은 성립하지 않는다. 때문에 이 판정 기준은 필요조건이라서 이것만으로는 소수임을 확정할 수 없다. 다만 식이 거짓이면 합성수임은 확실하고, 이 판정법은 시간을 크게 잡아먹지 않기에 소수 후보를 소거하는 용도로는 유용하게 쓰인다. * 둘째 방법은 [[뤼카-레머 소수판정법]]과 같이 특수한 자연수([[메르센 수]])를 대상으로 소수 여부를 가리는 방법이다. (메르센 수+1)이 2의 거듭제곱이라는 특수성을 적극 활용하여, 판정 조건을 적절히 다듬으면 위 첫째 방법과 비슷한 시간을 요구하면서 필요조건을 '''필요충분조건'''으로 굳힐 수 있다. 그 밖에 <math>k \cdot 2^n \pm 1 (\text{ odd }k<2^n)</math> 형태의 자연수는 [[프로트의 정리]] 및 [[뤼카-레머-리젤 소수판정법]]으로 소수 여부를 확정할 수 있다. * 셋째 방법은 '''모든 자연수'''에 적용되는 결정론적 알고리즘으로, 대표적으로 [[타원곡선 소수판정법]]이 있다. 범용성이 매우 좋지만 이쪽은 같은 크기의 자연수라도 위 두 방법보다는 시간이 훨씬 오래 걸린다. 현존하는 컴퓨터의 역량으로는 1만 자리 규모의 자연수까지 테스트할 수 있고, 2022년 9월까지 이 방법으로 밝혀낸 가장 큰 소수는 6만 자리를 넘지 않는다. 백만 자리 이상의 큰 영역에서 소수를 찾는다면 둘째 방법을 주로 이용한다. 실제로 이 영역에서 알려진 소수들은 바로 위에 서술한 바와 같이 2의 거듭제곱을 끼는 모양이 많다. 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다. 취소 편집 도움말 (새 창에서 열림) | () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |} {{lang|}} · {{llang||}} · {{인용문|}} · {{인용문2|}} · {{유튜브|}} · {{다음팟|}} · {{니코|}} · {{토막글}} {{삭제|}} · {{특정판삭제|}}(이유를 적지 않을 경우 기각될 가능성이 높습니다. 반드시 이유를 적어주세요.) {{#expr:}} · {{#if:}} · {{#ifeq:}} · {{#iferror:}} · {{#ifexist:}} · {{#switch:}} · {{#time:}} · {{#timel:}} · {{#titleparts:}} __NOTOC__ · __FORCETOC__ · __TOC__ · {{PAGENAME}} · {{SITENAME}} · {{localurl:}} · {{fullurl:}} · {{ns:}} –(대시) ‘’(작은따옴표) “”(큰따옴표) ·(가운뎃점) …(말줄임표) ‽(물음느낌표) 〈〉(홑화살괄호) 《》(겹화살괄호) ± − × ÷ ≈ ≠ ∓ ≤ ≥ ∞ ¬ ¹ ² ³ ⁿ ¼ ½ ¾ § € £ ₩ ¥ ¢ † ‡ • ← → ↔ ‰ °C µ(마이크로) Å °(도) ′(분) ″(초) Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ(뮤) Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω · Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ · Ϊ ϊ Ϋ ϋ · ΐ ΰ Æ æ Đ(D with stroke) đ Ð(eth) ð ı Ł ł Ø ø Œ œ ß Þ þ · Á á Ć ć É é Í í Ĺ ĺ Ḿ ḿ Ń ń Ó ó Ŕ ŕ Ś ś Ú ú Ý ý Ź ź · À à È è Ì ì Ǹ ǹ Ò ò Ù ù · İ Ż ż ·  â Ĉ ĉ Ê ê Ĝ ĝ Ĥ ĥ Î î Ĵ ĵ Ô ô Ŝ ŝ Û û · Ä ä Ë ë Ï ï Ö ö Ü ü Ÿ ÿ · ǘ ǜ ǚ ǖ · caron/háček: Ǎ ǎ Č č Ď ď Ě ě Ǐ ǐ Ľ ľ Ň ň Ǒ ǒ Ř ř Š š Ť ť Ǔ ǔ Ž ž · breve: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț