论文标题
高架式：超图和经验发现的基准和工具
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
论文作者
论文摘要
为了应对回答结合性查询（CQS）和解决约束满意度问题（CSP）的顽固性，已经提出了几种超图解分解的概念 - 引起宽度的不同概念，明显，明显，普遍，广义和分数hypertial Hypertree宽度（HW，GHW，GHW，GHW，GHW和FHW）。鉴于对在实践中使用这种分解方法的兴趣越来越多，可以公开访问的分解软件存储库以及大量的基准测试以及可插入，分析和检索超图的可访问工作台。 我们通过（i）提供（i）HyperGraph分解（包括新的实用算法）的具体实现，（ii）由CQ和CSP集合不同的新型，全面的高图基准，以及（iii）Hyperbench，我们的新网络级，我们的New Web-Inter \ - 用于访问Benchmark和我们的分析结果和分析结果的范围。此外，我们描述了我们使用这种新基础架构进行的许多实际实验。
To cope with the intractability of answering Conjunctive Queries (CQs) and solving Constraint Satisfaction Problems (CSPs), several notions of hypergraph decompositions have been proposed -- giving rise to different notions of width, noticeably, plain, generalized, and fractional hypertree width (hw, ghw, and fhw). Given the increasing interest in using such decomposition methods in practice, a publicly accessible repository of decomposition software, as well as a large set of benchmarks, and a web-accessible workbench for inserting, analyzing, and retrieving hypergraphs are called for. We address this need by providing (i) concrete implementations of hypergraph decompositions (including new practical algorithms), (ii) a new, comprehensive benchmark of hypergraphs stemming from disparate CQ and CSP collections, and (iii) HyperBench, our new web-inter\-face for accessing the benchmark and the results of our analyses. In addition, we describe a number of actual experiments we carried out with this new infrastructure.
