用于时空权衡算法的简单多边形新平衡细分

给定用于输入的只读存储器和用于输出的只写流。对于正整数参数 $s$，$s$-工作空间算法是除输入存储器外仅使用 $O(s)$ 个字工作空间的算法。本文提出了一种 $O(n^2/s)$ 时间 $s$-工作空间算法，将简单多边形细分为 $O(\min\{n/s,s\})$ 个复杂度为 $O(\max\{n/s,s\})$ 的子多边形。作为该细分的应用，先前已知的以下三个几何问题的时空权衡立即得到改进：(1) 计算简单 $n$-边形内两点间的最短路径，(2) 计算简单 $n$-边形内一点的最短路径树，(3) 计算简单 $n$-边形的三角剖分。此外，我们进一步改进了第二个问题的算法。