home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / theory / 2515 < prev    next >
Encoding:
Text File  |  1992-11-23  |  1.3 KB  |  32 lines
  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!secapl!Cookie!frank
  3. From: frank@Cookie.secapl.com (Frank Adams)
  4. Subject: Re: Cryptography and P=NP
  5. Message-ID: <1992Nov23.155104.38037@Cookie.secapl.com>
  6. Date: Mon, 23 Nov 1992 15:51:04 GMT
  7. References: <1992Nov17.043640.5525@CSD-NewsHost.Stanford.EDU> <1992Nov20.000916.29325@CSD-NewsHost.Stanford.EDU> <Nov.22.18.04.19.1992.24744@remus.rutgers.edu>
  8. Organization: Security APL, Inc.
  9. Lines: 21
  10.  
  11. In article <Nov.22.18.04.19.1992.24744@remus.rutgers.edu> clong@remus.rutgers.edu (Chris Long) writes:
  12. >In article <1992Nov20.000916.29325@CSD-NewsHost.Stanford.EDU>,
  13. >  Vaughan Pratt writes:
  14. >
  15. >> 1.  I, Vaughan Pratt, agree that if P is not equal to NP then I will
  16. >> pay you, Chris Long, $1000 on demand.  You agree that if P is equal to
  17. >> NP then you will pay me $10,000 on demand.
  18. >
  19. >This sounds fine, but we should prepare a document that would be
  20. >signed and notarized by both parties.  Sound fair?
  21. >
  22. >> Would you prefer 1995 or 2000 as the year of expiration?
  23. >
  24. >How about 1997?  That would be for 5 years.
  25. >
  26. >Is this the ultimate net.bet of all time?
  27.  
  28. Actually, while I think P is very likely not equal to NP, I think Vaughan may
  29. have the better part of this bet.  If P=NP, an algorithm may be forthcoming
  30. at any time.  Whereas, if P != NP, it is a very difficultproblem, and not
  31. likely to be proved soon.
  32.