Abstract
The \(3\) -Hitting Set problem involves a family of subsets \({\mathcal F}\) of size at most three over an universe \({\mathcal U}\). The goal is to find a subset of \({\mathcal U}\) of the smallest possible size that intersects every set in \({\mathcal F}\). The version of the problem with parity constraints asks for a subset \(S\) of size at most \(k\) that, in addition to being a hitting set, also satisfies certain parity constraints on the sizes of the intersections of \(S\) with each set in the family \({\mathcal F}\). In particular, an odd (even) set is a hitting set that hits every set at either one or three (two) elements, and a perfect code is a hitting set that intersects every set at exactly one element. These questions are of fundamental interest in many contexts for general set systems. Just as for Hitting Set, we find these questions to be interesting for the case of families consisting of sets of size at most three. In this work, we initiate an algorithmic study of these problems in this special case, focusing on a parameterized analysis. We show, for each problem, efficient fixed-parameter tractable algorithms using search trees that are tailor-made to the constraints in question, and also polynomial kernels using sunflower-like arguments in a manner that accounts for equivalence under the additional parity constraints.
V. Kamat—Supported by a postdoctoral fellowship from the Warsaw Center of Mathematics and Computer Science
N. Misra—Supported by the INSPIRE Faculty Scheme, DST India (project DSTO-1209).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bodlaender, H.L.: Kernelization: new upper and lower bound techniques. In: Chen, J., Fomin, F.V. (eds.) IWPEC 2009. LNCS, vol. 5917, pp. 17–37. Springer, Heidelberg (2009)
Dell, H., van Melkebeek, D.: Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time Hierarchy Collapses. J. ACM 61(4), 23 (2014)
Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer (1999)
Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer-Verlag New York Inc (2006)
Guo, J., Niedermeier, R.: Invitation to data reduction and problem kernelization. SIGACT news 38(1), 31–45 (2007)
Jukna, S.: Extremal combinatorics - with applications in computer science, pp. I-XVII, 1–375. Springer (2001)
Khanna, et al.: The Approximability of Constraint Satisfaction Problems. SICOMP: SIAM Journal on Computing 30 (2001)
Kratsch, S., Wahlström, M.: Preprocessing of min ones problems: a dichotomy. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6198, pp. 653–665. Springer, Heidelberg (2010)
Niedermeier, Rossmanith: An Efficient Fixed-Parameter Algorithm for 3-Hitting Set. Journal of Discrete Algorithms, Elsevier (unseen by me), 1 (2003)
Niedermeier, R.: Invitation to Fixed Parameter Algorithms (Oxford Lecture Series in Mathematics and Its Applications). Oxford University Press, USA (2006)
Nishimura, N., Ragde, P., Thilikos, D.M.: Smaller kernels for hitting set problems of constant arity. In: Downey, R.G., Fellows, M.R., Dehne, F. (eds.) IWPEC 2004. LNCS, vol. 3162, pp. 121–126. Springer, Heidelberg (2004)
Raman, V., Shankar, B.S.: Improved fixed-parameter algorithm for the minimum weight 3-SAT problem. In: Ghosh, S.K., Tokuyama, T. (eds.) WALCOM 2013. LNCS, vol. 7748, pp. 265–273. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Kamat, V., Misra, N. (2015). Parameterized Algorithms and Kernels for 3-Hitting Set with Parity Constraints. In: Paschos, V., Widmayer, P. (eds) Algorithms and Complexity. CIAC 2015. Lecture Notes in Computer Science(), vol 9079. Springer, Cham. https://doi.org/10.1007/978-3-319-18173-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-18173-8_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-18172-1
Online ISBN: 978-3-319-18173-8
eBook Packages: Computer ScienceComputer Science (R0)