吉恩·卡迪纳尔;Jerri Nummenpalo;埃莫·韦尔兹尔 用许多解决方案解决和采样：可满足性和其他难题。 （英语） Zbl 1443.68069号 Lokshtanov，Daniel（编辑）等人，第十二届参数化和精确计算国际研讨会，2017年国际物理工程委员会，奥地利维也纳，2017年9月6日至8日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89，第11条，第12页（2018年）。 摘要：我们通过与所有候选解相比解集的大小来研究参数化硬组合问题。我们的主要结果是一个均匀采样算法，用于满足在预期时间内运行的2-CNF公式的赋值，其中，（varepsilon）是满足赋值的分数。这大大提高了预期\（\Theta^*（\varepsilon^｛-1｝）\）的平凡采样界限，以及在任何时候\（\varepsilon=\Omega（0.708^n）\）的所有先前算法上。我们还考虑了满足赋值的（varepsilon）分数的3-SAT算法，并证明了它可以在（O^*（varepsilon{-2.27}）确定性时间和（O^*（varebsilon{-0.936}）随机时间内求解。最后，为了进一步证明该框架的适用性，我们还探讨了如何将类似的技术用于顶点覆盖问题。关于整个系列，请参见[兹比尔1387.68026]. 引用于1文件 理学硕士： 65年第68季度 算法和问题复杂性分析 68年第27季度 参数化复杂性、可处理性和核化 68兰特 可满足性的计算方面 68瓦20 随机化算法 68瓦40 算法分析 关键词：可满足性;取样;参数复杂性 PDF格式BibTeX公司 XML格式引用 \textit{J.Cardinal}等人，LIPIcs——莱布尼茨国际程序。通知。89，第11条，第12页（2018；Zbl 1443.68069） 全文： 内政部 arXiv公司 参考文献： [1] Jean Cardinal、Jerri Nummenpalo和Emo Welzl。用多种解决方案解决和采样：可满足性和其他难题。ArXiv电子版，2017年。arXiv:1708。01122. ·Zbl 1443.68069号 [2] 安妮迪亚·德、奥米德·埃特萨米、卢卡·特雷维桑和马杜尔·图尔萨尼。改进了深度2电路的伪随机生成器。近似、随机化和组合·Zbl 1305.68128号 [3] 彼得·弗兰克尔和佐尔坦·弗里迪。哈珀关于hammingspheres定理的简短证明。离散数学，34（3）：311-3131981·Zbl 0482.05002号 [4] 蒂蒙·赫特利。3-SAT—PPSZ的更快、更简单的唯一SAT边界通常保持不变。SIAM计算机杂志，43（2）：718-7292014·Zbl 1297.68216号 [5] 爱德华·A·赫希。一种快速确定算法，用于具有许多令人满意的赋值的公式。IGPL逻辑杂志，6（1）：59-711998·Zbl 0897.03043号 [6] 马克·R·杰鲁姆。计数、采样和集成：算法和复杂性。Springer科学与商业媒体，2003年·Zbl 1011.05001号 [7] Mark R Jerrum、Leslie G Valiant和Vijay V Vazirani。从均匀分布中随机生成组合结构。理论计算机科学，43:169-188·Zbl 0597.68056号 [8] 丹尼尔·凯恩（Daniel M Kane）和渡边修（Osamu Watanabe）。cnfs的一个简短含义，有相对多的令人满意的赋值。在计算复杂性电子座谈会（ECCC）上·兹比尔1355.68122 [9] Kuldeep S Meel、Moshe Y Vardi、Supratik Chakraborty、Daniel J Fremont、Sanjit A Seshia、Dror Fried、Alexander Ivrii和Sharad Malik。约束采样和计数：通用散列满足sat求解。AAAI研讨会：超越NP，2016年。 [10] 伯克哈德·莫尼恩和埃瓦德·斯佩肯迈耶。在不到2步的时间内解决可满足性。离散应用数学，10（3）：287-2951985·Zbl 0603.68092号 [11] 耶胡达·纳维赫（Yehuda Naveh）、米查尔·里蒙（Michal Rimon）、伊泰·贾格尔（Itai Jaeger）、约夫·卡茨（Yoav Katz）、迈克尔·维诺夫（Michael Vinov）、艾坦的马库（Eitan s Marcu）和吉尔·舒雷克。用于硬件验证的基于约束的随机刺激生成。人工智能 [12] 田桑、保罗·比姆和亨利·A·考茨。通过加权模型计数进行贝叶斯推理。AAAI，第5卷，第475-481页，2005年·Zbl 1128.68481号 [13] 曼纽尔·施密特和罗尔夫·万卡。利用独立子公式：#k-SAT的更快近似方案。信息处理快报，113（9）：337-3442013·Zbl 1287.68193号 [14] 乌维·舍宁（Uwe Schöning）。基于有限局部搜索和重启的k-SAT概率算法。算法，32（4）：615-6232002·Zbl 1050.68049号 [15] 洛科·塞韦迪奥和李阳潭。在几乎多项式时间内满足赋值的CNF的确定性搜索。未出版手稿，2016年。 [16] 卢卡·特雷维森。关于k-DNF近似计数的注记。在近似、随机化和组合优化中。算法和技术，第417-425页·Zbl 1106.68427号 [17] 马格努斯·瓦尔斯特伦。更紧的束缚·Zbl 1142.68377号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。