将新闻中心填字游戏生成为约束满足与优化问题

填字游戏传统上不仅作为娱乐，也作为可用于习得词汇与语言能力的教育工具。增强其教育用途的一种策略是个性化，例如纳入某一特定主题的更多词汇。本文关注于激发人们对新闻兴趣的案例，并提出一个自动生成新闻中心填字游戏的框架。我们设计了可能的场景，并将原型构建为一个约束满足与优化问题，即包含尽可能多的新闻衍生词汇。我们的实验报告了若干条件下的生成概率与所需时间。结果表明，即便新闻衍生词汇很少，也能生成新闻中心填字游戏。我们通过原型的定性评估总结了当前问题与未来研究方向。这是首个提出将约束满足与优化问题的形式化作为教育应用有益的方案。