home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / theory / 2769 < prev    next >
Encoding:
Internet Message Format  |  1992-12-30  |  640 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: Swart and Gismondi Graph Isomorphism algorithm
  5. Date: 31 Dec 1992 08:46:05 +1100
  6. Organization: Computer Science Department, ANU, Australia
  7. Lines: 3
  8. Distribution: inet
  9. Message-ID: <1ht5atINN4iu@nunki.anu.edu.au>
  10. NNTP-Posting-Host: nunki.anu.edu.au
  11. Keywords: Maybe its right
  12.  
  13. With their new version of the discredited main theorem, I currently
  14. believe that their algorithm can be proved correct. I'll post details
  15. when I've thought them out a bit more and when I have time.
  16.