문제 페이지가 "무엇을 푸는가"였다면, 심층 분석은 "왜 이 풀이가 통과하는가"다. 21문제 각각에 대해 베스트 해법의 정당성을 정리·증명으로 논증하고, 시간·공간 복잡도를 유도하며, 컴파일 가능한 C++ 참조 구현을 라인 단위로 해부한다. 풀이 코드가 검증된 8문제는 실제 SCORE를, 나머지는 grader 구조에서 역설계한 베스트 해법 설계를 담는다.
Vol. 1 · 검증된 풀이 (실제 SCORE 보유)
그리디 보행과 다익스트라 점프의 결합, 회전 4벌 매칭으로 SCAN을 0으로.
외진 UE 먼저 배정 — 거리²합 우선순위와 counting sort의 그리디.
가벼운 트럭이 이긴다 — 최근접 픽업과 TH 파라미터 튜닝의 수학.
약한 파워부터 — power³ 비용에서 점진적 스캔과 동치류 병합.
평형이 아니라 천장을 낮춰라 — minimax 목적과 balancing swap.
512칸을 한 번에 묻는다 — 구간 OR과 이진탐색의 비용 비대칭 공략.
배송이 아니라 정렬 문제 — 무게 단조 적층과 3D 스택 자료구조.
Vol. 1 · 설계 논증 (grader 역설계)
시뮬레이션 기반 탐욕 신호 스케줄링과 그린 웨이브 설계.
큰 우주선 우선 — 점수 비대칭과 4모서리 높이차 O(1) 판정.
원형 거리와 한 방향 sweep — 회송 흡수와 적재 묶음 설계.
고가 원소 밀집 — 정수 회전 행렬과 그리디 fold 탐색.
도로 보수를 간선 가중치로 — 영구개선의 amortization 분석.
VLSI placement — wirelength와 timing의 비대칭, force-directed + SA.
시간 예산 안의 점수 최대화 — 가성비 정렬과 회송 분할상각.
Vol. 2 · 2024–2025 시리즈
작은 그래프의 transshipment — Max-Flow보다 빠른 실전 최적.
볼록 효용의 KKT — 2-step lookahead의 분산 감소와 sweet spot.
250주기의 AM-GM 최소점 — 잔량² 페널티와 헝가리안 근사.
베이즈 사후분포의 몬테카를로 근사 — 차원의 저주 회피.
Arya-Garg 5-근사 — 1-swap local search와 Floyd-Warshall 캐시.
결정트리의 Shannon 하한 — 50:50 분할과 Huffman 최적트리.
2D 누적합의 포함-배제 — 면적과 패치를 분리하는 O(1) 쿼리.
각 심층 분석이 특정 문제의 해법을 다룬다면, 원리 백과는 그 해법들을 가로지르는 8개 알고리즘 원리 — 다익스트라, 그리디 교환논법, Union-Find, 최근접 이웃, 국소탐색, 시뮬레이티드 어닐링, 파티클 필터, Integral Image — 를 독립된 글로 정리한다. 여러 문제가 같은 원리를 공유하므로, 원리 페이지에서 출발해 적용 문제로 내려가는 독법도 가능하다.