前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >Ludii和XCSP:游戏与解决逻辑难题

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

原创
作者头像
Jarvis Cocker
发布2019-07-17 15:24:35
5290
发布2019-07-17 15:24:35
举报
文章被收录于专栏:用户5637037的专栏

原文标题: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中的逻辑难题。

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档