Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

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.

本数据集汇集了使用精确决策图计算色数以及使用精确算术解决整数规划问题的源代码和控制台输出。首次成功确定了 DIMACS 实例 r1000.1c 的色数。数据集包含三个文件：- ddruns_main.zip 包含用于重现结果的脚本文件- ddruns.tar 包含实验中生成的控制台输出和 SCIP-exact 证书- ddcolors_flow_extraction.zip 包含用于计算图着色精确决策图的 C++ 源代码。