编程基础-约束条件分析