The flip graph for a set $P$ of points in the plane has a vertex for every triangulation of $P$, and an edge when two triangulations differ by one flip that replaces one triangulation edge by another. The flip graph is known to have some connectivity properties: (1) the flip graph is connected; (2) connectivity still holds when restricted to triangulations containing some constrained edges between the points; (3) for $P$ in general position of size $n$, the flip graph is $\lceil \frac{n}{2} -2 \rceil$-connected, a recent result of Wagner and Welzl (SODA 2020). We introduce the study of connectivity properties of the flip graph when some edges between points are forbidden. An edge $e$ between two points is a flip cut edge if eliminating triangulations containing $e$ results in a disconnected flip graph. More generally, a set $X$ of edges between points of $P$ is a flip cut set if eliminating all triangulations that contain edges of $X$ results in a disconnected flip graph. The flip cut number of $P$ is the minimum size of a flip cut set. We give a characterization of flip cut edges that leads to an $O(n \log n)$ time algorithm to test if an edge is a flip cut edge and, with that as preprocessing, an $O(n)$ time algorithm to test if two triangulations are in the same connected component of the flip graph. For a set of $n$ points in convex position (whose flip graph is the 1-skeleton of the associahedron) we prove that the flip cut number is $n-3$.
翻译:平面上一组点数的翻转图为 $P 。 平面上一组点数的翻转图为 $P, 每三角组数的顶点为 $P, 当两个三角组数因一个翻转而换成另一个三角组数而不同时的边缘值。 已知的翻转图有一些连接属性:(1) 翻转图已连接; (2) 当限制在点数之间包含一些限制边缘的三角组数时, 连通性仍维持着; (3) 一般大小为 美元, 平面图为 $lc 的平面值为 $lFlicel( flicelilcial) - 2\ rceleal $rcal un 连接值, 这是Wagner 和 Welzlzlx 的最近结果, 在点数为 美元平面平面的平面平面图中, 平面的平面上的平面值为 美元。