Quartz sync: Jul 3, 2025, 11:52 AM

Author: codeyoma

content/Computer Science/1 Foundations & Theory/Algorithms/Named Algorithms/Knuth–Morris–Pratt Algorithm.md

@@ -1,24 +1,59 @@
 ---
-created: 2025/5/09 08:29:04
-modified: 2025/5/09 08:35:14
+description:
+created: 2025-05-18
+modified: 2025-07-03
 aliases:
   - kmp
   - kmp algorithm
 ---
-- ```cpp
-	int M = //string size;
-	vector<int> pi(M, 0);
-	
-	for (int i = 1; i < M; ++i) {
+
+- 접두사, 접미사로 문자열 일치 판별
+	- $O(N+M)$
+- [[Two Pointers]] 기법
+	- `j`
+		- 접두사 인덱스
+		- i 위치의 값과 일치하면
+			- +1하고, 그 값을 테이블에 저장
+		- 불일치시
+			- 마지막 일치 순간으로 j 이동
+	- `i`
+		- 접미사 인덱스
+		- 한칸씩 이동하면서 일치 판별
+-	```cpp
+	vector<int> make_table(const string& pattern){
+		vector<int> table(pattern.size(), 0);
+		int j = 0;
+		
+		for (int i = 1; i < pattern.size(); ++i) {
 
-		int j = pi[i - 1];
-			
-		while (j > 0 && comb[i] != comb[j])
-			j = pi[ j - 1];
-			
-		if (comb[i] == comb[j]) ++j;
+			while (j > 0 && pattern[i] != pattern[j])
+				j = table[j - 1];
+				
+			if (pattern[i] == pattern[j])
+				table[i] = ++j;
+		}
 
-		pi[i] = j;
+		return table; 
 	}
 
-	return pi[M-1]; 
+	void KMP(const string& s, const string& needle){
+		vector<int> table = make_table(needle);
+		int s_size = s.size();
+		int needle_size = needle.size();
+		int j = 0;
+	
+		for(int i = 0; i < s_size; ++i){
+			while (j > 0 && s[i] != needle[j])
+				j = table[j - 1];
+	
+			if (s[i] == needle[j]){
+				if (j == needle_size - 1){
+					j = table[j];
+					// i - needle_size + 1 에서 매칭
+					// or i - j
+				}
+				else
+					++j;
+			}
+		}
+	}

content/Computer Science/1 Foundations & Theory/Algorithms/math/% in cpp, python.md

@@ -0,0 +1,11 @@
+---
+description:
+aliases:
+created: 2025-07-02
+modified: 2025-07-02
+---
+
+- cpp
+	- remain
+- python
+	- modulo

content/Computer Science/1 Foundations & Theory/Algorithms/math/gcd, lcm.md

@@ -0,0 +1,21 @@
+---
+description: 
+aliases:
+  - 유클리드 호제법
+created: 2025-07-02
+modified: 2025-07-02
+---
+
+- 유클리드 호제법
+	- $gcd(a,b) = gcd(b, a \, mod \, b)$
+	- $lcm(a, b) = a * b / gcd(a, b)$
+	- ```cpp
+		int gcd(int a, int b){
+			if (b == 0) return a;
+			return gcd(b, a % b);
+		}
+		
+		int lcm(int a, int b){
+			// 오버 플로우 방지로 미리 나누고, 곱하기
+			return a / gcd(a, b) * b;
+		}

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

@@ -0,0 +1,42 @@
+---
+created: 2025/5/03 14:44:32
+modified: 2025/5/03 20:31:14
+aliases:
+  - is prime
+tags:
+  - "#field/default"
+  - "#format/default"
+  - "#stage/facts"
+references:
+---
+<!--
+[[내 노트 정리 방법#^bb9ac3|my workflow]]
+- main
+	- 출처
+	- 저자
+	- 인용(contents)
+- footer
+	- 내 의견
+	- 내 의문
+	- 요약
+	- 추가 조사해야할 점
+	- todo list
+	- 관련노트 
+-->
+- 한 숫자만 검증
+	- 기본 최적화
+	- $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;
+}
+```
+- 여러 숫자 검증
+	- 에라토스테네스의 체
+		- 특정 범위까지 `2의 배수... n의 배수` false 판별한 brutal force 배열을 사용

content/Computer Science/1 Foundations & Theory/Data Structures/Fenwick tree (index tree).md

@@ -22,7 +22,7 @@ modified: 2025-07-02
 	void update(int i, int dif){
 		// update값이 dif
 		// 기존 값과의 dif를 점진적 비트 크기로 이동하면서 업데이트
-		while (i <= sum_size){
+		while (i < sum_size){
 			tree[i] += dif;
 			i += (i & -i);
 		}