On Aug 10, 10:29 am, Bill Hart <goodwillh...@googlemail.com> wrote:
> Just in case this is being missed here, a problem is by definition in
> NP only if it has been shown equivalent to one of the other NP-
> complete problems.

I assume that with "equivalent" you mean "polynomially equivalent".
With your definition, P subset NP implies P=NP.

I think it's more usual to define P and NP first, then prove that P is
a subset of NP and then prove that there actually are NP problems to
which any other NP problem can be reduced in polynomial time, and call
those problems NP-complete. A priori, there is plenty of room in NP
for non-NP-complete problems (should Deolalikar be right, any problem
in P would do).

Which makes me wonder: Is any problem in P also P-complete? Can any
polynomial problem be reduced to "solve x=0" in polynomial time?

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to