WOLFRAM NOTEBOOK

s=1, k=2 [see also end of NDTM-18]

In[]:=
ResourceFunction["InteractiveListSelector"][{#[[1,1]],Length[#]}->#[[1,2]]&/@GatherBy[ResourceFunction["ParallelMapMonitored"][TMAppliesGraphIndicator[#,5]#&,Select[Subsets[List/@TMRuleCases[1,2],{2}],Not@*TestDeterministic]],#[[1]]&]]
Out[]=
,
,3
Add
,
,
,2
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
Clear
Copy
Pure counting....
{{{{1,0}{1,1,1}},{{1,0}{1,0,1}}}}
In[]:=
ResourceFunction["InteractiveListSelector"][{#[[1]],Length[#]}->#[[1,2]]&/@GatherBy[ResourceFunction["ParallelMapMonitored"][TMAppliesGraphIndicator[#,10]&,{{{{1,0}{1,1,-1}},{{1,0}{1,0,1}}},{{{1,0}{1,0,-1}},{{1,0}{1,1,1}}}}],#[[1]]&]]
Out[]=
,
,1
Add
,
,
,1
Add
Clear
Copy
In[]:=
ResourceFunction["InteractiveListSelector"][{#[[1,1]],Length[#]}->#[[1,2]]&/@GatherBy[ResourceFunction["ParallelMapMonitored"][TMAppliesGraphIndicator[#,5]#&,Select[Subsets[List/@TMRuleCases[1,2],{3}],Not@*TestDeterministic]],#[[1]]&]]
Out[]=
,
,3
Add
,
,
,3
Add
,
,
,3
Add
,
,
,3
Add
,
,
,3
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,2
Add
,
,
,1
Add
,
,
,1
Add
,
,
,2
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,2
Add
,
,
,2
Add
,
,
,1
Add
,
,
,2
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,2
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
,
,
,1
Add
Clear
Copy
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.