阿姆斯特丹自由大学 发布 Parity Games Benchmark Suite 数据集, 应用在 奇偶游戏、算法评估 领域

阿姆斯特丹自由大学 本次发布的数据集 Parity Games Benchmark Suite, Parity Games Benchmark Suite是由Jeroen J.A. Keiren在阿姆斯特丹自由大学和开放大学创建的一个综合数据集，包含1037个奇偶游戏实例，用于评估奇偶游戏算法的性能。数据集涵盖了从2个顶点到4000万个顶点的游戏，以及从2条边到1.67亿条边的范围。该数据集包括了多种类型的奇偶游戏，如模型检查、等价检查和随机游戏，旨在提供一个全面的标准化测试平台，以促进奇偶游戏算法的研究和开发。

查看Parity Games Benchmark Suite

关于 阿姆斯特丹自由大学 , 阿姆斯特丹自由大学（Vrije Universiteit Amsterdam）是荷兰的一所著名研究型大学，成立于1880年，以其人文科学、社会科学和自然科学领域的研究而闻名。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。