{"title":"用矩形覆盖简单正交多边形","authors":"Aniket Basu Roy","doi":"arxiv-2406.16209","DOIUrl":null,"url":null,"abstract":"We study the problem of Covering Orthogonal Polygons with Rectangles. For\npolynomial-time algorithms, the best-known approximation factor is\n$O(\\sqrt{\\log n})$ when the input polygon may have holes [Kumar and Ramesh,\nSTOC '99, SICOMP '03], and there is a $2$-factor approximation algorithm known\nwhen the polygon is hole-free [Franzblau, SIDMA '89]. Arguably, an easier\nproblem is the Boundary Cover problem where we are interested in covering only\nthe boundary of the polygon in contrast to the original problem where we are\ninterested in covering the interior of the polygon, hence it is also referred\nas the Interior Cover problem. For the Boundary Cover problem, a $4$-factor\napproximation algorithm is known to exist and it is APX-hard when the polygon\nhas holes [Berman and DasGupta, Algorithmica '94]. In this work, we investigate how effective is local search algorithm for the\nabove covering problems on simple polygons. We prove that a simple local search\nalgorithm yields a PTAS for the Boundary Cover problem when the polygon is\nsimple. Our proof relies on the existence of planar supports on appropriate\nhypergraphs defined on the Boundary Cover problem instance. On the other hand,\nwe construct instances where support graphs for the Interior Cover problem have\narbitrarily large bicliques, thus implying that the same local search technique\ncannot yield a PTAS for this problem. We also show large locality gap for its\ndual problem, namely the Maximum Antirectangle problem.","PeriodicalId":501570,"journal":{"name":"arXiv - CS - Computational Geometry","volume":"79 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Covering Simple Orthogonal Polygons with Rectangles\",\"authors\":\"Aniket Basu Roy\",\"doi\":\"arxiv-2406.16209\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study the problem of Covering Orthogonal Polygons with Rectangles. For\\npolynomial-time algorithms, the best-known approximation factor is\\n$O(\\\\sqrt{\\\\log n})$ when the input polygon may have holes [Kumar and Ramesh,\\nSTOC '99, SICOMP '03], and there is a $2$-factor approximation algorithm known\\nwhen the polygon is hole-free [Franzblau, SIDMA '89]. Arguably, an easier\\nproblem is the Boundary Cover problem where we are interested in covering only\\nthe boundary of the polygon in contrast to the original problem where we are\\ninterested in covering the interior of the polygon, hence it is also referred\\nas the Interior Cover problem. For the Boundary Cover problem, a $4$-factor\\napproximation algorithm is known to exist and it is APX-hard when the polygon\\nhas holes [Berman and DasGupta, Algorithmica '94]. In this work, we investigate how effective is local search algorithm for the\\nabove covering problems on simple polygons. We prove that a simple local search\\nalgorithm yields a PTAS for the Boundary Cover problem when the polygon is\\nsimple. Our proof relies on the existence of planar supports on appropriate\\nhypergraphs defined on the Boundary Cover problem instance. On the other hand,\\nwe construct instances where support graphs for the Interior Cover problem have\\narbitrarily large bicliques, thus implying that the same local search technique\\ncannot yield a PTAS for this problem. We also show large locality gap for its\\ndual problem, namely the Maximum Antirectangle problem.\",\"PeriodicalId\":501570,\"journal\":{\"name\":\"arXiv - CS - Computational Geometry\",\"volume\":\"79 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Computational Geometry\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2406.16209\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Computational Geometry","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2406.16209","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Covering Simple Orthogonal Polygons with Rectangles
We study the problem of Covering Orthogonal Polygons with Rectangles. For
polynomial-time algorithms, the best-known approximation factor is
$O(\sqrt{\log n})$ when the input polygon may have holes [Kumar and Ramesh,
STOC '99, SICOMP '03], and there is a $2$-factor approximation algorithm known
when the polygon is hole-free [Franzblau, SIDMA '89]. Arguably, an easier
problem is the Boundary Cover problem where we are interested in covering only
the boundary of the polygon in contrast to the original problem where we are
interested in covering the interior of the polygon, hence it is also referred
as the Interior Cover problem. For the Boundary Cover problem, a $4$-factor
approximation algorithm is known to exist and it is APX-hard when the polygon
has holes [Berman and DasGupta, Algorithmica '94]. In this work, we investigate how effective is local search algorithm for the
above covering problems on simple polygons. We prove that a simple local search
algorithm yields a PTAS for the Boundary Cover problem when the polygon is
simple. Our proof relies on the existence of planar supports on appropriate
hypergraphs defined on the Boundary Cover problem instance. On the other hand,
we construct instances where support graphs for the Interior Cover problem have
arbitrarily large bicliques, thus implying that the same local search technique
cannot yield a PTAS for this problem. We also show large locality gap for its
dual problem, namely the Maximum Antirectangle problem.