Arun Kumar Das , Sandip Das , Guilherme D. da Fonseca , Yan Gerard , Bastien Rivier
{"title":"Complexity results on untangling red-blue matchings","authors":"Arun Kumar Das , Sandip Das , Guilherme D. da Fonseca , Yan Gerard , Bastien Rivier","doi":"10.1016/j.comgeo.2022.101974","DOIUrl":null,"url":null,"abstract":"<div><p>Given a matching between <em>n</em> red points and <em>n</em> blue points by line segments in the plane, we consider the problem of obtaining a crossing-free matching through flip operations that replace two crossing segments by two non-crossing ones. We first show that (i) it is NP-hard to <em>α</em>-approximate the shortest flip sequence, for any constant <em>α</em><span>. Second, we show that when the red points are collinear, (ii) given a matching, a flip sequence of length at most </span><span><math><mo>(</mo><mtable><mtr><mtd><mi>n</mi></mtd></mtr><mtr><mtd><mn>2</mn></mtd></mtr></mtable><mo>)</mo></math></span> always exists, and (iii) the number of flips in any sequence never exceeds <span><math><mrow><mo>(</mo><mtable><mtr><mtd><mi>n</mi></mtd></mtr><mtr><mtd><mn>2</mn></mtd></mtr></mtable><mo>)</mo></mrow><mfrac><mrow><mi>n</mi><mo>+</mo><mn>4</mn></mrow><mrow><mn>6</mn></mrow></mfrac></math></span>. Finally, we present (iv) a lower bounding flip sequence with roughly <span><math><mn>1.5</mn><mrow><mo>(</mo><mtable><mtr><mtd><mi>n</mi></mtd></mtr><mtr><mtd><mn>2</mn></mtd></mtr></mtable><mo>)</mo></mrow></math></span> flips, which shows that the <span><math><mo>(</mo><mtable><mtr><mtd><mi>n</mi></mtd></mtr><mtr><mtd><mn>2</mn></mtd></mtr></mtable><mo>)</mo></math></span> flips attained in the convex case are not the maximum, and (v) a convex matching from which any flip sequence has roughly <span><math><mn>1.5</mn><mspace></mspace><mi>n</mi></math></span> flips. The last four results, based on novel analyses, improve the constants of state-of-the-art bounds.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"111 ","pages":"Article 101974"},"PeriodicalIF":0.4000,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computational Geometry-Theory and Applications","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0925772122001171","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Given a matching between n red points and n blue points by line segments in the plane, we consider the problem of obtaining a crossing-free matching through flip operations that replace two crossing segments by two non-crossing ones. We first show that (i) it is NP-hard to α-approximate the shortest flip sequence, for any constant α. Second, we show that when the red points are collinear, (ii) given a matching, a flip sequence of length at most always exists, and (iii) the number of flips in any sequence never exceeds . Finally, we present (iv) a lower bounding flip sequence with roughly flips, which shows that the flips attained in the convex case are not the maximum, and (v) a convex matching from which any flip sequence has roughly flips. The last four results, based on novel analyses, improve the constants of state-of-the-art bounds.
期刊介绍:
Computational Geometry is a forum for research in theoretical and applied aspects of computational geometry. The journal publishes fundamental research in all areas of the subject, as well as disseminating information on the applications, techniques, and use of computational geometry. Computational Geometry publishes articles on the design and analysis of geometric algorithms. All aspects of computational geometry are covered, including the numerical, graph theoretical and combinatorial aspects. Also welcomed are computational geometry solutions to fundamental problems arising in computer graphics, pattern recognition, robotics, image processing, CAD-CAM, VLSI design and geographical information systems.
Computational Geometry features a special section containing open problems and concise reports on implementations of computational geometry tools.