home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / theory / 2780 < prev    next >
Encoding:
Internet Message Format  |  1993-01-02  |  1019 b 
  1. Path: sparky!uunet!munnari.oz.au!manuel.anu.edu.au!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: Swart and Gismondi Graph Isomorphism algorithm
  5. Date: 2 Jan 1993 18:15:39 +1100
  6. Organization: Computer Science Department, ANU, Australia
  7. Lines: 16
  8. Distribution: inet
  9. Message-ID: <1i3ferINN53m@nunki.anu.edu.au>
  10. References: <1ht5atINN4iu@nunki.anu.edu.au>
  11. NNTP-Posting-Host: nunki.anu.edu.au
  12. Keywords: Retraction
  13.  
  14. jmr@cs.anu.edu.au (Mike Robson) writes:
  15.  
  16. >With their new version of the discredited main theorem, I currently
  17. >believe that their algorithm can be proved correct. I'll post details
  18. >when I've thought them out a bit more and when I have time.
  19.  
  20.  
  21. Sorry to everyone. I thought I had seen a simple way to prove their
  22. revised theorem (that any solution to F3 has a subpattern which is
  23. the pattern of a Q vector). My idea was wrong.
  24.  
  25. I promise not to post any more bright ideas until I have worked out
  26. the details thoroughly.
  27.  
  28. Mike Robson.
  29.  
  30.