복잡도와 측정
빠르다는 인상이나 Big-O 암기에 머물지 않고 문제 semantics·입력 family·primitive operation·case·time-space budget을 먼저 봉인한 뒤 exact count, 점근 경계, 반례와 재현 가능한 측정을 연결해 알고리즘 선택을 방어한다.
- 작은 수업
- 72개
- 바로 풀어볼 수 있는 문제
- 8 / 576개
- 직접 움직이는 그림
- 1 / 72개
- 나중에 다시 풀기
- 1일 · 7일 · 30일 뒤
모든 작은 수업이 같은 순서로 이어져요
보고, 해보고, 내 말로 설명하는 열두 단계
먼저 골라 보고, 직접 해보고, 생각과 달라진 첫 곳을 찾아요. 한 가지를 바꿔 다시 해본 뒤 새로운 생활 장면에서도 같은 생각을 쓸 수 있는지 확인해요.
- 01오늘 할 일왜 배우는지
- 02먼저 떠올리기이미 아는 것
- 03그림으로 보기어떻게 움직이나
- 04먼저 골라보기하기 전 생각
- 05직접 해보기무엇이 보이나
- 06막힌 곳 찾기처음 다른 곳
- 07하나 바꿔보기한 가지
- 08내가 만들기직접 완성
- 09다시 확인하기새 문제로 확인
- 10내 말로 설명한 문장 기록
- 11생활에 써보기새로운 장면
- 12나중에 다시1·7·30일
72개 작은 수업으로 나눴어요
배울 내용 골라 보기
각 작은 수업에는 그림, 자주 헷갈리는 곳, 막혔을 때 볼 도움과 여덟 연습 문제가 있어요. 먼저 그림으로 이해하고, 따라 해보고, 혼자 풀고, 내가 한 일을 남기는 순서로 열립니다.
- 01
학습 자료와 연습 문제 준비 중
문제 질문과 출력 조건 봉인
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 0개
- 02
학습 자료와 연습 문제 준비 중
속도보다 의미 정확성 먼저
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 03
학습 자료와 연습 문제 준비 중
주 입력 크기 n 정의
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 04
학습 자료와 연습 문제 준비 중
n·m·q·U 다중 입력 차원
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 05
학습 자료와 연습 문제 준비 중
값 크기와 인코딩 길이 분리
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 06
학습 자료와 연습 문제 준비 중
제약을 실행 가능한 경계로 변환
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 07
학습 자료와 연습 문제 준비 중
연산 빈도와 workload 모델
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 08
학습 자료와 연습 문제 준비 중
순서·분포·중복의 입력 family
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 09
학습 자료와 연습 문제 준비 중
전제 조건과 금지 입력
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 10
학습 자료와 연습 문제 준비 중
primitive operation 선택
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 11
학습 자료와 연습 문제 준비 중
문장 실행 횟수 추적
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 12
학습 자료와 연습 문제 준비 중
단일 반복문의 정확 계수
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 13
학습 자료와 연습 문제 준비 중
종속 중첩 반복과 삼각합
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 14
학습 자료와 연습 문제 준비 중
조기 종료와 분기 비용
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 15
학습 자료와 연습 문제 준비 중
재귀 호출 트리 계수
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 일의 순서를 선으로 이은 그림 · 먼저 알면 좋은 수업 1개
- 16
학습 자료와 연습 문제 준비 중
할당·복사·I/O 비용 포함
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 17
학습 자료와 연습 문제 준비 중
상수 인자와 단위 환산
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 18
학습 자료와 연습 문제 준비 중
비용 방정식과 지배항
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 19
학습 자료와 연습 문제 준비 중
입력 배가 성장률 표
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 20
학습 자료와 연습 문제 준비 중
Big-O 상한과 정량 조건
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 21
학습 자료와 연습 문제 준비 중
Big-Ω 하한과 witness
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 22
학습 자료와 연습 문제 준비 중
Big-Θ tight bound
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 23
학습 자료와 연습 문제 준비 중
상수를 생략해도 되는 조건
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 24
학습 자료와 연습 문제 준비 중
순차 합과 중첩 곱
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 25
학습 자료와 연습 문제 준비 중
로그와 반복 절반 줄이기
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 26
학습 자료와 연습 문제 준비 중
다항·지수·팩토리얼 성장
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 27
학습 자료와 연습 문제 준비 중
점근 구간 전 crossover
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 28
학습 자료와 연습 문제 준비 중
best·average·worst case 분리
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 29
학습 자료와 연습 문제 준비 중
입력 family witness 구성
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 30
학습 자료와 연습 문제 준비 중
adversarial 입력 설계
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 31
학습 자료와 연습 문제 준비 중
회계식 상한 증명
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 32
학습 자료와 연습 문제 준비 중
정보량 기반 하한 직관
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 33
학습 자료와 연습 문제 준비 중
복잡도 전에 correctness invariant
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 34
학습 자료와 연습 문제 준비 중
재귀식과 귀납 검증
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 35
학습 자료와 연습 문제 준비 중
재귀 트리와 Master 경계
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 36
학습 자료와 연습 문제 준비 중
aggregate amortized 비용
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 37
학습 자료와 연습 문제 준비 중
실행 전 benchmark 가설
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 38
학습 자료와 연습 문제 준비 중
clock·warm-up·반복 설계
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 39
학습 자료와 연습 문제 준비 중
재현 가능한 입력 생성
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 40
학습 자료와 연습 문제 준비 중
setup과 측정 구간 분리
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 41
학습 자료와 연습 문제 준비 중
표본 분포와 outlier 읽기
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 42
학습 자료와 연습 문제 준비 중
분산과 신뢰 주장 경계
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 43
학습 자료와 연습 문제 준비 중
profiler와 benchmark 역할 분리
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 44
학습 자료와 연습 문제 준비 중
cache·JIT·GC·runtime 효과
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 45
학습 자료와 연습 문제 준비 중
log-log 기울기와 empirical exponent
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 숫자를 비교하는 그림 · 먼저 알면 좋은 수업 1개
- 46
학습 자료와 연습 문제 준비 중
입력·출력·보조 공간 분리
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 47
학습 자료와 연습 문제 준비 중
누적 할당보다 peak live memory
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 시간 순서 그림 · 먼저 알면 좋은 수업 1개
- 48
학습 자료와 연습 문제 준비 중
재귀 stack 공간
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 49
학습 자료와 연습 문제 준비 중
in-place와 mutation 비용
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 50
학습 자료와 연습 문제 준비 중
시간-공간 trade-off 판정
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 51
학습 자료와 연습 문제 준비 중
전처리와 query 손익분기
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 52
학습 자료와 연습 문제 준비 중
potential method 직관
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 53
학습 자료와 연습 문제 준비 중
I/O·network·energy 비용 모델
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 54
학습 자료와 연습 문제 준비 중
locality와 external-memory 직관
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 기억할 곳을 나눈 그림 · 먼저 알면 좋은 수업 1개
- 55
학습 자료와 연습 문제 준비 중
시간 제한을 연산 budget으로
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 56
학습 자료와 연습 문제 준비 중
메모리 제한을 byte budget으로
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 57
학습 자료와 연습 문제 준비 중
숨은 multiplier 감사
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 58
학습 자료와 연습 문제 준비 중
제약에서 복잡도 후보군 추리기
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 59
학습 자료와 연습 문제 준비 중
후보 semantics·비용 matrix
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 60
학습 자료와 연습 문제 준비 중
경계 반례 gate
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 61
학습 자료와 연습 문제 준비 중
언어·runtime constant 경계
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 62
학습 자료와 연습 문제 준비 중
부분 점수·언어 제약 해석
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 63
학습 자료와 연습 문제 준비 중
SLO·비용·energy 운영 판정
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 64
대표 체험 수업
중복 탐지 제약·비용·실측 관측소
8개 바로 풀 문제 · 자주 헷갈리는 곳 3개 · 직접 움직여 보는 그림 · 먼저 알면 좋은 수업 1개
- 65
학습 자료와 연습 문제 준비 중
AI 생성 복잡도 주장 감사
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 66
학습 자료와 연습 문제 준비 중
생성 코드와 독립 oracle
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 67
학습 자료와 연습 문제 준비 중
rating·tag를 숙련과 분리
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 68
학습 자료와 연습 문제 준비 중
topic plan을 간격 전이로 재설계
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 69
학습 자료와 연습 문제 준비 중
KOI subtask 제약 사다리
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 70
학습 자료와 연습 문제 준비 중
IOI 분석·ICPC 팀 문제해결 bridge
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 71
학습 자료와 연습 문제 준비 중
면접·자격 준비 claim 경계
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
- 72
학습 자료와 연습 문제 준비 중
증거 기반 알고리즘 결정 memo
8개 연습 문제 틀 · 자주 헷갈리는 곳 3개 · 한눈에 보는 그림 · 먼저 알면 좋은 수업 1개
마지막에 혼자 해 보는 도전
같은 중복 탐지 요구를 pairwise·sort-scan·hash-set·bitset으로 구현·모델링하고 scenario·strategy·scale 64-state에서 semantics, exact/expected/worst work, auxiliary space와 budget verdict를 연결한 constraint observatory와 결정 memo를 완성한다.
실제와 닮은 상황
작은 일회성 목록, 반복 query, bounded integer domain, collision·unhashable key·memory pressure가 섞인 synthetic workload를 비교하고 AI가 만든 O(n) 단정과 noisy benchmark를 독립 반례로 감사하는 검토 상황이다.
AI가 제안한 후보 알고리즘·복잡도 식·benchmark harness·설명을 claim 단위로 표시하고, AI 사용 전에 사람이 봉인한 semantics·expected count·반례와 AI 없이 통과한 transfer evidence를 별도 제출한다.
마지막에 완성할 것
- 문제 semantics·입력 차원·primitive operation·case·budget을 고정한 versioned contract
- 정상·경계·adversarial 입력 family의 exact/expected/worst operation count와 auxiliary·peak-space ledger
- 예측 전 봉인, 반복 측정 raw data, 환경 manifest, noise·constant·crossover 한계가 포함된 benchmark bundle
- CX64 여덟 공개 자기검토 명세, 독립 반례·AI claim audit와 accept·revise·reject human decision memo
다 했는지 확인하는 기준
- correctness·mutation·duplicate semantics를 성능보다 먼저 고정하고 후보가 같은 문제를 푸는지 반례로 검증한다.
- 입력 크기와 독립 차원 n·q·U·E·V를 구분하고 primitive operation, exact count와 asymptotic 상한·하한의 근거를 연결한다.
- average·worst·amortized case와 expected·observed 값을 섞지 않고 counterexample과 tightness witness를 제출한다.
- wall-clock을 pass threshold로 사용하지 않고 deterministic work·correctness를 gate로, 반복 timing은 환경이 고정된 비차단 관찰로만 사용한다.
- time·space·I/O·allocation·energy proxy와 budget을 함께 비교하고 작은 n의 crossover와 운영 위험을 결론 범위에 명시한다.
- CX64의 여덟 공개 자기검토 명세와 별도 hidden fixture 경계를 지키며 AI 없이 미공개 입력 family의 계산과 verdict를 방어한다.
- 외부 rating·tag·accepted·수료 기록을 대회·면접·자격 결과나 전체 알고리즘 숙련으로 확대하지 않는다.
