Nearly Optimal NP-Hardness of Unique Coverage
نویسندگان
چکیده
The Unique Coverage problem, given a universe V of elements and a collection E of subsets of V , asks to find S ⊆V to maximize the number of e ∈ E that intersects S in exactly one element. When each e ∈ E has cardinality at most k, it is also known as 1-in-k Hitting Set, and admits a simple Ω( 1 logk )-approximation algorithm. For constant k, we prove that 1-in-k Hitting Set is NP-hard to approximate within a factor O( 1 logk ). This improves the result of Guruswami and Zhou [SODA’11, ToC’12], who proved the same result assuming the Unique Games Conjecture. For Unique Coverage, we prove that it is hard to approximate within a factor O( 1 log1−ε n ) for any ε > 0, unless NP admits quasipolynomial time algorithms. This improves the results of Demaine et al. [SODA’06, SICOMP’08], including their ≈ 1/ log1/3 n inapproximability factor which was proven under the Random 3SAT Hypothesis. Our simple proof combines ideas from two classical inapproximability results for Set Cover and Constraint Satisfaction Problem, made efficient by various derandomization methods based on bounded independence. ∗Supported in part by NSF grant CCF-1115525. [email protected] †Supported by a Samsung Fellowship and NSF CCF-1115525. [email protected] ISSN 1433-8092 Electronic Colloquium on Computational Complexity, Report No. 155 (2015)
منابع مشابه
Inapproximability of Minimum Vertex Cover on k-Uniform k-Partite Hypergraphs
We study the problem of computing the minimum vertex cover on k-uniform k-partite hypergraphs when the k-partition is given. On bipartite graphs (k = 2), the minimum vertex cover can be computed in polynomial time. For k ≥ 3, this problem is known to be NP-hard. For general k, the problem was studied by Lovász [23], who gave a k2 -approximation based on the standard LP relaxation. Subsequent wo...
متن کاملNearly Optimal NP-Hardness of Vertex Cover on k-Uniform k-Partite Hypergraphs
We study the problem of computing the minimum vertex cover on k-uniform k-partite hypergraphs when the k-partition is given. On bipartite graphs (k = 2), the minimum vertex cover can be computed in polynomial time. For general k, the problem was studied by Lovász [23], who gave a k 2 -approximation based on the standard LP relaxation. Subsequent work by Aharoni, Holzman and Krivelevich [1] show...
متن کاملNear-Optimal UGC-hardness of Approximating Max k-CSP_R
In this paper, we prove an almost-optimal hardness for Max k-CSPR based on Khot’s Unique Games Conjecture (UGC). In Max k-CSPR, we are given a set of predicates each of which depends on exactly k variables. Each variable can take any value from 1, 2, . . . , R. The goal is to find an assignment to variables that maximizes the number of satisfied predicates. Assuming the Unique Games Conjecture,...
متن کاملEncoding Optimal Customized Coverage Instrumentation
Program coverage is an important software quality metric. Coverage is most commonly gathered in the testing lab during development. However, developers also sometimes use inexpensive forms of program coverage in production software. In the post-deployment scenario, users often place very strict requirements on tracing overheads and legal instrumentation strategies. This work deals specifically ...
متن کاملSafest Path Adversarial Coverage: Proofs and Algorithm Details
Proof. Clearly, this problem is in NP, since one can easily guess the coverage path of the robot and then verify its probability of surviving it in polynomial time. To prove its NP-hardness, we use a reduction from the Hamiltonian path problem on grid graphs. A grid graph is a finite node-induced subgraph of the infinite two-dimensional integer grid (see Figure 1 for an example of a general gri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electronic Colloquium on Computational Complexity (ECCC)
دوره 22 شماره
صفحات -
تاریخ انتشار 2015