## The Satisfiability Problem... NP or P?!

Arrangements, sorting, packing, partitions, critical path analysis, networks, graphs, ...
kenbrooker
Posts: 187
Joined: Mon Feb 19, 2018 3:05 am
Location: Northern California, USA

### The Satisfiability Problem... NP or P?!

Found a June article via "Medium" titled The Boolean Satisfiability Problem, solved? by
Juan Manuel Dato (Ruiz?) and trying to work through it to...
Confirm what would be... Ramanujanesque...

Anyone know of any pros or cons??
Anyone know how to...
Contact Dato?!
"Good Judgment comes from Experience;
..."
jaap
Posts: 552
Joined: Tue Mar 25, 2008 3:57 pm
Contact:

### Re: The Satisfiability Problem... NP or P?!

https://medium.com/swlh/the-boolean-sat ... ceb5550115

It is badly explained, and is certainly not a proof.
It ends with:
Considering that it is able to find a solution in most indices, as it usually works with a high probability (80%) then you can always try another index to find the desired solution.
Based in this result I considered my demonstration that SAT is solvable in a polynomial time and space.
Basically he can solve easy cases (presumably - the whole text really goes through one particular small case which may or may not be representative of all small cases) and claims that this proves it for all cases, which is nonsense. He has not shown that his method is polynomial. He has not quantified the probability in the text I quoted. He has not shown how this probability changes as the problems grow larger.
kenbrooker
Posts: 187
Joined: Mon Feb 19, 2018 3:05 am
Location: Northern California, USA

### Re: The Satisfiability Problem... NP or P?!

Thanks! jaap...

What would I do without jaap's astute "Reply"s? And Thanks for posting the link; the least I could/should have done...

I think English is a second language for Dato and, mistranslations aside, I am still interested in trying to
code his algorithm: a) to see if I even understand it and b) to see if it can solve
even the simplest CNFs; and Yes, of course, in polynomial time?

80% or even 20% success on such a Classic Problem would probably be
more progress than ever in... ALL of TIME?

Already I'm computing Dato's Theorem One --

(not x | x and y | z1) · (x and y | y | z2) · (z1 | z2 | x <-> y) = 1

to be ALL False vs ALL True!

If I arrive at anything more
report-worthy
I'll post it...

Thanks
Again!!
jaap,
Ken

jaap...

If you've got another "minute," I am translating
Dato's (A|B|C) as ((A^B)^C) & !(A&B&C) which
works correctly for his first Proposition --
(A|B|C)·(B|D|E)·(C|E|F) = 1
Last edited by kenbrooker on Sun Jun 30, 2019 1:11 am, edited 2 times in total.
"Good Judgment comes from Experience;
..."
kenbrooker
Posts: 187
Joined: Mon Feb 19, 2018 3:05 am
Location: Northern California, USA

### Re: The Satisfiability Problem... NP or P?!

A typo in Dato's Theorem One; supposed to read --

(not x | x and y | z1) · (x and y | not y | z2) · (z1 | z2 | x <-> y) = 1

and... Only a Tautology with respect to x and y, a sample of
Dato's different approach to Logic...
Last edited by kenbrooker on Sat Jul 13, 2019 11:09 am, edited 1 time in total.
"Good Judgment comes from Experience;
..."
kenbrooker
Posts: 187
Joined: Mon Feb 19, 2018 3:05 am
Location: Northern California, USA

### Re: The Satisfiability Problem... NP or P?!

https://medium.com/swlh/the-boolean-sat ... ceb5550115

Now reads -- The Boolean Satisfiability Problem vilely censured.
"Apologies: someone hacked the article to avoid sharing this technology."

I guess that "someone" is me because I privately asked the author a couple of questions which he twice answered with Truth Table-evident falsehoods. When I Commented about this to Medium.com I was promptly Blocked.
Deleting the first article and re-issuing, a clever way to bury my pre-Blocked Comment.
I guess jaap's wise skepticism is well confirmed...

I know the above hurts my credibility too but, since I brought up the Subject,