×
苏布拉马尼，K。;顾晓峰

吸收随机漫步和NAE2SAT问题。 （英语） Zbl 1213.68337号

国际期刊计算。数学。 88，第3期，452-467（2011）.
小结：我们为NAE2SAT问题提出了一个简单的随机算法。该算法的分析使用了对称吸收随机游动理论。由于NAE2SAT问题属于复杂性类（L）（确定性对数空间）和（L subsetq P subsetq-RP），因此这种算法的存在并不令人惊讶。然而，我们方法的简单性及其分析所揭示的深刻见解使得当前的研究具有价值。非等式SAT（NAESAT）是可满足性问题（SAT）的变体，在该问题中，我们对满足所有子句的赋值感兴趣，但在每个子句中至少伪造一个文字。NAESAT本身就是一个有趣的SAT变体，由于它与图形着色问题的联系，SAT理论家已经对其进行了研究。众所周知，NAESAT的变体（NAE3SAT）每个子句正好有三个字面值，是NP-complete[M.R.Garey先生和D.S.约翰逊《计算机与难治性》。NP-完备性理论指南。数学科学丛书。旧金山：W.H.Freeman and Company（1979；兹伯利0411.68039)]. 同样，作为算法设计民间传说的一部分，NAE2SAT似乎有许多多项式时间算法[D.S.约翰逊，个人通信]。在这里，我们表明NAE2SAT问题采用了一种极其简单的文字翻转算法，与2SAT完全相同。在包含（n）个变量的可满足实例上，我们的算法找不到满意赋值的概率最多为1/24。随机化算法在验证器存在的情况下会占用额外的空间（O（1）），并为检查图是否是二部图提供了有趣的见解。必须注意的是，针对问题的空时随机化算法，例如本文中提出的算法，总是会导致针对该问题的有误差的在线算法。作为分析的一部分，我们认为NAE2SAT的限制变体是（L）-完整的。我们注意到，本文导出的边界比[C.H.帕帕迪米特里奥，“关于选择令人满意的真理分配”，载于：第32届IEEE计算机科学基础年度研讨会论文集，163-169（1991）]。

引用于1文件

MSC公司：

65年第68季度 算法和问题复杂性分析
68瓦20 随机算法
68瓦40 算法分析

关键词：

吸收随机游动;NAE2SAT卫星;\（L\）-完成;误差界限;验证

引文：

Zbl 0411.68039号
PDF格式BibTeX公司 XML格式引用
\textit{K.Subramani}和\textit{X.Gu}，国际计算杂志。数学。88，第3号，452--467（2011；Zbl 1213.68337）
全文： 内政部

参考文献：

[1] 阿尔瓦雷斯·C。，计算复杂性电子座谈会（ECCC）3（1996）
[2] Aleliunas，R.、Karp，R.M.、Lipton，R.J.、Lovasz，L.和Rackoff，C.随机行走、普遍遍历序列和迷宫问题的复杂性。第20届计算机科学基础年会（FOCS）。1979年10月29日至31日，波多黎各圣胡安。第218-223页。华盛顿特区：IEEE。可用网址：http://www.computer.org/portal/web/csdl/doi/10.109/SFCS.1979.34
[3] 内政部：10.1016/0020-0190（79）90002-4·Zbl 0398.68042号 ·doi:10.1016/0020-0190（79）90002-4
[4] de Berg M.，计算几何-算法和应用，2。编辑（2000）
[5] Garey M.R.，《计算机与不可纠正性：NP-完备性理论指南》（1979年）·Zbl 0411.68039号
[6] D.S.Johnson，个人沟通
[7] Johannsen，J.确定性对数空间的可满足性问题。第21届计算机科学理论方面年度研讨会论文集。3月25日至27日，法国蒙彼利埃。编辑：Diekert，V.和Habib，M.，第2996卷，第317–325页。柏林，海德堡：施普林格。2004年，STACS 2004，计算机科学课堂讲稿·Zbl 1122.68454号
[8] 内政部：10.1145/201019.201022·Zbl 0886.68079号 ·doi:10.1145/201019.201022
[9] 内政部：10.1016/0304-3975（82）90058-5·Zbl 0491.68045号 ·doi:10.1016/0304-3975（82）90058-5
[10] Motwani R.，随机算法（1995）·doi:10.1017/CBO9780511814075
[11] Papadimitriou，C.H.关于选择令人满意的真理赋值。第32届计算机科学基础年会论文集。1991年10月1日至4日，波多黎各圣胡安。编辑：IEEE。第163-169页。华盛顿特区：IEEE。
[12] Papadimitriou C.H.，计算复杂性（1994）·Zbl 0833.68049号
[13] Paturi，R.，Pudlák，P.，Saks，M.E.和Zane，F.k-SAT的改进指数时间算法。第39届计算机科学基础年度研讨会论文集（FOCS-98）。11月，加利福尼亚州帕洛阿尔托，第628–637页·Zbl 1297.68217号
[14] Paturi R.，CJTCS：芝加哥J.Theor。计算。科学。(1999)
[15] Porschen，S.、Randerath，B.和Speckenmeyer，E.一些非全等可满足性问题的线性时间算法。满意度测试理论与应用，第六届国际会议。2003年5月5日至8日，意大利利古雷圣玛格丽塔。编辑：Giunchiglia，E.和Taccella，A.卷2919，第172-187页。柏林，海德堡：施普林格。2003年SAT，计算机科学课堂讲稿可用网址：http://www.springerlink.com/content/m3qx4w5h6n83bq3g/ ·Zbl 1204.68108号
[16] Reif J.H.，J.协会计算。机器。第31页401–（1984）·Zbl 0632.68062号 ·数字对象标识代码：10.1145/62.322436
[17] Reingold，O。日志空间中的无定向st-连接。计算机理论研讨会。第376-385页·Zbl 1192.68374号
[18] Ross S.M.，概率模型，7。编辑（2000）·Zbl 0977.60001号
[19] Schoning，U.k-SAT和约束满足问题的概率算法。第40届计算机科学基础研讨会论文集。第410-414页。加利福尼亚州洛斯阿拉莫斯：IEEE计算机学会出版社。
[20] Schöning，U。基于局部搜索原理的k-SAT新算法。第26届计算机科学数学基础国际研讨会论文集（MFCS 2001）。2001年8月27日至31日，捷克共和国Marianske Lazne。编辑：Sgall，J.、Pultr，A.和Kolman，P.第2136卷，第87-95页。柏林，海德堡：施普林格。计算机科学课堂讲稿·Zbl 0999.68205号
[21] DOI:10.1007/s00453-001-0094-7·Zbl 1050.68049号 ·doi:10.1007/s00453-001-0094-7
[22] Subramani，K.论子句等价和赫尔包含。第八届意大利理论计算机科学会议论文集。2003年10月13日至15日，意大利贝尔蒂诺罗。编辑：Blundo，C.和Laneve，C.第2841卷，第188-201页。柏林，海德堡：施普林格。计算机科学课堂讲稿·Zbl 1257.68082号
[23] 内政部：10.1142/S01290541055003182·Zbl 1097.68147号 ·doi:10.1142/S01290541055003182
[24] DOI:10.145/1968.1972·Zbl 0587.68077号 ·数字对象标识代码：10.1145/1968.1972
[25] Wei，W.和Selman，B.加速随机行走。第八届约束编程原理与实践国际会议论文集（CP 2002）。2002年9月9日至13日，美国纽约州伊萨卡，编辑：Van Hentenryck，P.Vol.2470，pp.216-232。柏林，海德堡：施普林格。计算机科学课堂讲稿
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。