满足ε邻近性与包含约束的多边形简化方法咨询

我有一个包含 $N$ 个点的多边形 $P$，具体可表示为：
$$
P = { p_1, p_2, \dots, p_N }
$$

我想找一种通过移除点来简化这个多边形的方法，思路类似Ramer-Douglas-Peucker算法，但需要满足两个关键约束：

• ε邻近性：原多边形 $P$ 中的任意点 $p_i \in P$，到简化后多边形 $P_s$ 边界的距离必须不超过 $\epsilon$。
• 包含约束：原多边形 $P$ 中的任意点 $p_i \in P$，必须位于简化后多边形 $P_s$ 的内部或者边界上。

第一条约束就是Douglas-Peucker算法的经典要求，第二条是我额外需要的约束条件。

备注：内容来源于stack exchange，提问作者bradgonesurfing