The GATE Grind

GATE 2015 CS (CS2) – Question 26

Algorithms · Asymptotic Analysis and Time/Space Complexity · 1 mark · Multiple choice

Decision problem Q1 reduces in polynomial time to 3-SAT, and 3-SAT reduces in polynomial time to Q2. Which conclusion is consistent with these reductions?

  1. Q1 is in NP and Q2 is NP-hard
  2. Q2 is in NP and Q1 is NP-hard
  3. Both are in NP
  4. Both are NP-hard

Practise this question in The GATE Grind →

Show answer and explanation

Correct answer: (A) Q1 is in NP and Q2 is NP-hard

Explanation

Because 3-SAT is in NP, a polynomial reduction Q1≤p3-SAT gives an NP verification method for Q1. Because 3-SAT is NP-complete, 3-SAT≤pQ2 establishes Q2 as NP-hard. It does not establish Q2 membership in NP or Q1 hardness. Thus A.

More Asymptotic Analysis and Time/Space Complexity questions

All Asymptotic Analysis and Time/Space Complexity questions →