提出
经核准的
编辑
猜想:如果n>1,则a(n)是具有n个顶点的标记有向图D(允许自循环)的数量,使得D|D'和D'|D是(强)连通的(参见Broere等人的初衷)-洛伦佐·索拉斯(Lorenzo Sauras Altuzarra)2022年9月17日
I.Broere、W.Imrich、R.Kalinowski和M.Pilsniak,<a href=“网址:http://home.agh.edu.pl/~pilsniak/34.pdf“>图和有向图乘积的非对称着色</a>,《离散应用数学》266(第56-64页),2019年。
c[0,1]=c[1,0]=1;c[0,_]=c[_,0]=0;c[n_,m]:=c[n,m]=2^(n*m)-和[如果[k<n||j<m,二项式[n-1,k-1]*二项式[m,j]*2^((n-k)*(m-j))*c[k,j],0],{k,1,n},{j,0,m}];
a[n]:=c[n,n];
数组[a,12](*Jean-François Alcover公司2019年9月3日*)
c[0,1]=c[1,0]=1;c[0,_]=c[_,0]=0;c[n,m_]:=c[n,m]=2^(n*m)-和[如果[k<n|j<m,二项式[n-1,k-1]*二项式[m,j]*2^((n-k)*(m-j))*c[k,j],0],{k,1,n},{j,0,m}];
Jean-François Alcover公司:将Mma代码移至Mma部分。