s=1, k=2 [see also end of NDTM-18]
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[]=
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[]=
In[]:=
ResourceFunction["InteractiveListSelector"][{#[[1,1]],Length[#]}->#[[1,2]]&/@GatherBy[ResourceFunction["ParallelMapMonitored"][TMAppliesGraphIndicator[#,5]#&,Select[Subsets[List/@TMRuleCases[1,2],{3}],Not@*TestDeterministic]],#[[1]]&]]
Out[]=
