Carla Binucci, Walter Didimo, Fabrizio Montecchiani
{"title":"1-平面性检验与嵌入:实验研究","authors":"Carla Binucci, Walter Didimo, Fabrizio Montecchiani","doi":"10.1016/j.comgeo.2022.101900","DOIUrl":null,"url":null,"abstract":"<div><p>Many papers study the natural problem of drawing nonplanar graphs with few crossings per edge. In particular, a graph is 1-planar if it can be drawn in the plane with at most one crossing per edge. Unfortunately, while testing graph planarity<span> is solvable in linear time and several efficient algorithms have been described in the literature, deciding whether a graph is 1-planar is NP-complete, even for restricted classes of graphs. Despite some polynomial-time algorithms are known for recognizing specific subfamilies of 1-planar graphs, there is still a lack of practical 1-planarity testing algorithms and no implementation is available for general graphs. This paper investigates the feasibility of a 1-planarity testing and embedding algorithm based on a backtracking strategy. Our contribution provides initial indications that have the potential to stimulate further research on the design of practical approaches for the 1-planarity testing problem. On the one hand, our experiments show that a backtracking strategy can be successfully applied to graphs with up to 30 vertices. On the other hand, our study suggests that alternative techniques are needed to attack larger graphs.</span></p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"1-planarity testing and embedding: An experimental study\",\"authors\":\"Carla Binucci, Walter Didimo, Fabrizio Montecchiani\",\"doi\":\"10.1016/j.comgeo.2022.101900\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Many papers study the natural problem of drawing nonplanar graphs with few crossings per edge. In particular, a graph is 1-planar if it can be drawn in the plane with at most one crossing per edge. Unfortunately, while testing graph planarity<span> is solvable in linear time and several efficient algorithms have been described in the literature, deciding whether a graph is 1-planar is NP-complete, even for restricted classes of graphs. Despite some polynomial-time algorithms are known for recognizing specific subfamilies of 1-planar graphs, there is still a lack of practical 1-planarity testing algorithms and no implementation is available for general graphs. This paper investigates the feasibility of a 1-planarity testing and embedding algorithm based on a backtracking strategy. Our contribution provides initial indications that have the potential to stimulate further research on the design of practical approaches for the 1-planarity testing problem. On the one hand, our experiments show that a backtracking strategy can be successfully applied to graphs with up to 30 vertices. On the other hand, our study suggests that alternative techniques are needed to attack larger graphs.</span></p></div>\",\"PeriodicalId\":51001,\"journal\":{\"name\":\"Computational Geometry-Theory and Applications\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-01-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/S0925772122000438\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computational Geometry-Theory and Applications","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0925772122000438","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
1-planarity testing and embedding: An experimental study
Many papers study the natural problem of drawing nonplanar graphs with few crossings per edge. In particular, a graph is 1-planar if it can be drawn in the plane with at most one crossing per edge. Unfortunately, while testing graph planarity is solvable in linear time and several efficient algorithms have been described in the literature, deciding whether a graph is 1-planar is NP-complete, even for restricted classes of graphs. Despite some polynomial-time algorithms are known for recognizing specific subfamilies of 1-planar graphs, there is still a lack of practical 1-planarity testing algorithms and no implementation is available for general graphs. This paper investigates the feasibility of a 1-planarity testing and embedding algorithm based on a backtracking strategy. Our contribution provides initial indications that have the potential to stimulate further research on the design of practical approaches for the 1-planarity testing problem. On the one hand, our experiments show that a backtracking strategy can be successfully applied to graphs with up to 30 vertices. On the other hand, our study suggests that alternative techniques are needed to attack larger graphs.
期刊介绍:
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.