In[]:=
rules32=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-32c.wxf"];
In[]:=
res32=ParallelMapMonitored[WolframModelTest[#,{{0,0},{0,0}}]&,rules32];
In[]:=
Counts[#["TerminationReason"]&/@res32]
Out[]=
MaxVertexDegree1180,FixedPoint1788,MaxGenerations508,MaxEdges444,MaxVertices780,TimeConstraint2
fixed32=Select[res32,#["TerminationReason"]==="FixedPoint"&];
In[]:=
TakeLargestBy[fixed32,Length[#["Sizes"]]&,5]
Out[]=
In[]:=
Counts[Length[#["Sizes"]]&/@fixed32]
Out[]=
11363,3102,2281,510,429,61,72
In[]:=
KeySort[%153]//Values
Out[]=
{1363,281,102,29,10,1,2}
In[]:=
Ratios[%]//N
Out[]=
{0.206163,0.362989,0.284314,0.344828,0.1,2.}
In[]:=
1/%
Out[]=
{4.85053,2.7549,3.51724,2.9,10.,0.5}
In[]:=
Length[rules32]
Out[]=
4702
In[]:=
HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[{{1,2},{3,2}}{{2,4},{4,1},{5,3}},{{0,0},{0,0}},10,"StatesList"]
Out[]=
In[]:=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[#,{{0,0},{0,0}},10,"StatesList"])&/@(#["Rule"]&/@%152)
Out[]=
In[]:=
sfixed32=ReverseSortBy[fixed32,Length[#["Sizes"]]&];
In[]:=
Select[WolframModel[#Rule,#Init,Length[#Sizes]+5,"FinalState"]#Rule&/@sfixed32,ConnectedHypergraphQ[First[#]]&]
Out[]=
In[]:=
Take[%,5]
Out[]=
In[]:=
Last/@%
Out[]=
In[]:=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[#,{{0,0},{0,0}},10,"StatesList"])&/@%179
Out[]=
InteractiveListSelectorSW[ParallelMapMonitored[Graph[Rule@@@#["FinalState"]]#Rule&,sfixed32]]
In[]:=
Select[sfixed32,ConnectedHypergraphQ[#["FinalState"]]&,3]
Out[]=
In[]:=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[#,{{0,0},{0,0}},10,"StatesList"])&/@(#["Rule"]&/@Select[sfixed32,ConnectedHypergraphQ[#["FinalState"]]&,10])
Out[]=
In[]:=
ConnectedHypergraphQ[{{1,0},{1,0},{0,3},{2,0},{2,0},{0,4}}]
Out[]=
True
In[]:=
HypergraphPlot[{{1,0},{1,0},{0,3},{2,0},{2,0},{0,4}}]
Out[]=
1 on LHS
1 on LHS