Wolfram Data Repository
Immediate Computable Access to Curated Contributed Data
The Second DIMACS Implementation Challenge: 1992-1993
NP Hard Problems: Maximum Clique, Graph Coloring, and Satisfiability, The Second DIMACS Implementation Challenge: 1992-1993
(500 vertices, 9139 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[18]= | ![]() |
Wolfram Research, "10-Fat Ring Graph with 500 vertices" from the Wolfram Data Repository (2019)