Dataset Open Access

Benchmark Hypergraphs and Detailed Experimental Results of "k-way Hypergraph Partitioning via n-Level Recursive Bisection"

Sebastian Schlag

This dataset contains hypergraphs derived from three benchmark sets: The
ISPD98 VLSI Circuit Benchmark Suite [1], the University of Florida Sparse Matrix Collec-
tion [2] and the international SAT Competition 2014 [3]. From the latter, we randomly selected
100 instances from the application track and converted them into hypergraphs as follows:
Each boolean variable (and its complement) is mapped to one vertex and each clause constitutes
a net [41]. The Sparse Matrix Collection is organized into 172 groups and each group contains
matrices of different application areas. From each group, we choose one matrix for each appli-
cation area that has between 10 000 and 10 000 000 columns. In case multiple matrices fulfill
our criteria, we randomly select one. In total, we include 192 matrices, which are translated into
hypergraphs using the row-net model, i.e. each row is treated as a net and each column as
a vertex. Empty rows are discarded. Both vertices and nets have unit weight. Together with the
18 ISPD98 VLSI instances , a total of 310 hypergraphs constitute our benchmark set. 4 Each of
these hypergraphs is partitioned into k ∈ {2, 4, 8, 16, 32, 64, 128} blocks with ε = 0.03. For each
value of k, a k-way partition is considered to be one test instance, resulting in a total of 2170
instances.

See the README for further information on the different files contained in this dataset.

[1 ]C. J. Alpert. The ISPD98 Circuit Benchmark Suite. In Proc. of the 1998 Int. Symp. on Physical Design, ISPD ’98, pages 80–85, New York, 1998. ACM.
[2] T. A. Davis and Y. Hu. The University of Florida Sparse Matrix Collection. ACM Trans. Math. Softw.,38(1):1:1–1:25, 2011.
[3] A. Belov, D. Diepold, M. Heule, and M. Järvisalo. The SAT Competition 2014. http://www.satcompetition.org/2014/, 2014.

Files (1.8 GB)
Name Size
detailed_per_instance_results_all_hypergraphs_epsilon_0.03.csv
md5:db2ab1cf4bf999772f7d8cbe82e6bbc0
249.7 kB Download
detailed_per_instance_results_subset_epsilon_0.01.csv
md5:b251ac43c2775a2f5a3bbc31cde43896
85.6 kB Download
detailed_per_instance_results_subset_epsilon_0.1.csv
md5:da57312513df3bdf59acfeac11fc104f
85.3 kB Download
excluded_instances.pdf
md5:480caad4d48353f2a2de69f4c2466b95
48.2 kB Download
instances_used_for_imbalance_experiments.csv
md5:45bf3baf8049e8015b03a0b18ba30be4
2.0 kB Download
ISPD98_hypergraphs.tar.gz
md5:bcdb06351e9abd42e110c760c7c5a5a4
15.5 MB Download
properties_ISPD98_hypergraphs.pdf
md5:03d237e86b02be2eea045eb737209822
63.9 kB Download
properties_sat14_hypergraphs.pdf
md5:c37c9dd56532f34f4c5abc5d8b735db4
63.3 kB Download
properties_sparse_matrix_hypergraphs.pdf
md5:f3795c1a3b6963c69eb49edc93606b5a
84.3 kB Download
README
md5:80826209cd786cb9fe7cb2caaea323e1
2.7 kB Download
sat14_application_track_hypergraphs.tar.gz
md5:99b3f14e0a90cfa8dfeb15d0ba9ea430
739.3 MB Download
uf_spm_hypergraphs.tar.gz
md5:4a8a12163c687542eb864c818dd682e6
1.0 GB Download
51
6
views
downloads
All versions This version
Views 5151
Downloads 66
Data volume 1.3 MB1.3 MB
Unique views 5151
Unique downloads 55

Share

Cite as