Nearly Optimal NP-Hardness of Unique Coverage

نویسندگان

  • Venkatesan Guruswami
  • Euiwoong Lee
چکیده

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)

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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