1차원 압축은 메모리를 줄이지만 선택 경로와 디버깅 단서를 잃을 수 있으므로 요구사항을 먼저 고정합니다.
정답 값과 선택 경로를 먼저 안정적으로 맞춥니다.
값만 필요하면 의존 행을 분석해 메모리를 줄입니다.
선택 목록이 필요하면 압축 전에 추적 정보를 설계합니다.
작은 입력에서 중간 상태를 찍어 전이식을 손검증합니다.