|
View: |
Part 1: Document Description
|
|
Citation |
|
|---|---|
|
Title: |
Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic |
|
Identification Number: |
doi:10.60507/FK2/ZE9C3L |
|
Distributor: |
bonndata |
|
Date of Distribution: |
2024-11-05 |
|
Version: |
1 |
|
Bibliographic Citation: |
Brand, Timo; Held, Stephan, 2024, "Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic", https://doi.org/10.60507/FK2/ZE9C3L, bonndata, V1 |
|
Citation |
|
|
Title: |
Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic |
|
Identification Number: |
doi:10.60507/FK2/ZE9C3L |
|
Authoring Entity: |
Brand, Timo (Technical University of Munich) |
|
Held, Stephan (University of Bonn) |
|
|
Distributor: |
bonndata |
|
Access Authority: |
Held, Stephan |
|
Depositor: |
Held, Stephan |
|
Date of Deposit: |
2024-10-28 |
|
Holdings Information: |
https://doi.org/10.60507/FK2/ZE9C3L |
|
Study Scope |
|
|
Keywords: |
Mathematical Sciences |
|
Abstract: |
This dataset contains source code and consoles for computing chromatic numbers with exact decision diagrams, solving integer programs with exact arithmetic. The chromatic number of the DIMACS instance r1000.1c could be determined for the first time. There are 3 files: - ddruns_main.zip contains scripts to reproduce the results - ddruns.tar contains the consoles and SCIP-exact certificates from our exeriments - ddcolors_flow_extraction.zip contains the C++ source code to compute exact decision diagrams for graph coloring. |
|
Kind of Data: |
C++, BASH, and consoles |
|
Methodology and Processing |
|
|
Sources Statement |
|
|
Data Access |
|
|
Other Study Description Materials |
|
|
Related Publications |
|
|
Citation |
|
|
Title: |
T. Brand and S. Held: Fractional Chromatic Numbers from Exact Decision Diagrams |
|
Identification Number: |
arXiv:2411.03003 |
|
Bibliographic Citation: |
T. Brand and S. Held: Fractional Chromatic Numbers from Exact Decision Diagrams |
|
Label: |
ddcolors-flow_extraction.zip |
|
Text: |
C++ code for generating exact decision diagrams for graph coloring. |
|
Notes: |
application/zip |
|
Label: |
ddruns-main.zip |
|
Text: |
Bash scripts to download and compile SCIP and ddcolors and for computing & solving graph coloring ILPs based on exact decision diagrams. |
|
Notes: |
application/zip |
|
Label: |
ddruns.tar |
|
Text: |
Tar file containing all logfiles & certificates of exact decision diagram compilations (ddlogs). |
|
Notes: |
application/x-tar |
|
Label: |
README.md |
|
Text: |
Data set README |
|
Notes: |
text/markdown |