Skip to content
Official PYQ · 2015

GATE CS 2015 Set 2 Q2 — Regular and Context-free Languages

Explain with AI

Consider two decision problems Q1,Q2Q_1, Q_2 such that Q1Q_1 reduces in polynomial time to 3-SAT and 3-SAT reduces in polynomial time to Q2Q_2. Then which one of the following is consistent with the above statement?

Choose one option
View worked solution

Answer: A

We are given two polynomial-time reductions:

  1. Q1≤p3-SATQ_1 \le_p \text{3-SAT}: Since 3-SAT\text{3-SAT} is in NP\text{NP} and the class NP\text{NP} is closed under polynomial-time reductions, any decision problem that reduces to a problem in NP\text{NP} must also be in NP\text{NP}. Thus, Q1∈NPQ_1 \in \text{NP}.
  2. 3-SAT≤pQ2\text{3-SAT} \le_p Q_2: Since 3-SAT\text{3-SAT} is an NP\text{NP}-complete (and hence NP\text{NP}-hard) problem, reducing it to Q2Q_2 in polynomial time establishes that Q2Q_2 is at least as hard as 3-SAT\text{3-SAT}. Thus, Q2Q_2 is NP\text{NP}-hard.

Therefore, Q1Q_1 is in NP\text{NP} and Q2Q_2 is NP\text{NP}-hard, which is consistent with Option A.

Free practice · Your answers on this page are not saved.

Published
Report a correction
Keep exploringMore Regular and Context-free Languages questions