GateAI
Turing Machines and Undecidability

GATE CSE 2014 Set 1 · Q38

MCQ2 marksMedium

Time

Suppose a polynomial time algorithm is discovered that correctly computes the largest clique in a given graph. In this scenario, which one of the following represents the correct Venn diagram of the complexity classes P, NP and NP Complete (NPC)?

Select one answerSingle correct

Pick an option to check

Solution

Step-by-step verified solution

Official answer: D)

Turing Machines and Undecidability
  1. The problem of finding the maximum (largest) clique in a graph is an NP-hard optimization problem, and its corresponding decision version (CLIQUE) is NP-complete.

  2. If a polynomial-time algorithm is discovered that solves the largest clique problem, it can solve the decision version in polynomial time as well. Since CLIQUE is NP-complete, solving it in polynomial time implies:

    P=NP\text{P} = \text{NP}
  3. When P=NP\text{P} = \text{NP}, every non-trivial language in P\text{P} is also NP-complete under polynomial-time many-one reductions. This causes the classes to collapse into one:

    P=NP=NPC\text{P} = \text{NP} = \text{NPC}
  4. Thus, all three complexity classes are identical and represented by a single region P=NP=NPC\text{P} = \text{NP} = \text{NPC}, which corresponds to diagram (D).

Try the question first, then check your work.

Think the official key or this write-up is wrong?

Report error or challenge

Examiner trap

The misconception this question tests

This Turing Machines and Undecidability previous year question is Q38 of the GATE CSE 2014 Set 1 paper. Find more GATE CSE PYQs on Turing Machines and Undecidability in Theory of Computation, or browse all GATE CSE PYQs.

Free diagnostic

Where do you stand for GATE?

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.

One GATE CSE PYQ every morning

An official question by email at 7 AM IST, with a link to its verified solution. Unsubscribe in one click.

Turing Machines and Undecidability in GATE CSE

Turing Machines and Undecidability has 30 GATE CSE PYQs across 20 papers from 2012 to 2026. 13 of them are 2-mark MCQs like this one, and GATE CSE 2014 Set 1 has 2.

How GATE tests Turing Machines and Undecidability

More from GATE CSE 2014 Set 1

Share this solution

A plain-text card for WhatsApp or Telegram study groups.

GateAI solution cardGATE CSE 2014 Set 1 · Q38 · MCQ

Suppose a polynomial time algorithm is discovered that correctly computes the largest clique in a given graph. In this scenario, which one of the following represents the correct Venn diagram of the complexity classes P, NP and NP Complete (NPC)?

Topic-wise GATE CS PYQs with verified steps

Independent practice explanation verified by the GateAI team. GATE is conducted by the IITs; question text follows the official paper.