Wolfram Data Repository

Immediate Computable Access to Curated Contributed Data

Second DIMACS Sanchis Graph 13

The Second DIMACS Implementation Challenge: 1992-1993

Originator: Laura Sanchis

NP Hard Problems: Maximum Clique, Graph Coloring, and Satisfiability, The Second DIMACS Implementation Challenge: 1992-1993.

Instances based on "Test Case Construction for Vertex Cover Problem," DIMACS Workshop on Computational Support for Discrete Mathematics, March 1992.

(200 vertices, 17863 edges)

Examples

Basic Examples

Retrieve the graph:

In[1]:=
ResourceData["Second DIMACS Sanchis Graph 13"]
Out[1]=

Summary properties:

In[2]:=
ResourceData["Second DIMACS Sanchis Graph 13", All]["Summary"]
Out[2]=

Basic Applications

Show the properties of the graph:

In[3]:=
g = ResourceData["Second DIMACS Sanchis Graph 13"];
In[4]:=
Dataset[<|# -> #[g]|> & /@ {GraphDiameter, GraphDensity, MeanGraphDistance, GraphLinkEfficiency}]
Out[4]=

Wolfram Research, "Second DIMACS Sanchis Graph 13" from the Wolfram Data Repository (2019)  

Data Resource History

  • Date Created:

Source Metadata

  • Citation:
    • Volume 26, Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11-13, 1993, Editors: David S. Johnson and Michael A. Trick; AMS, Providence, RI, 1996.

Data Downloads

Publisher Information

  • Prepared for the Wolfram Data Repository By: Wolfram
  • Publisher of Record: Wolfram Research