The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+4 votes

Let SHAM$_3$ be the problem of finding a Hamiltonian cycle in a graph $G=(V,E)$  with $|V|$  divisible by $3$ and DHAM$_3$  be the problem of determining if a Hamiltonian cycle exists in such graphs. Which one of the following is true? 

  1. Both DHAM$_3$ and SHAM$_3$ are NP-hard 
  2. SHAM$_3$ is NP-hard, but DHAM$_3$ is not 
  3. DHAM$_3$ is NP-hard, but SHAM$_3$ is not 
  4. Neither DHAM$_3$ nor SHAM$_3$ is NP-hard
asked in Theory of Computation by Active (3.7k points)
recategorized by | 786 views

Just mentioning additional information. 

Dirac's theorem and Ore's theorem are necessary but not sufficient. So 'determining if a Hamiltonian cycle exists' is also NPH.

2 Answers

+11 votes
Best answer

The only difference between SHAM and DHAM, in SHAM |V| is divisible by $3$.. which can be check in constant amount of time.. So the hardness of the two problem will the same... Next, finding hamiltonian cycle comes under NPC problem and NPC problem is a subset of NPH, so both are NPH..

So, option (A)

answered by Active (5k points)
edited by
|V| is divisible by 3 in both the problems. The difference between DHAM and SHAM is that one is about finding if the Hamiltonian cycle exist and the other one is about finding that cycle.
$SHAM_3$: "finding a Hamil..." does not sound as a decision problem. Isnt it? Yes finding if Hamiltonian circuit exists or not is NP-Complete and hence NP-Hard...Am I write?

SHAMcan be reduced to DHAM3 which is a decision problem. So it must be at least as hard as DHAM3.

really ? changing non decision problem into decision problem ?
@Mahesha999 Your are correct, SHAM is not really a decision problem and is not eligible for NP-hard or NP-complete.
0 votes
actually  DHAM is well known npc problem. SHAM is optimization problem which is relax version of decison problem and is more harder than decision problem so if decison problem is npc then optimization problem willl also be npc as it is more harder .Now DHAM is poly time reducible to SHAM as with DHAM we can have 3 possible cases :1) no of vertices is exactly divisible by 3 then it iss direectly reducible to SHAM 2) if no of vertex is 1mod 3just add 2 extraa vertices 3) if no of vertex 2mod3 add 1 extraa vertex thus every instance of DHAM can be converted to SHAM morever SHAM is verifiable hence np so SHAM is also np complete
answered ago by (235 points)

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

35,499 questions
42,765 answers
42,150 users