GATE 2015 CS (CS2) – Question 26
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?
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
- GATE 2015 CS (CS3) Q20
- GATE 2015 CS (CS3) Q37
- GATE 2015 CS (CS3) Q41
- GATE 2015 CS (CS3) Q64
- GATE 2021 CS (CS2) Q49
- GATE 2026 CS (CS1) Q17
All Asymptotic Analysis and Time/Space Complexity questions →