Ludii和XCSP：游戏与解决逻辑难题

原文标题：Ludii and XCSP: Playing and Solving Logic Puzzles

地址：https://arxiv.org/abs/1907.00245

作者：Cédric Piette, Éric Piette, Matthew Stephenson, Dennis J. N. J. Soemers, Cameron Browne

摘要：许多著名的单人游戏，通常被称为智力游戏，可以证明是NP-完整的.事实上，这类复杂性包含数百个谜题，因为人们特别喜欢完成一个棘手的难题，比如数独，但也喜欢在完成后轻松检查解决方案的能力。因此，使用约束编程自然适合解决这些问题。本文以Ludii通用游戏系统中的逻辑难题为研究对象，提出用XCSP形式来求解CSP中的逻辑难题。