摘要：有效构造非支配解集可加快Pareto前沿的求解速度,提升多目标决策的质量和效率.在非支配解定义和性质分析基础上,推导出支配关系传递性引理,非支配解集构造定理及引理,并据此提出一种基于性质定理的非支配解集构造方法.基于所提方法,分析其循环次数和比较次数,推导出在最坏情况下能算出确定值的复杂度计算公式.最后证明该方法的正确性与完备性,分析最坏情形下其构造集的结构特征,并通过ZDT1~ZDT3测试函数进行检验.结果表明：所提方法比排除法和选举法的计算复杂度更低,构造速度更快.

关键词：多目标决策 pareto非支配解 构造方法 复杂度 

单位：华中科技大学数字制造装备与技术国家重点实验室 武汉430074 武汉科技大学管理学院 武汉430081 武汉科技大学机械学院 武汉430081 武汉科技大学理学院 武汉430081