분할 정복과 동적 프로그래밍을 위한 분석적 프레임워크