红绿灯配时问题的建模过程 — 数学选择题
题目
某路口周期为80 s，其中黄灯及全红时间共8 s；东西向、南北向绿灯时长分别记为x、y，且均不少于20 s。根据流量调查，两个方向的饱和度模型分别为30/x和40/y。管理目标是使两方向中较大的饱和度尽可能小。下列建模正确的是哪一项？
A. x+y=80，且使30/x+40/y最小 B. x+y=72，x≥20，y≥20，且使max{30/x，40/y}最小 C. x+y=72，x≥20，y≥20，且使min{30/x，40/y}最小 D. x+y=72，且使30x+40y最小