Wolfram Data Repository
Immediate Computable Access to Curated Contributed Data
The Second DIMACS Implementation Challenge: 1992-1993
Originator: Carlo Mannino
NP Hard Problems: Maximum Clique, Graph Coloring, and Satisfiability, The Second DIMACS Implementation Challenge: 1992-1993.
Clique formulation of the Steiner Triple Problem, translated from the set covering formulation.
(45 vertices, 918 edges)
Retrieve the graph:
In[1]:= |
Out[1]= |
Summary properties:
In[2]:= |
Out[2]= |
Find the maximum clique:
In[3]:= |
In[4]:= |
Out[4]= |
Show the maximum clique:
In[5]:= |
Out[6]= |
Wolfram Research, "Steiner Triple System A9 Graph" from the Wolfram Data Repository (2019)