Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems
Kratsch, S and Marx, Dániel and Wahlstrom, M (2016) Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems. ACM Transactions on Computation Theory, 8 (1). p. 1. ISSN 19423454 10.1145/2858787
Text
Kratsch_1_3155767_ny.pdf Download (416kB) 

Text
Kratsch_1_3155767_z.pdf Restricted to Registered users only Download (285kB)  Request a copy 
Abstract
For a finite set Gamma of Boolean relations, MAX ONES SAT(Gamma) and EXACT ONES SAT(Gamma) are generalized satisfiability problems where every constraint relation is from Gamma, and the task is to find a satisfying assignment with at least/exactly k variables set to 1, respectively. We study the parameterized complexity of these problems, including the question whether they admit polynomial kernels. For MAX ONES SAT(Gamma), we give a classification into five different complexity levels: polynomialtime solvable, admits a polynomial kernel, fixedparameter tractable, solvable in polynomial time for fixed k, and NPhard already for k = 1. For EXACT ONES SAT(Gamma), we refine the classification obtained earlier by taking a closer look at the fixedparameter tractable cases and classifying the sets Gamma for which EXACT ONES SAT(Gamma) admits a polynomial kernel.
Item Type:  Article 

Subjects:  Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány 
Divisions:  Informatics Laboratory 
SWORD Depositor:  MTMT Injector 
Depositing User:  MTMT Injector 
Date Deposited:  29 Jan 2017 20:37 
Last Modified:  29 Jan 2017 20:37 
URI:  http://eprints.sztaki.hu/id/eprint/9046 
Update Item 