On Thu, Mar 26, 2015 at 10:40 PM, Matt Mahoney <[email protected]> wrote: > On Thu, Mar 26, 2015 at 8:35 PM, Jim Bromer <[email protected]> wrote: > >> I am now totally confident that P=NP. > > I would be too if the Lord told me so. But since He hasn't, I will > wait until someone actually presents a solution. > >> However, only being able to >> find one logical solution in polynomial time seems pretty tedious to >> me. The real challenge is to find a way to characterize all the >> solutions in polynomial time. If possible that would be amazing. > > You are aware that a solution to any one of the over 3000 known > NP-complete problems will solve all of them, right? What I find > amazing is that you didn't know this after all the years you have been > working on the problem. > > -- > -- Matt Mahoney, [email protected]
I did say that I thought it was a possibility that the Lord told me that I would solve the p=np problem (as I conceive it) and I also added that since it was so unlikely that I would actually find a p=np solution that it would represent outstanding rational evidence that my impression was correct. The p=np challenge, as is construed according to what Matt has told me and what I have read about it, is the challenge of finding at least one solution to any Boolean SAT problem in polynomial time if one exists. However, I think that is tedious, what I am really looking forward to is a way to characterize all the solutions to a Logical SAT problem or so designate that none exist if that is the case so that they can be derived (from this characterization) in linear time (or very efficient polynomial time like n^2) and so that this new form of logical formulas can be combined with other logical formulas. That would be a big deal. Jim Bromer ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
