登录
A322011型
n个顶点上生成超图(或反链覆盖)的不同色对称函数的个数。
2
抵消
1,2
评论
图的稳定分区是顶点的集合分区,其中没有边在同一块中具有两端。色对称函数由X_G=Sum_pm(t(p))给出,其中和覆盖G的所有稳定分区,t(pA321895型).
例子
a(3)=5色对称函数:
米(111)
米(21)+米(111)
2米(21)+米(111)
3米(21)+米(111)
m(3)+3m(21)+m(111)
数学
chromSF[g_]:=Sum[m[Sorth[Length/@stn,Greater]],{stn,spsu[Select[Subsets[Union@g],Select[DeleteCases[g,{_}],Function[ed,Complement[ed,#]={}]]={}&],Union@g]}];
stableSets[u_,Q_]:=如果[Length[u]===0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets-[DeleteCases[u、r_/;r==w|Q[r,w]|Q[w,r]];
hyps[n_]:=选择[stableSets[Rest[Subsets[Range[n]]],SubsetQ],Union@@#=Range[n]&];
表[长度[Union[chromSF/@hyps[n]],{n,5}]
关键词
非n,更多
作者
古斯·怀斯曼2018年11月24日
状态
经核准的