s=2, k=2 results
s=2, k=2 results
<|1->None28,24,2->None412,272,"NotFound"2,38,42,3->None4152,2612,"NotFound"66,382,434,54,610,4->None29524,23265,"NotFound"2599,3324,4166,654,526,72,5->None152530,212256,"NotFound"35232,3770,4440,692,548,76,82,6->None566633,234392,"NotFound"302961,31248,4850,668,536,74,7->None1610690,274816,"NotFound"1677708,31428,41184,620,510|>
In[]:=
Total[None1610690,274816,"NotFound"1677708,31428,41184,620,510]
Out[]=
3365856
states case:
{124,None4,24,1276,None136,266,TooBig2,314,42,12024,None2128,2512,TooBig66,3164,450,54,610,72,110626,None20418,22480,TooBig1079,3976,4260,816,628,535,104,730,92,116,142504,None133494,28400,TooBig11764,33920,41086,1116,926,148,736,636,1018,124,526,836,152,1134596,221112,311704,43532,5122,716,834,96,1022,1114,1212,1418,154,182,None637328,TooBig97670,1346104,240768,326936,49156,5560,812,92,112,122,134,1410,152,184,None2292116,TooBig650178}
<||><||>
In[]:=
belems[assoc_,max_]:=Append[Table[Lookup[assoc,i,0],{i,2,max}],assoc[None]+Lookup[assoc,"NotFound",0]]/Total[assoc]
In[]:=
belems[assoc_,min_,max_]:=Append[Table[Lookup[assoc,i,0],{i,min,max}],assoc[None]+Lookup[assoc,"NotFound",0]]/Total[assoc]
In[]:=
BarChart[Transpose[belems[#,2,9]&/@{None28,24,None412,272,"NotFound"2,38,42,None4152,2612,"NotFound"66,382,434,54,610,None29524,23265,"NotFound"2599,3324,4166,654,526,72,None152530,212256,"NotFound"35232,3770,4440,692,548,76,82,None566633,234392,"NotFound"302961,31248,4850,668,536,74,None1610690,274816,"NotFound"1677708,31428,41184,620,510}],ScalingFunctions"Log",FrameTrue,ChartLabels{Placed[Join[Range[7]+1,{"",Infinity}],Below],None}]
Out[]=
In[]:=
BarChart[Transpose[belems[#,1,16]&/@{124,None4,24,1276,None136,266,TooBig2,314,42,12024,None2128,2512,TooBig66,3164,450,54,610,72,110626,None20418,22480,TooBig1079,3976,4260,816,628,535,104,730,92,116,142504,None133494,28400,TooBig11764,33920,41086,1116,926,148,736,636,1018,124,526,836,152,1134596,221112,311704,43532,5122,716,834,96,1022,1114,1212,1418,154,182,None637328,TooBig97670,1346104,240768,326936,49156,5560,812,92,112,122,134,1410,152,184,None2292116,TooBig650178}],ScalingFunctions"Log",FrameTrue,ChartLabels{Placed[Join[Range[15],{"",Infinity}],Below],None}]
Out[]=
In[]:=
Max[Select[Keys[#],NumberQ]]&/@{None28,24,None412,272,"NotFound"2,38,42,None4152,2612,"NotFound"66,382,434,54,610,None29524,23265,"NotFound"2599,3324,4166,654,526,72,None152530,212256,"NotFound"35232,3770,4440,692,548,76,82,None566633,234392,"NotFound"302961,31248,4850,668,536,74,None1610690,274816,"NotFound"1677708,31428,41184,620,510}
Out[]=
{2,4,6,7,8,7,6}
In[]:=
Max[Select[Keys[#],NumberQ]]&/@{124,None4,24,1276,None136,266,TooBig2,314,42,12024,None2128,2512,TooBig66,3164,450,54,610,72,110626,None20418,22480,TooBig1079,3976,4260,816,628,535,104,730,92,116,142504,None133494,28400,TooBig11764,33920,41086,1116,926,148,736,636,1018,124,526,836,152,1134596,221112,311704,43532,5122,716,834,96,1022,1114,1212,1418,154,182,None637328,TooBig97670,1346104,240768,326936,49156,5560,812,92,112,122,134,1410,152,184,None2292116,TooBig650178}
Out[]=
{2,4,7,11,15,18,18}
In[]:=
Text[Grid[Prepend[Table[{t,{2,4,6,7,8,7,6}[[t]],{2,4,7,11,15,18,18}[[t]]},{t,7}],Style[#,Italic]&/@{"p","steps","states"}],FrameAll]]
Out[]=
p | steps | states |
1 | 2 | 2 |
2 | 4 | 4 |
3 | 6 | 7 |
4 | 7 | 11 |
5 | 8 | 15 |
6 | 7 | 18 |
7 | 6 | 18 |
In[]:=
TMAppliesGraph[List/@Flatten[#],10]&/@{{{1,1}{2,0,-1},{2,1}{1,1,1},{2,1}{1,0,1},{1,0}{2,1,-1},{2,0}{1,1,1}},{{1,1}{2,0,1},{2,1}{1,1,-1},{2,1}{1,0,-1},{1,0}{2,1,1},{2,0}{1,1,-1}}}
Out[]=
,
In[]:=
TMAppliesGraph[List/@Flatten[#],10]&/@{{{1,1}{2,1,-1},{1,1}{2,0,-1},{2,1}{1,0,1},{1,0}{2,1,-1},{2,0}{1,1,1}},{{1,1}{2,1,1},{1,1}{2,0,1},{2,1}{1,0,-1},{1,0}{2,1,1},{2,0}{1,1,-1}},{{2,1}{1,1,-1},{2,1}{2,1,1},{1,0}{2,1,1},{2,0}{1,1,-1},{2,0}{2,0,-1}},{{2,1}{1,1,-1},{2,1}{2,1,1},{1,0}{2,1,1},{2,0}{1,0,-1},{2,0}{2,0,-1}},{{2,1}{1,1,1},{2,1}{2,1,-1},{1,0}{2,1,-1},{2,0}{1,1,1},{2,0}{2,0,1}},{{2,1}{1,1,1},{2,1}{2,1,-1},{1,0}{2,1,-1},{2,0}{1,0,1},{2,0}{2,0,1}}}
Out[]=
,
,
,
,
,
Out[]=
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
State Maximization
State Maximization
s=3, k=2
s=3, k=2