证明大师棋游戏期望提问数公式的算法
组合数学
2018-08-14 v1
摘要
我们填补了Chen和Lin所发表的大师棋（Mastermind）及其称为AB游戏的变体在期望情形下所需最小提问数公式证明中的漏洞，这两个游戏均使用两枚棋子与 种颜色进行。为此，我们引入了一种表示游戏猜测过程的新模型，并开发了使证明自动化的算法。与Chen和Lin所使用的、局限于两枚棋子的图划分方法不同，我们的模型与算法以棋子数为参数，并有可能用于任意数量的棋子。
引用
@article{arxiv.1808.03849,
title = {Algorithm to Prove Formulas for the Expected Number of Questions in Mastermind Games},
author = {Marcin Peczarski},
journal= {arXiv preprint arXiv:1808.03849},
year = {2018}
}