%I#21 2017年9月13日11:13:00
%S 1,4,482401000330091142195247520945001754503078245112,
%电话:82810012862501939200284838408887725750730794200010789800,
%电话:1444304419074682248841603210000409825005182655496459592807696958500122095050
%N N X N rook补图中最小支配集的数目。
%最小控制集是大小等于控制数的最小控制集(A291623)。对于n>2,控制数为3。对于n>3,大小为3的最小支配集要么是任意三个顶点,这样就不会有两个顶点位于同一行或列中,要么是任何顶点与另一个顶点位于相同行中,第三个顶点在同一列中。对于n=3,还需要包括单行或单列中所有顶点的情况_安德鲁·霍罗伊,2017年9月13日
%H Andrew Howroyd,n的表,n=1..200的a(n)</a>
%H Eric Weisstein的数学世界,<a href=“http://mathworld.wolfram.com/MinimumDominatingSet.html“>最小支配集</a>
%H Eric Weisstein的数学世界,<a href=“http://mathworld.wolfram.com/RookComplementGraph.html“>Rook补码图</a>
%H<a href=“/index/Rec#order_07”>为具有常数系数的线性递归索引条目</a>,签名(7,-21,35,-35,21,-7.1)。
%传真:x*(-1+3*x-41*x^2+47*x^3-223*x^4+221*x^5-217*x*6+127*x^7-42*x^8+6*x^9)/(-1+x)^7。
%当n>10时,F a(n)=7*a(n-1)-21*a(n-2)+35*a(n3)-35*a。
%F a(n)=6*二项式(n,3)^2+n^2*(n-1)^2,对于n>3_安德鲁·霍罗伊,2017年9月13日
%t连接[{1,4,48},线性递归[{7,-21,35,-35,21,-7,1},{240,1000,3300,9114,21952,47520,94500},20]]
%t表[{{1,n==1},{48,n==3}},6二项式[n,3]^2+n^2(n-1)^2],{n,20}]
%t系数列表[级数[(-1+3 x-41 x ^2+47 x ^3-223 x ^4+221 x ^5-217 x ^6+127 x ^7-42 x ^8+6 x ^9)/(-1+x)^7,{x,0,20}],x]
%o(PARI)a(n)=如果(n<4,[1,4,48][n],6*二项式(n,3)^2+n^2*(n-1)^2);\\_安德鲁·霍罗伊,2017年9月13日
%Y参见A291623、A292073。
%K nonn,简单
%O 1,2号机组
%A _Eric W.Weisstein_,2017年9月12日
%E 2017年9月13日_Andrew Howroyd_的第a(6)条及以后条款
|