In[]:=
GraphPlot[mathlib]
In[]:=
ByteCount[mathlib]
Out[]=
271471152
In[]:=
Length[VertexList[mathlib]]
Out[]=
107229
In[]:=
Subgraph[mathlib,RandomSample[VertexList[mathlib],1000]]
Out[]=
In[]:=
Graph[%,VertexLabelsAutomatic]
Out[]=
In[]:=
Subgraph[mathlib,RandomSample[VertexList[mathlib],3000]]
Out[]=
In[]:=
WeaklyConnectedGraphComponents[%]
VertexReplace