Consider two decision problems Q1, Q2 such that Q1 reduces in polynomial time to 3-SAT and 3-SAT reduces in polynomial time to Q2. Then which one of the following is consistent with the above statement?
Topic-wise GATE CS PYQs with verified steps
GATE CSE 2015 Set 2 · Q2
Time
Select one answerSingle correct
Solution
Official answer: A) Q1 is in NP, Q2 is NP hard.
Turing Machines and UndecidabilityWe are given two polynomial-time reductions:
Recall that:
is an -complete problem (hence it is both in and -hard).
If a problem reduces in polynomial time to a problem (), then . Since , it follows that .
If a known -hard (or -complete) problem reduces in polynomial time to a problem (), then is -hard. Hence, is -hard.
Thus, is in , and is -hard.
Therefore, A is the correct option.
Try the question first, then check your work.
Examiner trap
Reducing to a problem in places the original problem in . Reducing a known -complete problem to another problem proves the target problem is -hard.
This Turing Machines and Undecidability previous year question is Q2 of the GATE CSE 2015 Set 2 paper. Find more GATE CSE PYQs on Turing Machines and Undecidability in Theory of Computation, or browse all GATE CSE PYQs.
Free diagnostic
Take the 20-minute diagnostic: the 3 topics that cost you the most marks, and a rank range. Or sit 5 related Turing Machines and Undecidability PYQs now with no account.
An official question by email at 7 AM IST, with a link to its verified solution. Unsubscribe in one click.
Turing Machines and Undecidability has 30 GATE CSE PYQs across 20 papers from 2012 to 2026. 13 of them are 1-mark MCQs like this one, and GATE CSE 2015 Set 2 has 2.
How GATE tests Turing Machines and UndecidabilityIndependent practice explanation verified by the GateAI team. GATE is conducted by the IITs; question text follows the official paper.