%I#6 2014年6月24日01:08:33
%S 1,1,2,3,5,7,2,4,15,4,2,11,18,14,53,2541606482104754536号
%N配分晶格Par(N)中最大尺寸反链的数目。
%C Par(n)是n在“支配顺序”下的划分集:如果P的最大k部分之和<=所有k的Q的相应和,则划分P是<=划分Q。
%e对于n=10,最大尺寸为A076269(10)=4。有两个最大尺寸的反链:{5+1+1+1、4+3+1+1、4]+2+2+2、3+3+1}和{6+1+1+1,5+2+2+1,4+4+1,4+3+3}。所以a(10)=2。
%t leq[p_,q_]:=如果[Length[p]<Length[q],False,模块[{i,ds},对于[i=1;ds=0,i<Length[q]、i++,如果[(ds+=q[[i]]-p[i]])<0,返回[False]]];正确]];maxac[l_]:=如果[Length[l]<=1,Length[l],maxac[l]=Max[maxac[Drop[l,1]],1+maxac[Select[l,!leq[#,l[[1]]&&!leq[l[[1],#]&]]];maxantichains[l]:=如果[Length[l]<=1,{l},Module[{v,t},v={};如果[maxac[l]==maxac[Drop[l,1]],v=Join[v,maxanticchains[Drop[1]]];t=选择[l,!leq[#,l[[1]]]&&!leq[l[[1],#]&];如果[maxac[l]==1+maxac[t],v=Join[v,前缀[#,l[[1]]]&/@maxantichains[t]]];v] ];a[n_]:=长度[maxantichains[Partitions[n]]](*第一个do<<离散数学`Combinatorica`*)(*maxac[l]=集合l中最大反链的大小。maxanticchains[l]=l中所有最大反链列表。*)
%Y相应尺寸为A076269。
%K非n,更多
%0、3
%A Dean Hickerson,2002年11月14日
|