×
克里斯托弗·杰斐逊；安吉拉·米格尔；伊恩·米格尔；塔里木，S.Armagan

模拟和解决英语挂纸牌游戏。 （英语） Zbl 1086.90070号

计算。操作。物件。 33，第10号，2935-2959（2006）.
小结：Peg Solitaire是一个众所周知的谜题，尽管规则很简单，但事实证明它很难。钉在板上，至少留有一个“洞”。通过进行类似于跳棋/跳棋的动作，木桩会逐渐被移除，直到无法再进行动作或实现某些目标配置。本文考虑了英语变体，由一个带有33个孔的十字形板组成。通过约束或整数编程技术对Peg纸牌游戏进行建模是一个相当大的挑战，本文对此进行了详细的研究。讨论了所得模型的优点，并进行了实证比较。谜题的连续性自然符合规划问题，因此我们还将与几个领先的人工智能规划系统进行了实验比较。该游戏还考虑了其他变体，如“傻瓜纸牌”和“Long-hop”纸牌。

引用于5文件

MSC公司：

90 C90 数学规划的应用
90C08型 线性规划的特殊问题（运输、多指标、数据包络分析等）

关键词：

约束编程；整数编程；建模；对称性；规划

软件：

数学软件；图规划；糠；徒步旅行；CP计划；STAN公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Jefferson}等人，计算。操作。第33号决议，第10号，2935--2959（2006年；Zbl 1086.90070）
全文： 内政部

参考文献：

[1] Beasley，J.D.，《钉住纸牌游戏的来龙去脉》（1992），牛津大学出版社：牛津大学出版社
[2] Uehara，R。；岩田，S.，广义hi-Q是np-complete，IEICE学报，73270-273（1990）
[3] de Bruijn，N.G.，《纸牌游戏及其与有限域的关系》，《休闲数学杂志》，第5期，第133-137页（1972年）
[4] Berlekamp ER、Conway JH、Guy RK。数学游戏的赢家之道，第2卷：特别是游戏。伦敦：学术出版社；1982年，第729-30页。；Berlekamp ER、Conway JH、Guy RK。数学游戏的赢家之道，第2卷：特别是游戏。伦敦：学术出版社；1982年，第729-30页·Zbl 0485.00025号
[5] Avis D，Deza A.关于布尔纸牌圆锥体。技术报告，麦吉尔大学和东京理工大学，1999年。；Avis D，Deza A.关于布尔纸牌圆锥体。技术报告，麦吉尔大学和东京理工大学，1999年·Zbl 0988.91017号
[6] 摩尔，C。；Eppstein，D.，一维钉单人纸牌和双人纸牌，（Nowalski，R.J.，《更多没有机会的游戏》（2000），剑桥大学出版社：剑桥大学出版社，341-350·兹比尔1062.91527
[7] Beeler M、Gosper RW、Schroeppel R.HAKMEM。技术报告，麻省理工学院，人工智能实验室，备忘录AIM-239；1972.; Beeler M、Gosper RW、Schroeppel R.HAKMEM。技术报告，麻省理工学院，人工智能实验室，备忘录AIM-239；1972
[8] 艾伦，J。；亨德勒，J。；Tate，A.，《规划中的阅读》（1990），Morgan Kaufmann:Morgan Koufmann Los Altos，CA
[9] 考茨，H。；Walser，J.P.，通过整数优化进行国家空间规划，（第16届全国人工智能会议论文集（1999）），526-533
[10] Vossen，T。；鲍尔，M。；Lotem，A。；Nau，D.，将整数规划应用于人工智能规划，《知识工程评论》，16，85-100（2001）
[11] Haas A.特定领域框架公理的案例。人工智能框架问题研讨会论文集，1987年。；Haas A.特定领域框架公理的案例。人工智能框架问题研讨会论文集，1987年。
[12] Bockmayr A，Dimopoulos Y。规划问题的混合整数规划模型。1998年CP98约束问题重构研讨会论文集。；Bockmayr A，Dimopoulos Y。规划问题的混合整数规划模型。1998年CP98约束问题重新制定研讨会论文集。
[13] 杰斐逊C，米格尔A，米格尔I，塔里木A。模拟和解决英语挂纸牌游戏。2003年，第五届组合优化问题约束规划中人工智能和操作规则技术集成国际研讨会论文集。第261-75页。；杰斐逊C，米格尔A，米格尔I，塔里木A。模拟和解决英语挂纸牌游戏。2003年，第五届组合优化问题约束规划中人工智能和操作规则技术集成国际研讨会论文集。第261-75页。
[14] 考茨，H。；Selman，B.，《推进包络规划、命题逻辑和随机搜索》（第13届全国人工智能会议论文集（1996）），1194-1201
[15] 范贝克，P。；Chen，X.，CPlana约束规划规划方法，（第16届全国人工智能会议论文集（1999）），585-590
[16] 做，M.B。；Kambhampati，S.，《规划作为约束满足通过将规划图编译成CSP来求解规划图》，《人工智能》，132151-182（2001）·Zbl 0983.68181号
[17] Blum，A。；Furst，M.，通过规划图分析快速规划，人工智能，90，281-300（1997）·Zbl 1017.68533号
[18] Miguel I.动态柔性约束满足及其在人工智能规划中的应用，Springer杰出论文系列，2004。；Miguel I.动态柔性约束满足及其在人工智能规划中的应用，Springer杰出论文系列，2004年。
[19] 考茨，H。；Selman，B.，《统一基于SAT和基于图形的规划》（第十六届国际人工智能联合会议论文集（1999）），318-325
[20] Moskewicz，M.W。；麦迪根，C.F。；Zhao，Y。；张，L。；Malik，S.，Chaffengineering a efficient SAT solver，（第38届设计自动化会议论文集（DAC'01）（2001））
[21] Koffman，J。；Nebel，B.，《FF计划系统通过启发式搜索快速生成计划》，《人工智能研究杂志》，第14期，第253-302页（2001年）·Zbl 0970.68044号
[22] 博内，B。；Geffner，H.，规划作为启发式搜索，人工智能，129，5-33（2001）·Zbl 0971.68146号
[23] Long，D。；Fox，M.，《STAN中计划图的有效实施》，《人工智能研究杂志》，10，87-115（1999）·Zbl 0914.68180号
[24] 菲克斯，R。；Nilsson，N.，Stripsa《将定理证明应用于问题解决的新方法》，《人工智能》，第5期，第2期，第189-208页（1971年）·Zbl 0234.68036号
[25] Gent，I。；Smith，B.，《对称打破约束编程》，（欧洲人工智能会议论文集（2000年），599-603
[26] Fahle T、Schamberger S、Sellman M.对称破缺。约束编程原理与实践会议录，《计算机科学讲义》，第2239卷，2001年。第93-107页。；Fahle T、Schamberger S、Sellman M.对称破缺。约束编程原理与实践会议录，《计算机科学讲义》，第2239卷，2001年。第93-107页·Zbl 1067.68631号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。