制作者-破坏者位置博弈 QBF 编码中的隐式状态与目标（扩展版）
人工智能
2023-01-19 v1
摘要
我们针对如六子棋和井字棋等制作者-破坏者位置博弈的简洁 QBF 编码的两个瓶颈进行处理。我们的基线是一种对棋盘位置使用显式变量、并对获胜构型进行显式表示的 QBF 编码。第一项改进受提升规划启发，避免对显式棋盘位置使用变量，引入一个表示符号化棋盘状态的全称量化符。第二项改进利用获胜构型的结构对其作隐式表示。本文评估了若干编码的规模，其依赖于棋盘大小与博弈深度。同时报告了 QBF 求解器在这些编码上的性能。我们在六子棋实例上评估了这些技术，并将其应用于哈拉里井字棋。特别地，我们研究了在人类六子棋锦标赛中所用 19×19 棋盘的可扩展性。
引用
@article{arxiv.2301.07345,
title = {Implicit State and Goals in QBF Encodings for Positional Games (extended version)},
author = {Irfansha Shaik and Valentin Mayer-Eichberger and Jaco van de Pol and Abdallah Saffidine},
journal= {arXiv preprint arXiv:2301.07345},
year = {2023}
}
备注
11 pages (including appendix), 5 figures and 4 tables