1323.3 비용 기반 최적화의 이론적 기초