Quartz sync: Jul 26, 2025, 2:30 PM

Author: codeyoma

content/Computer Science/1 Foundations & Theory/Algorithms/math/소수 판별법.md

@@ -1,6 +1,7 @@
 ---
-created: 2025/5/03 14:44:32
-modified: 2025/5/03 20:31:14
+description:
+created: 2025-05-18
+modified: 2025-07-26
 aliases:
   - is prime
 tags:
@@ -9,6 +10,7 @@ tags:
   - "#stage/facts"
 references:
 ---
+
 <!--
 [[내 노트 정리 방법#^bb9ac3|my workflow]]
 - main
@@ -24,19 +26,23 @@ references:
 	- 관련노트 
 -->
 - 한 숫자만 검증
-	- 기본 최적화
-	- $1 \sim \sqrt{n}$까지 곱셉 비교 `i * i <= n`
-```cpp
-bool is_prime(int n){
-	if ( n <= 1 ) return false;
-	if ( n == 2) return true;
-	for (int i = 2; i * i <= n; i += 2){
-		if (n % i == 0)
-			return false;
-	}
-	return true;
-}
-```
+	- 기본
+		- $1 \sim \sqrt{n}$까지 곱셉 비교 `i * i <= n`
+		- ```cpp
+		bool is_prime(int n) {
+		    if (n <= 1) return false;
+		    if (n == 2) return true;
+		    if (n % 2 == 0) return false;
+		
+		    for (int i = 3; i * i <= n; i += 2) {
+		        if (n % i == 0) return false;
+		    }
+		    
+		    return true;
+		}
+	- 밀러-라빈 방법
+		- 페르마의 소정리 기반
+		- 밀러-라빈 테스트
 - 여러 숫자 검증
 	- 에라토스테네스의 체
 		- 특정 범위까지 `2의 배수... n의 배수` false 판별한 brutal force 배열을 사용