博文
证明不可满足
||||
3-SAT问题很简单，表达起来。3-SAT问题可以很难，尤其是想证明一个公式不可能满足的话。
说起来容易，做起来难啊。
希望能够用随机搜索的方法，对一个特定的3-SAT公式，找到一些该公式不可能满足的证据。如果能够对约束密度为常数的随机3-SAT公式有好的效果，那将很有趣。
2011年5月5日，赫尔辛基
终于将第一篇论文贴到arXiv上去了：
“Witness of unsatisfiability for a random 3-satisfiability formula”, Lu-Lu Wu, Hai-Jun Zhou, Mikko Alava, Erik Aurell and Pekka Orponen (arXiv:1303.2413, 2013) http://arxiv.org/abs/1303.2413
...2013年3月11日，香港
https://m.sciencenet.cn/blog-560622-440810.html
上一篇：英国Tenure Track 博士后位置
下一篇：Jonathan Widom英年早逝
