์์๋ ๋ฌด์์ผ๊น์?
์์(็ด ๆธ)๋ 1๋ณด๋ค ํฐ ์ ์ ์ค์์ 1๊ณผ ์๊ธฐ ์์ , ์ด๋ ๊ฒ ์ ํํ ๋ ๊ฐ์ ์์ ์ฝ์๋ง ๊ฐ์ง๋ ์๋ฅผ ๋งํฉ๋๋ค. 2, 3, 5, 7, 11, 13 ๋ฑ์ด ๋ํ์ ์ธ ์์ ๋๋ค. 1๋ณด๋ค ํฌ๋ฉด์ ์์๊ฐ ์๋ ์๋ ํฉ์ฑ์๋ผ๊ณ ๋ถ๋ฅด๋ฉฐ, ๋ ์์ ์ ์๋ค์ ๊ณฑ์ผ๋ก ๋ํ๋ผ ์ ์์ต๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ ์ ๋ ฅํ ์ซ์๊ฐ ์์์ธ์ง ์ฆ์ ์๋ ค์ฃผ๊ณ , ์์๊ฐ ์๋๋ผ๋ฉด ๊ทธ ์๋ฅผ ๋๋๋ ๊ฐ์ฅ ์์ ์ฝ์๊น์ง ๋ณด์ฌ์ค๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ ๋ฐฉ๋ฒ
์ ๋ ฅ๋์ 0 ์ด์์ ์ ์๋ฅผ ์ ๋ ฅํ ๋ค ํ์ธ์ ๋๋ฅด์ธ์. ๊ฒฐ๊ณผ ๋ฐ์ค์๋ ํด๋น ์ซ์๊ฐ ์์์ด๋ฉด ์(YES), ํฉ์ฑ์์ด๋ฉด ์๋์ค(NO)๊ฐ ํ์๋ฉ๋๋ค. ํฉ์ฑ์์ธ ๊ฒฝ์ฐ์๋ 1๋ณด๋ค ํฐ ๊ฐ์ฅ ์์ ์ฝ์๊ฐ ํ์ ๋ํ๋๋๋ฐ, ์ด๋ ์ ์ฒด ์์ธ์๋ถํด๋ฅผ ์์ํ๋ ์ถ๋ฐ์ ์ผ๋ก ํ์ฉํ ์ ์์ต๋๋ค.
๊ณต์ ์์ธํ ์ดํด๋ณด๊ธฐ
์์ ์ฌ๋ถ๋ฅผ ํจ์จ์ ์ผ๋ก ํ์ธํ๋ ค๋ฉด \(n\)์ ์ ๊ณฑ๊ทผ๊น์ง์ ์ฝ์๋ง ๊ฒ์ฌํ๋ฉด ๋ฉ๋๋ค. ๋ง์ฝ \(n\)์ด ์ ๊ณฑ๊ทผ๋ณด๋ค ํฐ ์ฝ์๋ฅผ ๊ฐ์ง๋ค๋ฉด, ๋ฐ๋์ ์ ๊ณฑ๊ทผ๋ณด๋ค ์์ ์ง์ด ๋๋ ์ฝ์๋ ํจ๊ป ์กด์ฌํ๊ธฐ ๋๋ฌธ์ ๊ทธ ์ง์ ๊น์ง๋ง ํ์ธํ๋ฉด ์ถฉ๋ถํฉ๋๋ค. ์์์ผ๋ก ํํํ๋ฉด, \(n > 1\)์ด๊ณ 2๋ถํฐ \(\lfloor\sqrt{n}\rfloor\)๊น์ง์ ๋ชจ๋ ์ ์ \(i\)์ ๋ํด \(n \bmod i \neq 0\)์ผ ๋ \(n\)์ ์์์ ๋๋ค.
$$n \text{ is prime} \iff n > 1 \text{ and } n \bmod i \neq 0 \;\; \forall\, i \in [2, \sqrt{n}]$$์ด ๋ฐฉ๋ฒ์ \(n\)๋ณด๋ค ์์ ๋ชจ๋ ์๋ฅผ ์ผ์ผ์ด ๊ฒ์ฌํ๋ ๊ฒ๋ณด๋ค ๊ณ์ฐ๋์ ํฌ๊ฒ ์ค์ฌ ์ค๋๋ค.
์์ ๋ก ์ดํดํ๊ธฐ
\(n = 97\)์ ์ดํด๋ด ์๋ค. ์ ๊ณฑ๊ทผ์ด ์ฝ \(9.85\)์ด๋ฏ๋ก ์ฝ์ 2, 3, 5, 7, 9๋ง ๊ฒ์ฌํ๋ฉด ๋ฉ๋๋ค. 97์ ํ์์ด๊ณ 3, 5, 7๋ก๋ ๋๋์ด๋จ์ด์ง์ง ์์ผ๋ฏ๋ก ์ด๋ ๊ฒ๋ 97์ ์ ํํ ๋๋์ง ๋ชปํฉ๋๋ค. ๋ฐ๋ผ์ 97์ ์์์ ๋๋ค. ์ด๋ฒ์๋ \(n = 91\)์ ๋ด ์๋ค. 2, 3, 5๋ฅผ ์ฐจ๋ก๋ก ๊ฒ์ฌํ ๋ค 7์ ์๋ํ๋ฉด \(91 \div 7 = 13\)์ผ๋ก ๋ฑ ๋จ์ด์ง๋๋ค. ๊ทธ๋ฌ๋ฏ๋ก 91์ ๊ฐ์ฅ ์์ ์ฝ์๊ฐ 7์ธ ํฉ์ฑ์์ ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
1์ ์์์ธ๊ฐ์? ์๋๋๋ค. ์ ์์ ์์๋ 1๋ณด๋ค ์ปค์ผ ํ๋ฏ๋ก, 1์ ์์๋ ํฉ์ฑ์๋ ์๋๋๋ค.
2๋ ์์์ธ๊ฐ์? ๋ค. 2๋ ์ ์ผํ ์ง์ ์์์ ๋๋ค. 2๋ฅผ ์ ์ธํ ๋ชจ๋ ์ง์๋ 2๋ก ๋๋์ด๋จ์ด์ง๊ธฐ ๋๋ฌธ์ ๋๋ค.
์ ์ ๊ณฑ๊ทผ๊น์ง๋ง ๊ฒ์ฌํ๋์? ์ฝ์๋ ๊ณฑํด์ \(n\)์ด ๋๋ ์ง์ผ๋ก ์กด์ฌํฉ๋๋ค. ๋ง์ฝ ๋ ์ฝ์๊ฐ ๋ชจ๋ \(\sqrt{n}\)๋ณด๋ค ํฌ๋ค๋ฉด ๊ทธ ๊ณฑ์ด \(n\)์ ๋์ด์๊ฒ ๋์ด ๋ชจ์์ด ๋ฉ๋๋ค. ๋ฐ๋ผ์ ๋ชจ๋ ์ฝ์ ์ง์์ ์ ์ด๋ ํ๋๋ ๋ฐ๋์ \(\sqrt{n}\) ์ดํ์ ๋๋ค.