已知集合
若点 、 满足 且 ,则称点 优于 。如果集合 中的点 满足:不存在 中的其他点优于 ,则所有这样的点 构成的集合为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
“更优”是向左、向上的方向。
先排除圆盘内部及另外三个象限,再证明剩下的边界点不能继续改善。
记 。若圆盘内点的横坐标为正,反射到相反横坐标就给另一个更优点;若纵坐标为负,同理向上反射可改善。若点在西北闭象限、在圆盘内部且不为原点,沿原点射线放大到圆周,两坐标按要求改善;原点也被 优于。因此候选只可能在西北圆周。反过来,设 在该圆周,若 优于它,则 、,所以两坐标平方分别不减,而它们的平方和不能超过 。只能两坐标都相等,故不存在另一个优于它的点。所求集合为 。
两个轴端点 都保留;“优于”允许一坐标相等,但要求是另一个点,证明已利用这一点排除相同点的自比较。
偏序下的有效边界需分别证明其余点可改善和候选点不可改善,不能只凭圆周直观。
偏序有效点须同时证明其余点可向指定方向改善和候选边界不可改善,并保留坐标轴上的极端点。
核心工具:消元后再验证可取到
已记下,谢谢!