吃墩类博弈是一类零和动态博弈,以桥牌为代表,是人类长期从事的智力活动。不仅能提高人类的智力水平,对工业生产、经济行为以及其他科学技术的研究都具有很高的指导价值。吃墩类博弈的求解是机器博弈领域的一项重要任务,其面临的主要问题有:博弈的规则往往是信息不完备的,不完备信息的预测依赖于完备信息的高效求解,而博弈的朴素复杂度往往是O(P(n!~m))甚至更高,计算的复杂性是博弈求解的巨大障碍。针对上述问题,本文将研究目标确定为吃墩博弈的简化形式,通过形式推演和统计分析来研究简单吃墩博弈的内在规律与求解方法,最终用计算机实验来验证其有效性。主要研究工作有:1.通过分析吃墩类博弈的最核心特点,从形式上定义了简单吃墩博弈(Simple Trick-Taking Game,STTG)及其顺序图结构;根据极大极小值原理定义了STTG的最优解、最优策略以及它们之间的等价关系。2.通过形式推演,发现并证明了STTG邻接结构的均匀性、饱和性等性质;通过统计分析,发现并验证了STTG最优解的邻接平衡性、进攻平衡性、防守平衡性、对称平衡性等性质;根据这些性质,提出了防守决策树与精确剪枝算法(Precise Pruning,PP),将精确求解的计算复杂度从O(n!~2)降至O(n!)。3.提出了近似求解的调和评估模型(Mediation Evaluation,ME),包括特征调和模型与随机调和模型;对邻接图(Adjacent Graph,AG)以及最优解分布(Optimal Solution Distribution,OSD)进行统计分析。本文应用自主编写的STTG调试框架完成了三组主要实验,分别用于测试PP和ME以及对AG与OSD进行统计分析。结果显示在统计范围内PP的绝对准确率为100%,计算复杂度符合预期;ME的相对重合度达到了92.56%;AG成中心对称的生长形态;OSD服从类似中轴偏移的正态分布。实验表明了PP和ME的有效性,为STTG的后续研究打下基础。