13.6 완화(Relaxation) 연산의 정의와 최적 부분 구조 증명