Tight Kernels for Covering and Hitting: Point Hyperplane Cover and Polynomial Point Hitting Set

  • Jean-Daniel Boissonnat
  • Kunal Dutta
  • Arijit Ghosh
  • Sudeshna Kolay
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10807)


The Point Hyperplane Cover problem in \(\mathbb {R}^d\) takes as input a set of n points in \(\mathbb {R}^d\) and a positive integer k. The objective is to cover all the given points with a set of at most k hyperplanes. The D-Polynomial Points Hitting Set (D-Polynomial Points HS) problem in \(\mathbb {R}^d\) takes as input a family \(\mathcal {F}\) of D-degree polynomials from a vector space \(\mathcal {R}\) in \(\mathbb {R}^d\), and determines whether there is a set of at most k points in \(\mathbb {R}^d\) that hit all the polynomials in \(\mathcal {F}\). For both problems, we exhibit tight kernels where k is the parameter.


  1. 1.
    Afshani, P., Berglin, E., van Duijn, I., Nielsen, J.S.: Applications of incidence bounds in point covering problems. In: SoCG, pp. 60:1–60:15 (2016)Google Scholar
  2. 2.
    Alimonti, P., Kann, V.: Some APX-completeness results for cubic graphs. TCS 237(1–2), 123–134 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Ashok, P., Kolay, S., Misra, N., Saurabh, S.: Unique covering problems with geometric sets. In: Xu, D., Du, D., Du, D. (eds.) COCOON 2015. LNCS, vol. 9198, pp. 548–558. Springer, Cham (2015). CrossRefGoogle Scholar
  4. 4.
    Ashok, P., Kolay, S., Saurabh, S.: Multivariate complexity analysis of geometric red blue set cover. Algorithmica 79, 1–31 (2015)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Boissonnat, J., Dutta, K., Ghosh, A., Kolay, S.: Kernelization of the subset general position problem in geometry. In: MFCS, pp. 25:1–25:13 (2017)Google Scholar
  6. 6.
    Bringmann, K., Kozma, L., Moran, S., Narayanaswamy, N.S.: Hitting set for hypergraphs of low VC-dimension. In: ESA, pp. 23:1–23:18 (2016)Google Scholar
  7. 7.
    Cygan, M., Fomin, F.V., Kowalik, Ł., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms, vol. 3. Springer, Cham (2015). CrossRefzbMATHGoogle Scholar
  8. 8.
    Dell, H., Van Melkebeek, D.: Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. In: STOC, pp. 251–260. ACM (2010)Google Scholar
  9. 9.
    Dinur, I., Steurer, D.: Analytical approach to parallel repetition. In: STOC, pages 624–633. ACM (2014)Google Scholar
  10. 10.
    Dom, M., Fellows, M.R., Rosamond, F.A.: Parameterized complexity of stabbing rectangles and squares in the plane. In: Das, S., Uehara, R. (eds.) WALCOM 2009. LNCS, vol. 5431, pp. 298–309. Springer, Heidelberg (2009). CrossRefGoogle Scholar
  11. 11.
    Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, New York (1999). 530 p.CrossRefzbMATHGoogle Scholar
  12. 12.
    Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag, New York Inc., Secaucus (2006). zbMATHGoogle Scholar
  13. 13.
    Giannopoulos, P., Knauer, C., Whitesides, S.: Parameterized complexity of geometric problems. Comput. J. 51(3), 372–384 (2008)CrossRefGoogle Scholar
  14. 14.
    Heggernes, P., Kratsch, D., Lokshtanov, D., Raman, V., Saurabh, S.: Fixed-parameter algorithms for cochromatic number and disjoint rectangle stabbing via iterative localization. Inf. Comput. 231, 109–116 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Karp, R.M.: Reducibility among combinatorial problems. In: Jünger, M., et al. (eds.) 50 Years of Integer Programming 1958–2008 - From the Early Years to the State-of-the-Art, pp. 219–241. Springer, Heidelberg (2010). Google Scholar
  16. 16.
    Kratsch, S., Philip, G., Ray, S.: Point line cover: the easy kernel is essentially tight. TALG 12(3), 40 (2016)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Langerman, S., Morin, P.: Covering things with things. DCG 33(4), 717–729 (2005)MathSciNetzbMATHGoogle Scholar
  18. 18.
    Matoušek, J.: Lectures on Discrete Geometry, vol. 212. Springer Science & Business Media, New York (2002). CrossRefzbMATHGoogle Scholar
  19. 19.
    Megiddo, N., Tamir, A.: On the complexity of locating linear facilities in the plane. Oper. Res. Lett. 1(5), 194–197 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Vazirani, V.V.: Approximation Algorithms. Springer Science & Business Media, Heidelberg (2013). Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Jean-Daniel Boissonnat
    • 1
  • Kunal Dutta
    • 1
  • Arijit Ghosh
    • 2
  • Sudeshna Kolay
    • 3
  1. 1.Université Côte d’Azur, InriaSophia AntipolisFrance
  2. 2.Indian Statistical InstituteKolkataIndia
  3. 3.Eindhoven University of TechnologyEindhovenNetherlands

Personalised recommendations