×
拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;瓦尔斯，马格达

矩形孔模式的数独完成问题是NP-完全的。 （英语） Zbl 1252.05019号

离散数学。 312，第22号，3306-3315（2012）.
摘要：数独补全问题是拉丁方补全问题的一个特例，这两个问题都是NP-complete问题。然而，在矩形孔模式的情况下，即每列（或每行）要么充满符号，要么没有符号，众所周知，拉丁方补全问题可以在多项式时间内解决。相反，我们在本文中证明了相同的矩形孔模式仍然会使数独完成问题NP-完成。

引用于1文件

MSC公司：

05B15号 正交阵列、拉丁正方形、房间正方形

关键词：

拉丁方补全;拟群;数独完成;NP-完成
PDF格式BibTeX公司 XML格式引用
\textit{R.Béjar}等人，《离散数学》。312、22号、3306--3315（2012；Zbl 1252.05019）
全文： 内政部

参考文献：

[1] D.Achlioptas，C.Gomes，H.Kautz，B.Selman，《生成可满足的问题实例》，摘自：Proc。国家人工智能会议，AAAI'00，2000，第193-200页。；D.Achlioptas，C.Gomes，H.Kautz，B.Selman，《生成可满足的问题实例》，摘自：Proc。《国家人工智能会议》，AAAI'00，2000年，第193-200页。
[2] C.Ansótegui，R.Béjar，C.Fernández，C.P.Gomes，C.Mateu，《高度结构化领域中平衡对问题硬度的影响》，载于：第二十届全国人工智能会议，2006年，第438-443页。；C.Ansótegui，R.Béjar，C.Fernández，C.P.Gomes，C.Mateu，高度结构化领域中平衡对问题硬度的影响，载于：第二十一届全国人工智能大会，AAAI’062006，第438-443页。
[3] Ansótegui，C。；del Val，A。；多图，I。；费尔南德斯，C。；Manyá，F.，《准群完成中的建模选择：SAT vs.CSP》，（《全国人工智能会议论文集》，《全国人工智慧会议论文集，AAAI-04（2004），AAAI出版社），137-142
[4] Bailey，R.A。；P.J.卡梅隆。；Connelly，R.，数独，gerechte designs，resolutions，affine space，spreads，reguli，and Hamming codes，《美国数学月刊》，115，383-404（2008）·Zbl 1149.05010号
[5] Bailey，R.A。；库纳特，J。；Martin，R.J.，《关于gerechte设计的一些评论》，《农学和作物科学杂志》，165121-130（1990）
[6] Bryant，D.，完成由偏Steiner三元系构造的部分交换拟群是NP-完全的，离散数学，309，14，4700-4704（2009）·Zbl 1193.05038号
[7] Chetwynd，A.G。；罗德斯，S.J.，《棋盘方格》，《离散数学》，141，1-3，47-59（1995）·Zbl 0833.05012号
[8] Colbourn，C.，完成偏拉丁平方的复杂性，离散应用数学，8151-158（1984）
[9] 伊斯顿，T。；Parker，R.G.，《关于完成拉丁方》，离散应用数学，113，2-3，167-181（2001）·Zbl 0987.05024号
[10] 戈麦斯，C。；Selman，B.，《扰动存在下的问题结构》（《第十四届全国人工智能会议论文集》，第十四届国家人工智能会议文献集，AAAI'97（1997），AAAI出版社：新普罗维登斯，RI），221-227
[11] 戈麦斯，C.P。；塞尔曼，B。；Crato，N.，组合搜索中的重尾分布，（第三届约束编程国际会议论文集。第三届限制编程国际会议文献集，CP’97（1997），Springer-Verlag:Springer-Verlag-Linz，奥地利），121-135
[12] 雅各布森，M.T。；Matthews，P.，生成均匀分布的随机拉丁方，组合设计杂志，4，405-437（1996）·Zbl 0913.05027号
[13] H.Kautz，Y.Ruan，D.Achlioptas，C.Gomes，B.Selman，M.Stickel，《结构化可满足问题中的平衡和过滤》，摘自：Proc。国际人工智能会议，JCAI'012001，第193-200页。；H.Kautz，Y.Ruan，D.Achlioptas，C.Gomes，B.Selman，M.Stickel，《结构化可满足问题中的平衡和过滤》，摘自：Proc。国际人工智能会议，JCAI'012001，第193-200页·Zbl 0985.90509号
[14] I.Lynge，J.Ouaknine，《数独作为SAT问题》，摘自：Proc。第九届国际人工智能与数学研讨会，ISAIM-062006。；I.Lynge，J.Ouaknine，《数独作为SAT问题》，摘自：Proc。第九届国际人工智能与数学研讨会，ISAIM-062006。
[15] H.Simonis，数独作为一个约束问题，见：Proc。第四届约束满足问题建模与重构国际研讨会，2005年，CP-2005，第13-27页。；H.Simonis，数独作为一个约束问题，见：Proc。第四届约束满足问题建模与重构国际研讨会，CP-20052005，第13-27页。
[16] T.Yato，T.Seta，《寻找另一个解决方案的复杂性和完整性及其在谜题中的应用》，摘自：Proc。日本信息处理学会全国会议，IPSJ，2002年，第1052-1060页。；T.Yato，T.Seta，《寻找另一个解决方案的复杂性和完整性及其在谜题中的应用》，摘自：Proc。日本信息处理学会全国会议，IPSJ，2002年，第1052-1060页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。