배운 것을
정리하는 개발자
계산 이론·암호학·알고리즘을 정의부터 증명까지 풀어 정리하는 노트입니다.
정답보다 그 답에 이르는 과정을 우선합니다.
추천 글
주요 카테고리 대표RSA — 공개키 암호의 수학적 구조
RSA의 키 생성, 암복호화, 복호화 정확성 증명(오일러·페르마·CRT), 소인수분해 보안 근거, Square-and-Multiply 고속 지수연산까지 — 공개키 암호의 수학 전체를 다룬다.
알고리즘 오리엔테이션 — 알고리즘이란 무엇인가
알고리즘의 정의와 올바름(Correctness)을 살펴보고, 최댓값 찾기와 이진 탐색 예시로 알고리즘을 증명한다. 정지 문제(Halting Problem)로 알고리즘의 근본 한계를 확인하고, RAM 모델과 점근적 표기법(Big-O, Θ, Ω)으로 효율을 분석한다.
최근 글
모두 보기 → 08. 26. 알고리즘 추가 설명 — 되짚기는 길 하나가 아니라 영역을 준다 08. 26. 알고리즘 편집 거리 — 비슷하다는 말을 수로 바꾸기 08. 11. 알고리즘 플로이드·워셜의 메모리 줄이기 — N³칸에서 N²칸으로 08. 11. 알고리즘 모든 쌍 최단 거리 — 다익스트라 N번과 플로이드·워셜 08. 06. 알고리즘 추가 설명 — 왜 이어 붙이는 것이 최선인가
주제별 현황
총 71개여기서 다루는 것
계산 이론 8편
유한 오토마타에서 튜링 기계까지 계산 모델을 차례로 쌓아 올리고, 결정 가능성과 복잡도 클래스로 「풀 수 있는 문제」의 경계를 그립니다. 집합의 농도처럼 그 경계를 떠받치는 수학도 함께 다룹니다.
암호학 18편
나눗셈 정리와 합동식, 페르마 소정리와 중국인의 나머지 정리에서 시작해 RSA·ElGamal·Diffie-Hellman을 직접 구성합니다. 해시와 전자 서명, 영지식 증명까지 이어집니다.
알고리즘 45편
분할 정복·그리디·동적 계획법을 설계 전략으로 묶어 정리합니다. 정렬과 선택, 최단 경로와 최소 신장 트리, 가장 가까운 점 쌍과 볼록 껍질을 왜 그 방법이 옳은지까지 증명합니다.