首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > Java > Java implementation of ehrenfeucht -弗莱斯游戏图。

Java implementation of ehrenfeucht -弗莱斯游戏图。

  • 资源大小:210.01 kB
  • 上传时间:2021-06-29
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: 游戏

资 源 简 介

Introduction EFGraph is a Java implementation of Ehrenfeucht-Fraisse game on graphs with white and black nodes. This kind of graph is a special case of a model in mathematical logic. EFGraph implements tools for creating and modifying such graphs and generating random graphs. The game can be played between two human players, between a human and an AI player or between two AI players. The AI opponent uses the MinMax algorithm. What is an Ehrenfeucht-Fraisse game? The form of Ehrenfeuct-Fraisse game implemented in EFGraph has two players: spoiler and duplicator and two graphs. The number of rounds is n, and it is fixed at the beginning of the game. The spoiler tries to show that the graphs are not n-isomorphic, whereas the duplicator tries to show that they are. Each round in the game consists of a move of Spoiler, followed by a move of Duplicator. The spoiler chooses an element from either of the graphs. The duplicato

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.318961s