Ordered Graph Model Enumeration
Ordered Graph Model Enumeration
Max Piskunov : 9a28d3dec6dc8d0699ef9a16a2145b5ae79faf3d
Source Code
Source Code
Data
Data
In[]:=
{$rewritesOrdered24h4,$nsoOrderedNetsTo4,$allOrderedNetsTo4}=Get[FileNameJoin[{$Dropbox,"Physics/SW2004Material/Data/"~~#~~".m"}]]&/@{"RewritesOrdered24h4","NSOOrderedNetsTo4","AllOrderedNetsTo4"};
We do have left-hand sides:
In[]:=
Select[MatchQ@Table[{_Integer,__h},2]]@$nsoOrderedNetsTo4〚2,All,1,2〛
Out[]=
{{{4,h[1],h[2]},{1,h[3],h[4]}}}
And right-hand sides:
In[]:=
Select[MatchQ@Table[{_h,__Integer},4]]@$allOrderedNetsTo4〚4,All,1,2〛
Out[]=
So where did they go?
In[]:=
Select[MatchQ[Table[{_Integer,__h},2]Table[{_h,__Integer},4]]]@$rewritesOrdered24h4〚All,All,1,2〛
Out[]=
{}
Do we have the left-hand sides? Yes!
In[]:=
Short[Select[MatchQ[Table[{_Integer,__h},2]_]]@$rewritesOrdered24h4〚All,All,1,2〛,2]
Out[]//Short=
{{{4,h[1],h[2]},{1,h[3],h[4]}}{{4,8,h[1]},{1,11,h[2]},{10,2,h[3]},{7,5,h[4]}},86,{{4,h[1],h[2]},{1,h[3],h[4]}}{1}}
Do we have the right-hand sides? Yes!
In[]:=
Short[Select[MatchQ[_Table[{_h,__Integer},4]]]@$rewritesOrdered24h4〚All,All,1,2〛,2]
Out[]//Short=
{{{h[1],5,h[2]},{h[3],2,h[4]}}{{h[1],5,9},{h[2],2,12},{h[3],11,3},{h[4],8,6}},18,{{h[1],h[2],6},{h[3],h[4],3}}{{1},3}}
But we don’t have the combination.
Enumeration
Enumeration
In[]:=
Subsets[Range@6,{4}]
Out[]=
{{1,2,3,4},{1,2,3,5},{1,2,3,6},{1,2,4,5},{1,2,4,6},{1,2,5,6},{1,3,4,5},{1,3,4,6},{1,3,5,6},{1,4,5,6},{2,3,4,5},{2,3,4,6},{2,3,5,6},{2,4,5,6},{3,4,5,6}}
In[]:=
$inputHairPositions=Union[Sort/@Tuples[Subsets[Range@3,{2}],2]]
Out[]=
{{{1,2},{1,2}},{{1,2},{1,3}},{{1,2},{2,3}},{{1,3},{1,3}},{{1,3},{2,3}},{{2,3},{2,3}}}
In[]:=
$rewritesOrdered24h4〚1〛
Out[]=
OrderedNet[{{1,1},{{4,h[1],h[2]},{1,h[3],h[4]}}}]OrderedNet[{{1,1,1,1},{{4,8,h[1]},{1,11,h[2]},{10,2,h[3]},{7,5,h[4]}}}]