27、奇偶游戏与数据依赖程序的自动化验证

奇偶游戏与数据依赖程序的自动化验证

在解决奇偶游戏和数据依赖程序的自动化验证方面，有许多值得探讨的技术和策略。下面我们将分别介绍奇偶游戏的求解情况以及数据依赖程序自动化验证的新方法。

奇偶游戏求解

奇偶游戏在实际应用中具有重要地位，为了高效解决这类游戏，研究人员对多种算法进行了实验和分析。

算法运行时间对比

实验选取了递归算法、策略改进算法和小进度度量算法，并在汉诺塔示例游戏和随机游戏上进行测试，结果如下：
- 汉诺塔示例游戏
| 节点数 | 平均 SCC 数 | 递归算法（不同情况） | 策略改进算法（不同情况） | 小进度度量算法（不同情况） |
| ---- | ---- | ---- | ---- | ---- |
| 5 | 244 | 0.0s - 0.9s | 0.0s - 0.3s | 0.0s - 0.0s |
| 6 | 730 | 0.0s - 15s | 0.0s - 2.2s | 0.0s - 0.0s |
| 7 | 2.1K | 0.1s - 5.4m | 0.1s - 13s | 0.1s - 0.1s |
| 8 | 6.5K | 0.2s - † | 0.2s - 77s | 0.2s - 0.4s |
| 9 | 19K | 0.7s - 9.9m | 0.7s - † | 0.7s - 1.0s |
| 10 | 59K | 2.3s - 37m | 2.3s - † | 2.3s - 3.3s |
| 11 | 177K | 7.2s - † | 7.2s - † | 7.2s