Hello, here is my algorithm for solving monotone 1-in-3 SAT in polynomial time. it doesn't claim to be anything special. If you have some free time, please try it out and write what's wrong or what's unclear, and I'll respond. I tried to make everything formal, so there may be inaccuracies. If something is unclear, write in the comments and I'll respond. Thank you to everyone who responds.

submitted by /u/No-Implement-8892 [link] [comments]

Similar Posts

Loading similar posts...

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help