Raghunath Reddy Madireddy , Subhas C. Nandy , Supantha Pandit
{"title":"On the geometric red-blue set cover problem","authors":"Raghunath Reddy Madireddy , Subhas C. Nandy , Supantha Pandit","doi":"10.1016/j.tcs.2025.115089","DOIUrl":null,"url":null,"abstract":"<div><div>Using various geometric objects, we study variations of the geometric Red-Blue Set Cover (<em>RBSC</em>) problem in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>. Here, given two sets <em>R</em> and <em>B</em> of points, called red and blue points, respectively, and a set <em>O</em> of objects, the objective is to compute a subset <span><math><msup><mrow><mi>O</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>⊆</mo><mi>O</mi></math></span> of objects such that <span><math><msup><mrow><mi>O</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> covers all the blue points in <em>B</em> and covers the minimum number of red points in <em>R</em>. We show that the <em>RBSC</em> problem with intervals on the real line is polynomial-time solvable. In <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>, the problem admits a polynomial-time algorithm for a particular case of axis-parallel lines when no two lines intersect at a red point. However, if the objects are horizontal lines and vertical segments, the problem becomes <span><math><mi>NP</mi></math></span>-hard. It remains <span><math><mi>NP</mi></math></span>-hard for axis-parallel unit length segments distributed arbitrarily in the plane. The problem is <span><math><mi>NP</mi></math></span>-hard for the axis-parallel rectangles even when (i) each rectangle in <em>O</em> is anchored at one of the given two parallel lines, and (ii) a horizontal line intersects all the rectangles in <em>O</em>.</div><div>We show a variation of <em>RBSC</em>, called <em>Special Red Blue Set Cover</em> (<em>SPECIAL-RBSC</em>), to be <span><math><mi>APX</mi></math></span>-hard. Next, we use this result to show <span><math><mi>APX</mi></math></span>-hardness of the following geometric variations of <em>RBSC</em> problem in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> where the objects are (i) axis-parallel rectangles containing the origin, (ii) axis-parallel strips, (iii) axis-parallel rectangles that are intersecting exactly zero or four times, (iv) axis-parallel line segments, and (v) downward shadows of line segments, by providing the encoding of these problems as the Special Red Blue Set Cover problem. These <span><math><mi>APX</mi></math></span>-hardness results are in the same line of work by Chan and Grant (2014), who provided the <span><math><mi>APX</mi></math></span>-hardness results for the geometric set cover problem for the above classes of objects.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1033 ","pages":"Article 115089"},"PeriodicalIF":0.9000,"publicationDate":"2025-01-30","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/S0304397525000271","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
Using various geometric objects, we study variations of the geometric Red-Blue Set Cover (RBSC) problem in . Here, given two sets R and B of points, called red and blue points, respectively, and a set O of objects, the objective is to compute a subset of objects such that covers all the blue points in B and covers the minimum number of red points in R. We show that the RBSC problem with intervals on the real line is polynomial-time solvable. In , the problem admits a polynomial-time algorithm for a particular case of axis-parallel lines when no two lines intersect at a red point. However, if the objects are horizontal lines and vertical segments, the problem becomes -hard. It remains -hard for axis-parallel unit length segments distributed arbitrarily in the plane. The problem is -hard for the axis-parallel rectangles even when (i) each rectangle in O is anchored at one of the given two parallel lines, and (ii) a horizontal line intersects all the rectangles in O.
We show a variation of RBSC, called Special Red Blue Set Cover (SPECIAL-RBSC), to be -hard. Next, we use this result to show -hardness of the following geometric variations of RBSC problem in where the objects are (i) axis-parallel rectangles containing the origin, (ii) axis-parallel strips, (iii) axis-parallel rectangles that are intersecting exactly zero or four times, (iv) axis-parallel line segments, and (v) downward shadows of line segments, by providing the encoding of these problems as the Special Red Blue Set Cover problem. These -hardness results are in the same line of work by Chan and Grant (2014), who provided the -hardness results for the geometric set cover problem for the above classes of objects.
期刊介绍:
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.