我使用的是最小最大算法的游戏，因为有很多的可能性极小极大递归花费的时间太长，即使有“α-β剪枝” 更好的办法 我的代码看起来有些东西是这样的： min(state,depth,alpha,beta):
if stopingCond:
return value
for moves in allmoves:
state.do(move)
bet
继Arthur's suggestion之后，我改变了我的Fixpoint关系，这个关系是“建立”游戏之间的不同比较而不是“钻取”的相互关系Inductive。 但现在我接受了一个全新的错误消息： Error: Parameters should be syntactically the same for each inductive type.
我认为错误消息是说，我需要所有这些互感的定义完
我正在尝试了解人工智能以及如何在程序中实现它。开始的最简单的地方可能是简单的游戏（在这种情况下是Tic-Tac-Toe）和游戏搜索树（递归调用;不是实际的数据结构）。 I found this关于该主题的演讲非常有用的视频。 我遇到的问题是，算法的第一个调用需要非常长的时间（约15秒）才能执行。我在整个代码中放置了调试日志输出，看起来好像它正在调用算法的部分过多的时间。 下面是选择最佳的移动计算机