2,2 3,2
2,2 3,2
In[]:=
allrules=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-32c.wxf"];
In[]:=
Length[allrules]
Out[]=
4702
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],1]&,allrules];//AbsoluteTiming
Out[]=
{47.7159,Null}
In[]:=
Counts[ans]
Out[]=
True96,False4606
In[]:=
citest[1]=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],1]&,allrules];
In[]:=
Counts[citest[1]]
Out[]=
True96,False4606
In[]:=
InteractiveListSelectorSW[First/@GatherBy[Select[ParallelMapMonitored[FinalPicture2[#,5]#&,Pick[allrules,citest[1]]],ConnectedGraphQ[UndirectedGraph[First[#]]]&]]]
Out[]=
In[]:=
frules[1]=Pick[allrules,citest[1],False];
In[]:=
frules[t_]:=frules[t]=Pick[frules[t-1],citest[t],False]
In[]:=
citest[t_]:=citest[t]=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],t]&,frules[t-1]];
In[]:=
citest[2]
In[]:=
Counts[citest[2]]
Out[]=
False4485,True121
In[]:=
InteractiveListSelectorSW[First/@GatherBy[Select[ParallelMapMonitored[FinalPicture2[#,5]#&,Pick[frules[1],citest[2]]],ConnectedGraphQ[UndirectedGraph[First[#]]]&]]]
Out[]=
In[]:=
citest[t_]:=citest[t]=ParallelMapMonitored[TimeConstrained[TotalCausalInvariantQ[WolframModel[#],t],5]&,frules[t-1]];
In[]:=
citest[3];
In[]:=
Counts[citest[3]]
Out[]=
False4253,$Aborted220,True12
In[]:=
InteractiveListSelectorSW[First/@GatherBy[Select[ParallelMapMonitored[FinalPicture2[#,5]#&,Pick[frules[2],citest[3]]],ConnectedGraphQ[UndirectedGraph[First[#]]]&]]]
Out[]=
Additional Investigation (Causal Graphs)
Additional Investigation (Causal Graphs)
2,24,2
2,24,2
2,33,3
2,33,3
The example rule
The example rule
Interesting rules
Interesting rules