home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / theory / 2807 < prev    next >
Encoding:
Internet Message Format  |  1993-01-06  |  1.2 KB
  1. Path: sparky!uunet!munnari.oz.au!csis!dubhe.anu.edu.au!nunki.anu.edu.au!not-for-mail
  2. From: jmr@cs.anu.edu.au (Mike Robson)
  3. Newsgroups: comp.theory
  4. Subject: Re: P=NP; the proof
  5. Date: 7 Jan 1993 06:42:17 +1100
  6. Organization: Computer Science Department, ANU, Australia
  7. Lines: 21
  8. Distribution: inet
  9. Message-ID: <1ifcmpINN11k@nunki.anu.edu.au>
  10. References: <1idr1nINNrl@nunki.anu.edu.au>
  11. NNTP-Posting-Host: nunki.anu.edu.au
  12. Keywords: Collapse of hierarchy
  13.  
  14. jmr@cs.anu.edu.au (Mike Robson) writes:
  15.  
  16.  
  17. >Who can shoot down this alleged proof that P=NP?
  18. >The ideas are taken from the Gismondi and Swart papers but the
  19. >algorithms are simplified and the proofs are completely new.
  20. >If you haven't read their papers, you will probably not follow this.
  21. >I'll post a more detailed version soon unless anyone has convinced
  22. >me I'm wrong (in which case I will post a retraction).
  23.  
  24. I was wrong about the dimensions of the matrix M since it has more
  25. rows than the number of nonzero sab. I can't see any way to fix this
  26. (though I am working on it). I've had mail from Peter Breuer of
  27. Cambridge who says he has found a fix. I am looking forward to hearing
  28. from him what it is.
  29.  
  30. So currently my proof is dead but if you believe in resurrection
  31. watch this space.
  32.  
  33. Mike Robson.
  34.  
  35.