12

My book states this

  • If a decision problem B is in P and A reduces to B, then decision problem A is in P.
  • A decision problem B is NP-complete if B is in NP and for every problem in A in NP, A reduces to B.
  • A decision problem C is NP-complete if C is in NP and for some NP-complete problem B, B reduces to C.

So my questions are

  1. If B or C is in NP-complete, and all problems in NP reduce to an NP-complete problem, using the first rule, how can any NP problem not be NP complete?
  2. If A reduces to B, does B reduce to A?
Gilles 'SO- stop being evil'
  • 44,159
  • 8
  • 120
  • 184
rubixibuc
  • 233
  • 1
  • 2
  • 6

3 Answers3

14

If A reduces to B, does B reduce to A?

No. For a really contrived example, any possible computable problem A is reducible to the Halting Problem: just pass as input the algorithm that solves the problem A but with a while(true) tacked at the end after either the true or false case. However, we know that the Halting problem isn't computable so it can't be reduced to any such algorithm A.

The basic idea is that if there is a reduction from A to B you can learn that B is at least as hard to solve then A and requires an algorithm that is at least as powerful.

So if a problem A reduces to an easy problem B, then we can deduce A is easy (since the reduction gives us the efficient algorithm) and if a hard problem A reduced to a problem B, we can deduce that B is also hard (since if B were easy then A would have to be easy too). However there is still the possibility of making a silly reduction from an easy problem to a hard problem but in this case we can't deduce any conclusions.

hugomg
  • 1,409
  • 1
  • 10
  • 15
10

If B or C is in NP Complete, and all problem in NP reduce to an NP Complete problem, using the first rule, how can any NP problem not be NP complete?

The first rule is about problems in P. It has nothing to do with NP completeness. If problem A is NP Complete and problem B reduces to A, that does not mean that B is NP Complete.

If A reduces to B does B reduce to A?

Not generally, no.

sepp2k
  • 1,750
  • 14
  • 23
-2

I have only the basic idea regarding NPC and NP Problems. But All i want to comment is about "If A is reduced to B then B is reduced to A? "

Simply consider a set A having {2,3,4,5} elements and set B having {3,4} in it. So A can be reduced to B. But B can't be reduced to A. Instead B can be expanded to A if B gains {2,5} elements.

But if A and B are having the same. then A can be reduced to B or B can be reduced to A.

Naveen CS
  • 7