数据集概述
本数据集包含FraSMT实验的分析基准数据与原始数据，涉及超图的分数超树宽度（fhtd）相关实验结果，涵盖时间、内存、目标值等指标，支持实验结果的复现与分析。
文件详解
该数据集包含多种格式的文件，具体说明如下：
- CSV数据文件（24个）：
- 名称示例：fhtd-hypergraphs-by-benchmark_short.csv、fhtd-hypergraphs-by-time.csv、fhtd-hypergraphs-objective_direct_comparison.csv等
- 格式：CSV（逗号分隔值）
- 内容：包含实验分析数据，字段示例有instance（实例）、benchmark_name（基准名称）、time（时间）、solved（是否求解）、solver_config（求解器配置）、objective（目标值）、memusage（内存使用）等
- PDF文档文件（6个）：
- 名称示例：fhtd-hypergraphs-cactus_plot_improved-memusage.pdf、fhtd-hypergraphs-fhtd-htd-pie.pdf等
- 格式：PDF
- 内容：实验结果可视化图表，如仙人掌图、饼图等
- TeX文件（2个）：
- 名称示例：fhtd-hypergraphs-solved_instances_table.tex、fhtd-hypergraphs-diverging_fhtd.tex
- 格式：TeX
- 内容：实验结果表格文件
- 压缩文件：
- 名称：raw_data.tar.bz2
- 格式：.bz2
- 内容：原始数据压缩包
数据来源
Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider（2018年第24届国际约束编程原理与实践会议论文附属数据）
适用场景
- 约束编程研究：验证基于SMT的分数超树宽度计算方法的有效性
- 算法性能分析：分析不同求解器配置在超图问题中的时间与内存效率
- 实验结果复现：复现论文中关于分数超树宽度与超树分解（htd）的对比实验
- 数据可视化研究：基于CSV数据生成超图实验相关的统计图表
- 超图理论应用：探索分数超树宽度在超图问题中的应用场景
