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?!
The Satisfiability Problem... NP or P?!
- kenbrooker
- Posts: 129
- Joined: Mon Feb 19, 2018 3:05 am
- Location: Oregon, USA
The Satisfiability Problem... NP or P?!
"Good Judgment comes from Experience;
Experience comes from Bad Judgment..."
Experience comes from Bad Judgment..."
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:
It is badly explained, and is certainly not a proof.
It ends with:
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.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.
_{Jaap's Puzzle Page}
- kenbrooker
- Posts: 129
- Joined: Mon Feb 19, 2018 3:05 am
- Location: Oregon, 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
[Other readers please note: "|" is Not the usual OR]
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
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
[Other readers please note: "|" is Not the usual OR]
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 12:11 am, edited 2 times in total.
"Good Judgment comes from Experience;
Experience comes from Bad Judgment..."
Experience comes from Bad Judgment..."
- kenbrooker
- Posts: 129
- Joined: Mon Feb 19, 2018 3:05 am
- Location: Oregon, 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...
(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 10:09 am, edited 1 time in total.
"Good Judgment comes from Experience;
Experience comes from Bad Judgment..."
Experience comes from Bad Judgment..."
- kenbrooker
- Posts: 129
- Joined: Mon Feb 19, 2018 3:05 am
- Location: Oregon, 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,
I do believe this article is credible and
with 2 good examples which
I will be studying --
https://www.researchgate.net/publicatio ... on_Solving
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,
I do believe this article is credible and
with 2 good examples which
I will be studying --
https://www.researchgate.net/publicatio ... on_Solving
"Good Judgment comes from Experience;
Experience comes from Bad Judgment..."
Experience comes from Bad Judgment..."