Mar, 2024

统一和认证高质量规划

TL;DR这篇论文将现有的定义统一为一种基于支配关系的定义,证明了不同的计算问题实际上对应于不同的支配关系,提出了一种有效证明各种高质量规划问题的方法,并提出了一种新的转化方法以有效证明无循环的高质量规划。