%I#7 2012年3月31日13:21:12
%S 0,1,2,3,4,5,8,6,7,9,10,11,12,13,21,22,19,14,15,20,16,17,18,23,24,25,
%电话:26,27,28,29,30,31,32,33,34,35,36,58,59,62,63,64,56,60,51,37,38,52,39,
%U 40、41、57、61、53、42、43、54、44、45、46、55、47、48、49、50、65、66、67、68、69、70、71
%非递归加泰罗尼亚自同构的N签名置换:表A089840的第1786785行。
%C这个自同构如下所示,其中字母A、B、C、D、E和F表示位于这些节点上的任意子树,()表示隐含的终端节点。
%C。。。。。。。。。。。。。。。。。。。。。。。。。。。。。B……C…………F……B。。。。。。
%C。。。。。。。
%C。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。x……D…………x……C。。。。
%C。。。。。
%C。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。x……E…………x……D。。
%C。。。
%C。。A……B…………C…A………..x……F………..x……E
%C…\./……..\./……..\./……..\./。
%C。。。。x…C…-->。。。x...B……….()。。x…………()。。x。。
%C…../……../。。。
%C。。。。。。x…………..x。。。。
%C这是表A089840中总共七个开放同构的最后一个多条款自同构。下一个非递归自同构A089840[1786786]由一个七节点子句组成,它交换前两个顶层元素(一般平面树的元素,如*A072796所做的),但仅当A057515(n)>6时交换,在其他情况下保持树的完整性。
%H A.Karttunen,<A href=“/A123714/b123714.txt”>n,A(n)表,n=0..6917</a>
%H A.Karttunne,《序言》(Prolog-program),解释了这个和其他类似的非递归加泰罗尼亚自同构的构造</a>
%H<a href=“/index/Per#IntegerPermutationCatAuto”>加泰罗尼亚自同构的签名置换索引条目</a>
%o(Scheme函数,作用于S表达式的该自同构的破坏性实现:)))(let((org_f(cddrs)))(set-cdr
%Y反转:A123713。A089840的第1786785行。第一次与A089857不同,n=102,其中a(n)=106,而A089857-(n)=102。
%K nonn公司
%0、3
%2006年10月11日,安蒂·卡图内
|