1323.4 시간 기반 최적화의 이론적 기초