2,2 4,2
2,2 4,2
In[]:=
rules=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-42c.wxf"];
In[]:=
res=ParallelMapMonitored[WolframModelTest[#,{{0,0},{0,0}}]&,rules];
Out[]=
$Aborted
In[]:=
res=ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",#,Nothing]&[WolframModelTest[#,{{0,0},{0,0}}]])&,rules];
In[]:=
Counts[#["TerminationReason"]&/@res]
Out[]=
FixedPoint10480
In[]:=
fixed=Select[res,#["TerminationReason"]==="FixedPoint"&];
In[]:=
KeySort[Counts[Length[#["Sizes"]]&/@fixed]]
Out[]=
18125,21627,3401,4233,553,620,719,91,131
In[]:=
sfixed=ReverseSortBy[fixed,Length[#["Sizes"]]&];
In[]:=
First[sfixed]
Out[]=
In[]:=
Select[ParallelMapMonitored[WolframModel[#Rule,#Init,Length[#Sizes]+5,"FinalState"]#Rule&,sfixed],ConnectedHypergraphQ[First[#]]&,5]
Out[]=
In[]:=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[#,{{0,0},{0,0}},10,"StatesList"])&/@(Last/@%)
Out[]=
In[]:=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[{{1,2},{1,3}}{{1,4},{4,2},{2,5},{3,6}},{{0,0},{0,0}},20,"StatesList"])
Out[]=
In[]:=
Length[%]
Out[]=
14
2,2 5,2
2,2 5,2
In[]:=
rules=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-52c.wxf"];
In[]:=
res=ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",#,Nothing]&[WolframModelTest[#,{{0,0},{0,0}}]])&,rules];
In[]:=
Counts[#["TerminationReason"]&/@res]
Out[]=
FixedPoint67817
In[]:=
Length[res]
Out[]=
67817
In[]:=
Length[rules]
Out[]=
353462
In[]:=
67817/%//N
Out[]=
0.191865
In[]:=
fixed=Select[res,#["TerminationReason"]==="FixedPoint"&];
In[]:=
KeySort[Counts[Length[#["Sizes"]]&/@fixed]]
Out[]=
153946,210131,32252,4897,5355,6103,783,819,917,102,112,138,171,241
In[]:=
sfixed=ReverseSortBy[fixed,Length[#["Sizes"]]&];
In[]:=
First[sfixed]
Out[]=
Should optimize by only checking longer cases:
In[]:=
Select[ParallelMapMonitored[WolframModel[#Rule,#Init,Length[#Sizes]+5,"FinalState"]#Rule&,sfixed],ConnectedHypergraphQ[First[#]]&,5]
Out[]=
3-arity
3-arity