bonndata catalog
Thumbnail for Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

Open this dataset in the live repository

Important usage condition: Use and redistribution are governed by MIT. Review and comply with the license before using the data.
Persistent identifier
doi:10.60507/FK2/ZE9C3L
Published version
1.1
Publication date
2024-11-05
License
MIT

Description

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.

Creators

Keywords

Graph Coloring, fractional chromatic number

Files

Before downloading: Use and redistribution are governed by MIT. Review and comply with the license before using the data.
FileTypeBytesChecksum
ddruns-main.zipapplication/zip26686902MD5 293beb08800f0b928fc73551c3eb2f87
ddcolors-flow_extraction.zipapplication/zip42440MD5 10fa4645ff4ff9d5c0504204d65a1208
README.mdtext/markdown848MD5 d97dfaf04f65fded991377d4fb4ba0b9
ddruns.tarapplication/x-tar7067473920MD5 1f11b823ef41cf5ad062162568025430

Citation

Brand, Timo; Held, Stephan, 2024-11-05, Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic, doi:10.60507/FK2/ZE9C3L, V1.1

Additional Dataverse fields

Id317
Dataset Typedataset
Internal Version Number5
Latest Version Publishing StateRELEASED
Deaccession LinkNot supplied
Release Time2024-11-08T12:41:17Z
Create Time2024-11-07T13:39:01Z
Citation Date2024-11-05
File Access RequestFalse

Export metadata

Static metadata exports available for this published dataset version:

Complete Dataverse metadata

Citation Metadata

Title title
Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic
Author author
  1. Author Name
    Brand, Timo
    Author Affiliation
    Technical University of Munich
    Author Identifier Scheme
    ORCID
    Author Identifier
    0009-0004-3111-2045
  2. Author Name
    Held, Stephan
    Author Affiliation
    University of Bonn
    Author Identifier Scheme
    ORCID
    Author Identifier
    0000-0003-2188-1559
Dataset Contact datasetContact
  1. Dataset Contact Name
    Held, Stephan
    Dataset Contact Affiliation
    University of Bonn
    Dataset Contact Email
    held@dm.uni-bonn.de
Ds Description dsDescription
  1. Ds Description Value
    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.
Subject subject
  1. Mathematical Sciences
Free Keyword freeKeyword
  1. Free Keyword Value
    Graph Coloring, fractional chromatic number
Publication publication
  1. Publication Relation Type
    IsCitedBy
    Publication Citation
    T. Brand and S. Held: Fractional Chromatic Numbers from Exact Decision Diagrams
    Publication IDType
    arXiv
    Publication IDNumber
    arXiv:2411.03003
    Publication URL
    https://arxiv.org/abs/2411.03003
Depositor depositor
Held, Stephan
Date Of Deposit dateOfDeposit
2024-10-28
Kind Of Data kindOfData
  1. C++, BASH, and consoles

Software Metadata (CodeMeta v2.0)

Code Repository codeRepository
  1. https://github.com/heldstephan/ddruns
  2. https://github.com/trewes/ddcolors/tree/flow_extraction
Programming Language programmingLanguage
  1. C++
  2. BASH scripts
Software Requirements Item softwareRequirementsItem
  1. Software Requirements
    Ubuntu 22.04
Software Help softwareHelp
  1. https://github.com/heldstephan/ddruns/blob/main/README.md

Expected crawler behaviour

Use a stable, truthful User-Agent with product/version and a working contact URL. Across all IP addresses and HTTP connections used by one crawler identity, allow no more than 5 requests in flight and wait at least 20 seconds between request starts. Crawl URLs listed in the catalog sitemap, including file pages and download URLs when they are published, use conditional requests, honor Retry-After, and apply exponential backoff after errors.

The welcome page may link to the interactive repository for human navigation. Automated clients must not treat that human link as a catalog crawl target.

Read the live machine-readable crawler policy before and during a crawl. Stop crawling when it reports CPU or memory utilization at or above 80% and 80% respectively.