From Joerg Endrullis
From Joerg Endrullis
In[]:=
orig=;
In[]:=
maintable=#1#2#3&@@@ImportString[StringReplace[orig,{"ap(""",")""","->"","}],"CSV"]
Out[]=
In[]:=
all7=Groupings[Table[s,7],Application2]
Out[]=
In[]:=
#//.maintable&/@(all7/.s4)
Out[]=
{2,7,21,18,33,26,36,28,36,28,36,28,37,28,37,28,38,28,37,28,37,28,37,28,37,28,37,28,37,28,36,28,2,7,21,18,33,26,36,28,38,28,37,28,2,7,21,18,37,28,37,28,27,23,30,18,36,28,2,7,34,28,20,18,37,28,27,23,37,28,25,15,36,28,2,7,37,28,37,28,36,28,37,28,33,2,30,10,37,20,37,18,37,27,36,26,37,25,31,16,33,2,30,10,37,27,33,2,35,24,33,9,34,36,36,32,34,37,36,33,37,37,37,33,36,37,36,33,34,36,36,32}
In[]:=
Position[%,38]
Out[]=
{{17},{41}}
In[]:=
First[(FunctionToApplication/@Import["/Users/sw/Dropbox/Physics/Data/Combinators/S-NT1e4-8.wxf"])]
Out[]=
{s(s(sss))sss,s(s(s(sss)))ss,s(ss)sssss,s(s(ss)ssss),s(s(ss)ss)ss,s(s(ss)s)sss,s(s(s(ss)s))ss,s(s(ss))ssss,s(s(s(ss))s)ss,s(s(s(ss)))sss,sss(ss)sss,s(sss(ss)ss),s(sss(ss))ss,s(ss)(ss)sss,s(s(ss)(ss))ss,s(ss)s(ss)ss,s(s(ss))(ss)ss,sss(sss)ss,sss(s(ss))ss,s(ss)(s(ss))ss,s(sss)s(ss)s,s(s(sss))(ss)s,s(ss)ss(ss)s,s(s(ss))s(ss)s,sss(ss)(ss)s,sss(s(sss))s,s(ss)s(sss)s,sss(s(ss)s)s,s(ss)s(s(ss))s,sss(s(s(ss)))s,s(s(sss))s(ss),s(ss)sss(ss),s(s(ss)s)s(ss),s(s(ss))ss(ss),sss(ss)s(ss),s(ss)(ss)s(ss),s(ss)s(ss)(ss),sss(sss)(ss),sss(s(ss))(ss),s(sss)s(sss),s(sss)s(s(ss))}
In[]:=
#/.s4//.maintable&/@%
Out[]=
{38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38}
In[]:=
Length[%221]
Out[]=
41
In[]:=
Groupings[Table[s,8],Application2];
In[]:=
Select[Groupings[Table[s,8],Application2],(#/.s4//.maintable)38&]
Out[]=
{s(s(sss))sss,s(s(s(sss)))ss,s(ss)sssss,s(s(ss)ssss),s(s(ss)ss)ss,s(s(ss)s)sss,s(s(s(ss)s))ss,s(s(ss))ssss,s(s(s(ss))s)ss,s(s(s(ss)))sss,sss(ss)sss,s(sss(ss)ss),s(sss(ss))ss,s(ss)(ss)sss,s(s(ss)(ss))ss,s(ss)s(ss)ss,s(s(ss))(ss)ss,sss(sss)ss,sss(s(ss))ss,s(ss)(s(ss))ss,s(sss)s(ss)s,s(s(sss))(ss)s,s(ss)ss(ss)s,s(s(ss))s(ss)s,sss(ss)(ss)s,sss(s(sss))s,s(ss)s(sss)s,sss(s(ss)s)s,s(ss)s(s(ss))s,sss(s(s(ss)))s,s(s(sss))s(ss),s(ss)sss(ss),s(s(ss)s)s(ss),s(s(ss))ss(ss),sss(ss)s(ss),s(ss)(ss)s(ss),s(ss)s(ss)(ss),sss(sss)(ss),sss(s(ss))(ss),s(sss)s(sss),s(sss)s(s(ss))}
In[]:=
Length[%]
Out[]=
41
In[]:=
%221===%215
Out[]=
True
In[]:=
Graph[Catenate[Thread/@((Reverse/@maintable)/.ApplicationList)]]
Out[]=
In[]:=
SimpleGraph[%]
Out[]=
In[]:=
Select[Groupings[Table[s,9],Application2],(#/.s4//.maintable)38&]
Out[]=
In[]:=
Length[%]
Out[]=
276
In[]:=
First[(FunctionToApplication/@Import["/Users/sw/Dropbox/Physics/Data/Combinators/S-NT1e4-9.wxf"])]
Out[]=
In[]:=
Length[%]
Out[]=
276
In[]:=
Select[Groupings[Table[s,10],Application2],(#/.s4//.maintable)38&];
In[]:=
Length[%]
Out[]=
1481
In[]:=
Select[Groupings[Table[s,11],Application2],(#/.s4//.maintable)38&];
In[]:=
Length[%]
Out[]=
6829
Need ordering for nodes.....
[Singleway growth]
[Singleway growth]
39 types of subtree; once one reaches the 39th type, infinite growth is inevitable.......
If initial state has a 38, all subsequent states will too.....
Size 13 and beyond
Size 13 and beyond
DISABLED THREADRIPPER
Size 10
Size 10
Size 11
Size 11
Size 12
Size 12
Size 13
Size 13
TO RUN:
Size 14
Size 14
Size 15
Size 15
Champions
Champions
Size 16 [[[ Needs prep ]]]
Size 16 [[[ Needs prep ]]]
BEFORE:
BEFORE:
NOTE: remove threadripper; leave only MacOS