English

Flip Distance to some Plane Configurations

Computational Geometry 2019-05-03 v1 Discrete Mathematics

Abstract

We study an old geometric optimization problem in the plane. Given a perfect matching MM on a set of nn points in the plane, we can transform it to a non-crossing perfect matching by a finite sequence of flip operations. The flip operation removes two crossing edges from MM and adds two non-crossing edges. Let f(M)f(M) and F(M)F(M) denote the minimum and maximum lengths of a flip sequence on MM, respectively. It has been proved by Bonnet and Miltzow (2016) that f(M)=O(n2)f(M)=O(n^2) and by van Leeuwen and Schoone (1980) that F(M)=O(n3)F(M)=O(n^3). We prove that f(M)=O(nΔ)f(M)=O(n\Delta) where Δ\Delta is the spread of the point set, which is defined as the ratio between the longest and the shortest pairwise distances. This improves the previous bound if the point set has sublinear spread. For a matching MM on nn points in convex position we prove that f(M)=n/21f(M)=n/2-1 and F(M)=(n/22)F(M)={{n/2} \choose 2}; these bounds are tight. Any bound on F()F(\cdot) carries over to the bichromatic setting, while this is not necessarily true for f()f(\cdot). Let MM' be a bichromatic matching. The best known upper bound for f(M)f(M') is the same as for F(M)F(M'), which is essentially O(n3)O(n^3). We prove that f(M)n2f(M')\le n-2 for points in convex position, and f(M)=O(n2)f(M')= O(n^2) for semi-collinear points. The flip operation can also be defined on spanning trees. For a spanning tree TT on a convex point set we show that f(T)=O(nlogn)f(T)=O(n\log n).

Keywords

Cite

@article{arxiv.1905.00791,
  title  = {Flip Distance to some Plane Configurations},
  author = {Ahmad Biniaz and Anil Maheshwari and Michiel Smid},
  journal= {arXiv preprint arXiv:1905.00791},
  year   = {2019}
}

Comments

15 pages, a preliminary version appeared in SWAT 2018

R2 v1 2026-06-23T08:55:19.624Z