最小构造模型约束