{"title":"莫尔斯匹配的参数化不可逼近性","authors":"Ulrich Bauer , Abhishek Rathod","doi":"10.1016/j.comgeo.2024.102148","DOIUrl":null,"url":null,"abstract":"<div><div>We study the problem of minimizing the number of critical simplices from the point of view of inapproximability and parameterized complexity. We first show inapproximability of <span>Min-Morse Matching</span> within a factor of <span><math><msup><mrow><mn>2</mn></mrow><mrow><msup><mrow><mi>log</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>ϵ</mi><mo>)</mo></mrow></msup><mo></mo><mi>n</mi></mrow></msup></math></span>. Our second result shows that <span>Min-Morse Matching</span> is <span><math><mi>W</mi><mo>[</mo><mi>P</mi><mo>]</mo></math></span>-hard with respect to the standard parameter. Next, we show that <span>Min-Morse Matching</span> with standard parameterization has no FPT approximation algorithm for <em>any</em> approximation factor <em>ρ</em>. The above hardness results are applicable to complexes of dimension ≥2.</div><div>On the positive side, we provide a factor <span><math><mi>O</mi><mo>(</mo><mfrac><mrow><mi>n</mi></mrow><mrow><mi>log</mi><mo></mo><mi>n</mi></mrow></mfrac><mo>)</mo></math></span> approximation algorithm for <span>Min-Morse Matching</span> on 2-complexes, noting that no such algorithm is known for higher dimensional complexes. Finally, we devise discrete gradients with very few critical simplices for typical instances drawn from a fairly wide range of parameter values of the Costa–Farber model of random complexes.</div></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"126 ","pages":"Article 102148"},"PeriodicalIF":0.4000,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Parameterized inapproximability of Morse matching\",\"authors\":\"Ulrich Bauer , Abhishek Rathod\",\"doi\":\"10.1016/j.comgeo.2024.102148\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>We study the problem of minimizing the number of critical simplices from the point of view of inapproximability and parameterized complexity. We first show inapproximability of <span>Min-Morse Matching</span> within a factor of <span><math><msup><mrow><mn>2</mn></mrow><mrow><msup><mrow><mi>log</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>ϵ</mi><mo>)</mo></mrow></msup><mo></mo><mi>n</mi></mrow></msup></math></span>. Our second result shows that <span>Min-Morse Matching</span> is <span><math><mi>W</mi><mo>[</mo><mi>P</mi><mo>]</mo></math></span>-hard with respect to the standard parameter. Next, we show that <span>Min-Morse Matching</span> with standard parameterization has no FPT approximation algorithm for <em>any</em> approximation factor <em>ρ</em>. The above hardness results are applicable to complexes of dimension ≥2.</div><div>On the positive side, we provide a factor <span><math><mi>O</mi><mo>(</mo><mfrac><mrow><mi>n</mi></mrow><mrow><mi>log</mi><mo></mo><mi>n</mi></mrow></mfrac><mo>)</mo></math></span> approximation algorithm for <span>Min-Morse Matching</span> on 2-complexes, noting that no such algorithm is known for higher dimensional complexes. Finally, we devise discrete gradients with very few critical simplices for typical instances drawn from a fairly wide range of parameter values of the Costa–Farber model of random complexes.</div></div>\",\"PeriodicalId\":51001,\"journal\":{\"name\":\"Computational Geometry-Theory and Applications\",\"volume\":\"126 \",\"pages\":\"Article 102148\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2024-10-30\",\"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/S0925772124000701\",\"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/S0925772124000701","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
We study the problem of minimizing the number of critical simplices from the point of view of inapproximability and parameterized complexity. We first show inapproximability of Min-Morse Matching within a factor of . Our second result shows that Min-Morse Matching is -hard with respect to the standard parameter. Next, we show that Min-Morse Matching with standard parameterization has no FPT approximation algorithm for any approximation factor ρ. The above hardness results are applicable to complexes of dimension ≥2.
On the positive side, we provide a factor approximation algorithm for Min-Morse Matching on 2-complexes, noting that no such algorithm is known for higher dimensional complexes. Finally, we devise discrete gradients with very few critical simplices for typical instances drawn from a fairly wide range of parameter values of the Costa–Farber model of random complexes.
期刊介绍:
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.