{"title":"动态欧氏瓶颈匹配","authors":"","doi":"10.1016/j.tcs.2024.114727","DOIUrl":null,"url":null,"abstract":"<div><p>A fundamental question in computational geometry is for a set of input points in the Euclidean space, that is subject to discrete changes (insertion/deletion of points at each time step), whether it is possible to maintain an exact/approximate minimum weight perfect matching and/or bottleneck matching (a perfect matching that minimizes the length of the longest matched edge), in sublinear update time. In this work, we answer this question in the affirmative for points on a real line and for points in the plane with a bounded geometric spread.</p><p>For a set <em>P</em> of <em>n</em> points on a line, we show that there exists a dynamic algorithm that maintains an exact bottleneck matching of <em>P</em> and supports insertion and deletion in <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time. Moreover, we show that a modified version of this algorithm maintains an exact minimum-weight perfect matching with <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> update (insertion and deletion) time. Next, for a set <em>P</em> of <em>n</em> points in the plane, we show that a (<span><math><mn>6</mn><msqrt><mrow><mn>2</mn></mrow></msqrt></math></span>)-factor approximate bottleneck matching of <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>, at each time step <em>k</em>, can be maintained in <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>Δ</mi><mo>)</mo></math></span> amortized time per insertion and <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>Δ</mi><mo>+</mo><mo>|</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>|</mo><mo>)</mo></math></span> amortized time per deletion, where Δ is the geometric spread of <em>P</em> (the ratio between the diameter of <em>P</em> and the distance between the closest pair of points in <em>P</em>).</p></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.9000,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Dynamic Euclidean bottleneck matching\",\"authors\":\"\",\"doi\":\"10.1016/j.tcs.2024.114727\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>A fundamental question in computational geometry is for a set of input points in the Euclidean space, that is subject to discrete changes (insertion/deletion of points at each time step), whether it is possible to maintain an exact/approximate minimum weight perfect matching and/or bottleneck matching (a perfect matching that minimizes the length of the longest matched edge), in sublinear update time. In this work, we answer this question in the affirmative for points on a real line and for points in the plane with a bounded geometric spread.</p><p>For a set <em>P</em> of <em>n</em> points on a line, we show that there exists a dynamic algorithm that maintains an exact bottleneck matching of <em>P</em> and supports insertion and deletion in <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time. Moreover, we show that a modified version of this algorithm maintains an exact minimum-weight perfect matching with <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> update (insertion and deletion) time. Next, for a set <em>P</em> of <em>n</em> points in the plane, we show that a (<span><math><mn>6</mn><msqrt><mrow><mn>2</mn></mrow></msqrt></math></span>)-factor approximate bottleneck matching of <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>, at each time step <em>k</em>, can be maintained in <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>Δ</mi><mo>)</mo></math></span> amortized time per insertion and <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>Δ</mi><mo>+</mo><mo>|</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>|</mo><mo>)</mo></math></span> amortized time per deletion, where Δ is the geometric spread of <em>P</em> (the ratio between the diameter of <em>P</em> and the distance between the closest pair of points in <em>P</em>).</p></div>\",\"PeriodicalId\":49438,\"journal\":{\"name\":\"Theoretical Computer Science\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-07-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Theoretical Computer Science\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S030439752400344X\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S030439752400344X","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
A fundamental question in computational geometry is for a set of input points in the Euclidean space, that is subject to discrete changes (insertion/deletion of points at each time step), whether it is possible to maintain an exact/approximate minimum weight perfect matching and/or bottleneck matching (a perfect matching that minimizes the length of the longest matched edge), in sublinear update time. In this work, we answer this question in the affirmative for points on a real line and for points in the plane with a bounded geometric spread.
For a set P of n points on a line, we show that there exists a dynamic algorithm that maintains an exact bottleneck matching of P and supports insertion and deletion in time. Moreover, we show that a modified version of this algorithm maintains an exact minimum-weight perfect matching with update (insertion and deletion) time. Next, for a set P of n points in the plane, we show that a ()-factor approximate bottleneck matching of , at each time step k, can be maintained in amortized time per insertion and amortized time per deletion, where Δ is the geometric spread of P (the ratio between the diameter of P and the distance between the closest pair of points in P).
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.