feat(v2): 알고리즘 분류 N:M 정션 — problems.algorithm → problem_algorithms (계약 v3.0)

[LsMin124]

요약

백엔드 알고리즘 분류 필터링이 합성 기법(composition)까지 가져가려면 문제당 다중 알고리즘이 필요. 기존 problems.algorithm 스칼라는 코어(reduction_core) 1개만 담아, P2 합성 문제의 합성 기법이 internal_meta JSONB 안에만 갇혀 필터 불가였음. → N:M 정션 테이블로 교체 (계약 v3.0, breaking).

동기

• 스칼라 problems.algorithm = 코어 1개 → "segtree 들어간 문제" 필터 시 segtree가 합성인 P2 문제 누락.
• composition 은 tuple[TargetAlgorithm, ...](blueprint.py) — 코어와 동일 19종 enum → 정션 어휘 일관.

변경

영역	변경
schema.py	problem_algorithms(problem_id, algorithm, role) 추가(복합 PK + algorithm 인덱스), problems.algorithm 제거
persistence.py	적재 시 코어(role='core')+합성(role='composition') 행 생성, 코어=합성 중복 PK 회피
difficulty.py	_row_to_package 가 internal_meta.hidden_algorithm 읽도록(제거 컬럼 의존 해소)
migration 0004	정션 생성 + internal_meta(jsonb)에서 코어/합성 백필 + problems.algorithm drop
계약 v3.0	contract/db-access/deploy 3 문서 동기화 + §7 변경이력

백엔드 필터 쿼리 예시

SELECT DISTINCT p.id, p.title FROM problems p
JOIN problem_algorithms pa ON pa.problem_id = p.id
WHERE pa.algorithm = 'segtree' AND p.status = 'published';

검증

• pytest 762 passed, 4 skipped / mypy --strict 91 files Success / ruff green
• 신규 테스트: 코어+합성 3행 적재 / P1(합성 없음) 코어 1행
• 패키지 형상(meta.hidden_algorithm/composition) 불변 — DB 적재 형상만 변경
• 정션 어휘 = TargetAlgorithm 19종(코어=합성 동일)

비고

• v3.0 major (breaking): 계약 규칙 "제거/의미 변경 = major". 백엔드 미연동 시점이라 단독 반영(소비자 없음).
• 사용자 결정: 스칼라 교체(정션 단일 소스) / 차원(카테고리) 테이블은 보류(YAGNI).
• 머지 후 듀얼 remote(SSAFY-TEAM-LYL/Problem-Generator) 동기화 예정.