View: |
Part 1: Document Description
|
Citation |
|
---|---|
Title: |
Minimum Mean Cycle Instances |
Identification Number: |
doi:10.60507/FK2/1DGUVE |
Distributor: |
bonndata |
Date of Distribution: |
2024-03-04 |
Version: |
1 |
Bibliographic Citation: |
Held, Stephan, 2024, "Minimum Mean Cycle Instances", https://doi.org/10.60507/FK2/1DGUVE, bonndata, V1 |
Citation |
|
Title: |
Minimum Mean Cycle Instances |
Identification Number: |
doi:10.60507/FK2/1DGUVE |
Authoring Entity: |
Held, Stephan (University of Bonn) |
Distributor: |
bonndata |
Access Authority: |
Held, Stephan |
Depositor: |
Held, Stephan |
Date of Deposit: |
2024-02-27 |
Holdings Information: |
https://doi.org/10.60507/FK2/1DGUVE |
Study Scope |
|
Keywords: |
Engineering, Mathematical Sciences |
Abstract: |
This data set contains some large real-world instances of the minimum mean cycle problem. They are reported as the bonn01 to bonn09 instances in the paper: <br> <br> Georgiadis, L., Goldberg, A. V., Tarjan, R. E., & Werneck, R. F. "An experimental study of minimum mean cycle algorithms", in 2009 Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments (ALENEX), pp. 1–13, SIAM. <br> <br> The instances arise in clock skew scheduling in chip design, e.g. see <br> <br> Held, S., Korte, B., Rautenbach, D. and Vygen, J. "Combinatorial optimization in VLSI design. Combinatorial Optimization", in Combinatorial Optimization, NATO Science for Peace and Security Series - D: Information and Communication Security, pp. 33–96, 2011. <br> <br> The clock skew scheduling problem in chip design is, given a directed graph G with edge delays d:E(G)-> R, find a minimum cycle time T and arrival times (a schedule) a: V(G) -> R such that <br> <br> a(v) + d(v,w) <= a(w) + T for all (v,w) in E(G). <br> <br> G is called a latch graph. The nodes represent latches and registers, and the edges represent the longest signal paths between registers. <br> The problem of minimizing T is equivalent to maximizing the worst slack min{s(v,w) := a(w) + T - a(v) - d(v,w) | (v,w) in E(G)} for a fixed cycle time T. <br> The instances provided in the tar file below consist of directed graphs with edge costs c(v,w) = T - d(v,w), i.e. edge slacks w.r.t. a zero-skew schedule where a = 0. The maximum achievable worst slack by varying the schedule 'a' equals the value of a minimum mean cycle in (G,c). Instance sizes range from 70346 nodes and 898220 edges to 1065274 nodes and 104340248 edges. Other instances are very dense, e.g. 5361 nodes and 4169878 edges. <br> Note that the instances may not be strongly connected or even connected. Format: Ignore empty lines and lines starting with '#', then: 1st line: number_of_nodes number_of_edges next lines: from_node to_node edge_cost (i.e., zero skew slack) |
Methodology and Processing |
|
Sources Statement |
|
Data Access |
|
Other Study Description Materials |
|
Related Publications |
|
Citation |
|
Title: |
Georgiadis, L., Goldberg, A. V., Tarjan, R. E., & Werneck, R. F. "An experimental study of minimum mean cycle algorithms", in 2009 Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments (ALENEX), pp. 1-13, SIAM. |
Identification Number: |
978-0-89871-930-7 |
Bibliographic Citation: |
Georgiadis, L., Goldberg, A. V., Tarjan, R. E., & Werneck, R. F. "An experimental study of minimum mean cycle algorithms", in 2009 Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments (ALENEX), pp. 1-13, SIAM. |
Label: |
cyopt_instances.tar |
Notes: |
application/x-tar |
Label: |
Held_MMC_Readme.txt |
Notes: |
text/plain |