我被困在为 2 人策略游戏生成谓词逻辑的问题上如果有人可以提出解决方案

问题描述

考虑玩家 A 和 B 交替玩的 2 人游戏。初始配置 是一个列表 1； 3; 4; 2. 游戏从玩家 A 开始。 A 玩家移动的每一步都允许 交换任意两个元素的位置。但是，如果移动导致相同的配置，则移动是非法的 正如在游戏早期已经发生的那样。如果在任何时候配置 1,2,3,4 是 达到然后玩家 A 是赢家，如果达到 4,1 那么玩家 B 是赢家（它不 无论哪个玩家做出了导致获胜配置的移动，只有配置 事情）。如果要移动的玩家没有合法移动，则游戏以平局结束。对于给定的 配置决定了两个玩家的最佳发挥（每个玩家都试图获胜）的结果。 写下一个玩家在 2 人策略游戏中获胜的描述，形式为 谓词逻辑公式。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）