In[]:=
Cases[allres2,(r_7)r,Infinity,10]
Out[]=
{{AAAB,ABBAA},{AB,AAAA,BBA},{ABAABB,AAAB},{ABAAB,ABBAA},{AAABA,ABBBA},{AAABA,BAABB},{ABAAB,AAABB},{AAABB,BAAAB},{ABAAB,ABAAB},{AAAB,BAABAB}}
In[]:=
winners=Table[First@Cases[allres2,(r_n)r,Infinity,1],{n,16}]
Out[]=
In[]:=
resolv=#Resolved&/@MapIndexed[CanonicalCriticalPairs[#,First[#2]]&,Take[winners,5]]
Out[]=
In[]:=
unres=#Unresolved&/@MapIndexed[CanonicalCriticalPairs[#,First[#2]-1]&,Take[winners,5]]
Out[]=
{{},{AB{BB,AA},AB{AA,BB}},{A{AA,BAB},A{BAB,AA}},{A{AA,BAAB},A{BAAB,AA}},{A{AA,BAABB},A{BAABB,AA}}}
In[]:=
winnerfacts[n_]:=Module[{w=winners[[n]],unres,res},unres=First[CanonicalCriticalPairs[w,n-1]["Unresolved"],"A"{"A","A"}];res=First@Cases[CanonicalCriticalPairs[w,n]["Resolved"],(unresr_)r];{n,w,First[unres](Last[unres]->res),Length[Catenate[MultiwaySystem[w,unres[[1]],n,"AllStatesList"]]]}]
In[]:=
summary=Table[Echo@winnerfacts[n],{n,16}]
»
{1,{AA},A{A,A}A,2}
»
{2,{AB,ABAA},AB{BB,AA}BB,5}
»
{3,{AAA,ABAB},A{AA,BAB}BABABAB,22}
»
{4,{AAA,ABAAB},A{AA,BAAB}BAABAABAAB,121}
»
{5,{AAA,ABAABB},A{AA,BAABB}BAABBAABBAABBABB,515}
»
{6,{AAAB,ABAAA},ABAA{AABBAA,A}AABBAABB,1664}
»
{7,{AAAB,ABBAA},ABBA{AABBBA,A}AAAABBBAAB,2401}
»
{8,{AAA,AABABBB},AA{AAA,BABBB}BABBBABBBABBBBBBBBB,759}
»
{9,{AB,BBA,AAAAB},AAAA{BAAA,B}B,30}
Out[]=
$Aborted
In[]:=
summary=Table[Echo@winnerfacts[n],{n,16}]
»
{1,{AA},A{A,A}A,2}
»
{2,{AB,ABAA},AB{BB,AA}BB,5}
»
{3,{AAA,ABAB},A{AA,BAB}BABABAB,22}
»
{4,{AAA,ABAAB},A{AA,BAAB}BAABAABAAB,121}
»
{5,{AAA,ABAABB},A{AA,BAABB}BAABBAABBAABBABB,515}
»
{6,{AAAB,ABAAA},ABAA{AABBAA,A}AABBAABB,1664}
»
{7,{AAAB,ABBAA},ABBA{AABBBA,A}AAAABBBAAB,2401}
»
{8,{AAA,AABABBB},AA{AAA,BABBB}BABBBABBBABBBBBBBBB,759}
»
{9,{AB,BBA,AAAAB},AAAA{BAAA,B}B,30}
»
{10,{AAA,AABABBBB},AA{AAA,BABBBB}BABBBBABBBBABBBBBBBBBBBBBBBB,4020}
»
{11,{AAA,AAABABBB},AAA{AAAA,BABBB}BABBBABBBABBBBBBBBB,2294}
»
{12,{AAA,AAB,BBBBA},AA{AAA,B}B,405}
»
{13,{AB,BBA,AAAAABA},AAAAAB{BAAAAB,A}A,94}
»
{14,{AAB,BAAA,BBBA},BBBAA{AAA,BBA}AA,2698}
»
{15,{AAA,BBBA,AAAAB},AAAA{AAAAA,B}B,430}
»
{16,{AAA,AAAB,BBBBA},AAA{AAAA,B}B,906}
Out[]=
In[]:=
FindShortestPath[MultiwaySystem[{"A""AA","AAA""B","BBBB""A"},"AAAA",16,"StatesGraphStructure"],"AAAA","B"]
Out[]=
{AAAA,AAAAA,AAAAAA,AAAAAAA,AAAAAAAA,AAAAAAAAA,AAAAAAAAAA,AAAAAAAAAAA,AAAAAAAAAAAA,AAAAAAAAAAAAA,AAAAAAAAAAAAAA,AAAAAAAAAAAB,AAAAAAAABB,AAAAABBB,AABBBB,AAA,B}
FindShortestPath[MultiwaySystem[{"A""AA","AA""BABBBB"},"AAAA",16,"StatesGraphStructure"],"AAAA","B"]
k=3
k=3
In[]:=
winners=Table[First@Cases[allresk3,(r_n)r,Infinity,1],{n,10}]
Out[]=
{{AA},{AB,ABAA},{AAA,ABAB},{AAA,ABAAB},{AAA,ABAABB},{ABAC,AAABA},{AAAB,ABBAA},{AAB,BAC,BAB},{AB,BAA,ABBCC},{AB,BAA,BBBCC}}
In[]:=
winnerfacts[n_]:=Module[{w=winners[[n]],unres,res},unres=First[CanonicalCriticalPairs[w,n-1]["Unresolved"],"A"{"A","A"}];res=First@Cases[CanonicalCriticalPairs[w,n]["Resolved"],(unresr_)r];{n,w,First[unres](Last[unres]->res),Length[Catenate[MultiwaySystem[w,unres[[1]],n,"AllStatesList"]]]}]
In[]:=
summary3=Table[Echo@winnerfacts[n],{n,10}]
»
{1,{AA},A{A,A}A,2}
»
{2,{AB,ABAA},AB{BB,AA}BB,5}
»
{3,{AAA,ABAB},A{AA,BAB}BABABAB,22}
»
{4,{AAA,ABAAB},A{AA,BAAB}BAABAABAAB,121}
»
{5,{AAA,ABAABB},A{AA,BAABB}BAABBAABBAABBABB,515}
»
{6,{ABAC,AAABA},A{BAC,AABA}BAABACABBAABACBABAC,5383}
»
{7,{AAAB,ABBAA},ABBA{AABBBA,A}AAAABBBAAB,2401}
»
{8,{AAB,BAC,BAB},BA{ACA,B}ABCABCC,2062}
»
{9,{AB,BAA,ABBCC},ABBC{BBBC,C}C,197}
»
{10,{AB,BAA,BBBCC},BBBC{AABBC,C}C,344}
Out[]=