{"title":"单位圆盘图中L1最短路径的一种优化算法","authors":"Haitao Wang, Yiming Zhao","doi":"10.1016/j.comgeo.2022.101960","DOIUrl":null,"url":null,"abstract":"<div><p>A unit-disk graph <span><math><mi>G</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span> of a set <em>P</em> of points in the plane is a graph with <em>P</em> as its vertex set such that two points of <em>P</em> are connected by an edge if the distance between the two points is at most 1 and the weight of the edge is equal to the distance of the two points. Given <em>P</em> and a source point <span><math><mi>s</mi><mo>∈</mo><mi>P</mi></math></span>, we consider the problem of finding shortest paths in <span><math><mi>G</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span> from <em>s</em> to all other vertices of <span><math><mi>G</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span>. In the <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> case where the distance is measured by the <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> metric, the problem has been extensively studied and the current best algorithm runs in <span><math><mi>O</mi><mo>(</mo><mi>n</mi><msup><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msup><mo></mo><mi>n</mi><mo>)</mo></math></span> time, with <span><math><mi>n</mi><mo>=</mo><mo>|</mo><mi>P</mi><mo>|</mo></math></span>. In this paper, we study the <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> case in which the distance is measured under the <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> metric (and each disk becomes a diamond); we present an <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time algorithm, which matches the <span><math><mi>Ω</mi><mo>(</mo><mi>n</mi><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span>-time lower bound.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"110 ","pages":"Article 101960"},"PeriodicalIF":0.4000,"publicationDate":"2023-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"An optimal algorithm for L1 shortest paths in unit-disk graphs\",\"authors\":\"Haitao Wang, Yiming Zhao\",\"doi\":\"10.1016/j.comgeo.2022.101960\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>A unit-disk graph <span><math><mi>G</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span> of a set <em>P</em> of points in the plane is a graph with <em>P</em> as its vertex set such that two points of <em>P</em> are connected by an edge if the distance between the two points is at most 1 and the weight of the edge is equal to the distance of the two points. Given <em>P</em> and a source point <span><math><mi>s</mi><mo>∈</mo><mi>P</mi></math></span>, we consider the problem of finding shortest paths in <span><math><mi>G</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span> from <em>s</em> to all other vertices of <span><math><mi>G</mi><mo>(</mo><mi>P</mi><mo>)</mo></math></span>. In the <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> case where the distance is measured by the <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> metric, the problem has been extensively studied and the current best algorithm runs in <span><math><mi>O</mi><mo>(</mo><mi>n</mi><msup><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msup><mo></mo><mi>n</mi><mo>)</mo></math></span> time, with <span><math><mi>n</mi><mo>=</mo><mo>|</mo><mi>P</mi><mo>|</mo></math></span>. In this paper, we study the <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> case in which the distance is measured under the <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> metric (and each disk becomes a diamond); we present an <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time algorithm, which matches the <span><math><mi>Ω</mi><mo>(</mo><mi>n</mi><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span>-time lower bound.</p></div>\",\"PeriodicalId\":51001,\"journal\":{\"name\":\"Computational Geometry-Theory and Applications\",\"volume\":\"110 \",\"pages\":\"Article 101960\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-03-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computational Geometry-Theory and Applications\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0925772122001031\",\"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/S0925772122001031","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
An optimal algorithm for L1 shortest paths in unit-disk graphs
A unit-disk graph of a set P of points in the plane is a graph with P as its vertex set such that two points of P are connected by an edge if the distance between the two points is at most 1 and the weight of the edge is equal to the distance of the two points. Given P and a source point , we consider the problem of finding shortest paths in from s to all other vertices of . In the case where the distance is measured by the metric, the problem has been extensively studied and the current best algorithm runs in time, with . In this paper, we study the case in which the distance is measured under the metric (and each disk becomes a diamond); we present an time algorithm, which matches the -time lower bound.
期刊介绍:
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.