2023年图计数算法国际竞赛
数据结构与算法
2023-09-15 v1
摘要
本文报道了2023年举办的图计数算法国际竞赛（ICGCA）的详细情况。图计数问题是在给定图上统计满足特定约束的子图数量。该问题属于#P完全这一计算困难类。由于现代社会的许多关键系统（例如基础设施网络）常被表示为图，图计数算法是高效扫描代表系统可行状态的所有子图的一项关键技术。在ICGCA中，参赛者被要求统计图上满足长度约束的路径数量。基准测试集包含150个具有挑战性的实例，侧重于类似基础设施网络的图。共提交了十一个求解器，并依据在时间限制内正确求解的基准数量进行排名。获胜求解器TLDC基于三种基本方法设计：回溯搜索、动态规划以及模型计数或#SAT（布尔可满足性的计数版本）。详细分析表明，每种方法各有优势，单一方法不太可能主导其他方法。参赛求解器的代码与论文可获取：https://afsa.jp/icgca/。
引用
@article{arxiv.2309.07381,
title = {International Competition on Graph Counting Algorithms 2023},
author = {Takeru Inoue and Norihito Yasuda and Hidetomo Nabeshima and Masaaki Nishino and Shuhei Denzumi and Shin-ichi Minato},
journal= {arXiv preprint arXiv:2309.07381},
year = {2023}
}
备注
https://afsa.jp/icgca/