BigraphER_Glasgow_Bigraph_Solver_算法性能测试数据_评估结果

数据集概述

本数据集包含博士论文中用于比较BigraphER的Minisat、Minicard SAT/PB求解器与Glasgow Bigraph Solver性能的测试实例及运行时间结果，为图匹配算法的效率和可扩展性研究提供支持。

文件详解

• 文件名称：thesis_eval.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含用于评估Bigraph匹配算法性能的测试实例数据及对应运行时间结果，具体字段需解压后查看原始文件内容。

数据来源

博士论文“Test Instances and Results: Efficient and Scalable Algorithms for Bigraph Matching”

适用场景

• 图匹配算法性能评估: 对比不同SAT/PB求解器在Bigraph匹配任务中的运行效率与可扩展性。
• 算法优化研究: 基于测试实例和结果数据，分析算法瓶颈并指导Bigraph匹配算法的优化方向。
• 学术研究支撑: 为图匹配领域的相关研究提供标准化测试数据集及基准结果参考。
• 求解器性能对比: 验证Minisat、Minicard与Glasgow Bigraph Solver在特定任务下的表现差异。