安德烈亚斯·达曼；Döcker，詹诺什 关于不完全相等3-坐. （英语） Zbl 1433.68272号 西奥。计算。科学。 815, 147-152 (2020). 摘要：我们考虑简化版本的不完全相等3-坐是著名的可满足性问题是，每个子句正好由三个不同的文字组成，问题是是否存在这样一个真值赋值，即每个子句至少有一个文字设置为true，至少一个设置为false。我们证明了这一点不完全相等3-坐如果（1）每个变量正好出现四次，（2）公式中没有否定，（3）公式是线性的，即每对不同的子句最多共享一个变量，则保持NP-完全。因此，我们对文献中的两个结果进行了改进。 引用于4文件 MSC公司： 68兰特 可满足性的计算方面 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：非全等3-可满足性；线性公式；有界变量外观；计算复杂性 PDF格式BibTeX公司 XML格式引用 \textit{A.Darmann}和\textit{J.Döcker}，Theor。计算。科学。815147-152（2020年；Zbl 1433.68272） 全文： 内政部 参考文献： [1] Darmann，A。；Döcker，J.，《关于非全等同3-SAT和3-SAT的简化NP-完全变体》（2019年） [2] Dehghan，A。；Sadeghi，M。；Ahadi，A.，关于判定正则数是否最多为2的复杂性，图梳。，1359-1365年9月31日·Zbl 1321.05082号 [3] Horbach，A。；Bartsch，T.等人。；Briskorn，D.，使用SAT解决程序安排体育联赛，J.Sched。，15, 1, 117-125 (2012) [4] 卡宾斯基，M。；Piecuch，K.，《关于无单色三角形的顶点着色》，（Fomin，F.V.；Podolskii，V.V.，《计算机科学-理论与应用-俄罗斯第13届国际计算机科学研讨会论文集》（CSR’18）。计算机科学-理论与应用-俄罗斯第13届国际计算机科学研讨会论文集（CSR’18），计算机科学讲义，第10846卷（2018），斯普林格出版社，220-231·Zbl 1484.68165号 [5] 考茨，H。；Selman，B.，《推陈出新：规划、命题逻辑和随机搜索》（1996年第13届全国人工智能会议论文集，AAAI出版社），1194-1201 [6] Nam，G。；Sakallah，K.A。；Rutenbar，R.A.，《重新审视基于可满足性的布局：通过基于搜索的布尔SAT实现复杂FPGA的详细布线》，（ACM/SIGDA第七届现场可编程门阵列国际研讨会论文集（FPGA’99）（1999），ACM:ACM纽约，美国纽约州），167-175 [7] 保时捷，S。；Randerath，B。；Speckenmeyer，E.，一些非全等可满足性问题的线性时间算法，（可满足性测试理论与应用-SAT 2004（2004），Springer），256-257 [8] 保时捷，S。；施密特，T。；Speckenmeyer，E。；Wotzlaw，A.，线性CNF类的XSAT和NAE-SAT，离散应用。数学。，167，1-14（2014）·Zbl 1284.05106号 [9] Schaefer，T.J.，可满足性问题的复杂性，（第十届ACM计算理论研讨会论文集（1978），ACM），216-226·Zbl 1282.68143号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。