Simple Stochastic Stopping Games Benchmark

Simple Stochastic Stopping Games Benchmark是由Avi Rudich、Isaac Rudich和Rachel Rue创建的数据集，旨在为研究简单随机停止游戏提供基准。该数据集包含6400个实例，涵盖从32到4096个节点的游戏，每个实例都经过完全简化，确保是单一强连通分量加上两个终端节点。数据集的应用领域主要集中在算法性能测试和理论证明，特别是在寻找解决简单随机游戏的有效算法方面。Simple Stochastic Stopping Games Benchmark is a dataset created by Avi Rudich, Isaac Rudich and Rachel Rue, designed to provide a benchmark for research on simple stochastic stopping games. This dataset includes 6400 instances, covering games with node counts ranging from 32 to 4096. Each instance has been fully simplified, ensuring that it comprises a single strongly connected component plus two terminal nodes. The main application areas of this dataset are algorithm performance testing and theoretical proofs, particularly in the pursuit of efficient algorithms for solving simple stochastic stopping games.