搜索： 编号：a001839
|
| |
|
|
A001839号
|
| 编码理论函数A（n，4,3）。
（原名M1032 N0389）
|
|
+0
6
|
|
|
|
0, 0, 1, 1, 2, 4, 7, 8, 12, 13, 17, 20, 26, 28, 35, 37, 44, 48, 57, 60, 70, 73, 83, 88, 100, 104, 117, 121, 134, 140, 155, 160, 176, 181, 197, 204, 222, 228, 247, 253, 272, 280, 301, 308, 330, 337, 359, 368, 392, 400, 425, 433, 458, 468, 495, 504, 532, 541, 569, 580, 610, 620, 651, 661, 692, 704, 737, 748, 782, 793
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
1,5
|
|
|
评论
|
K_n中边不相交K_3的最大数量。
SAT实例中减少的1/3子句的最大数目。给定N个项目一次取三个，那么两个组合不能共享多个项目的最大组合数是多少。有三分之一SAT的约简规则，保证没有两个子句共享一个以上的共同变量。a（n）是具有n个变量的简化实例可以包含的最大子句数。例如：a（6）=4:（a，b，c）（a，d，e）（b，d，f）（c，e，f）-罗素·伊斯特利，2005年10月2日
与至少a（6）-a（12）的n-四面体图的独立数一致-埃里克·韦斯特因2017年6月14日和2017年7月24日
|
|
|
参考文献
|
P.J.Cameron，组合数学。。。，剑桥，1994年，见第121页。
CRC组合设计手册，1996年，第411页。
N.J.A.Sloane，《整数序列手册》，学术出版社，1973年（包括该序列）。
N.J.A.Sloane和Simon Plouffe，《整数序列百科全书》，学术出版社，1995年（包括该序列）。
|
|
|
链接
|
A.E.Brouwer、J.B.Shearer、N.J.A.Sloane和W.D.Smith，新的恒重代码表，IEEE传输。信息。理论36（1990），1334-1380。
|
|
|
配方奶粉
|
完全已知所有n-参见Brouwer等人（1990）的定理4：如果n与5（mod 6）同余，则A（n，4，3）=floor（（n/3）*floor（n-1）/2））-1；如果n不与5（mode 6）一致，则A2004年4月27日，Shelly Jones（shellysalt（AT）yahoo.com）
a（n）=a（n-1）+a（n-2）-a（n-3）+a-埃里克·韦斯特因2017年7月13日
通用格式：x^3*（x^5-2*x^4-2*x^3-1）/（（x-1）^3*-科林·巴克2013年9月21日
|
|
|
例子
|
说明A（4,3,4）=A（3）=1，A（5,3,4=A（5）=2和A（6,3,4]=A（6）=4的代码为：
1110...11100..111000
.......10011..100110
..............010101
..............001011
|
|
|
数学
|
表[Floor[n Floor[（n-1）/2]/3]-Boole[Mod[n，6]==5]，{n，20}](*埃里克·韦斯特因2017年7月13日*）
表[（6n^2-9n-10-3（-1）^n（n-2）-6Cos[nPi/3]+10Cos[2nPi/3]+10Sqrt[3]Sin[nPi/3]+6Sqrt[3]Sin[2nPi/3）/36，{n，20}](*埃里克·韦斯特因2017年7月13日*）
线性递归[{1，1，-1，0，0，1，-1-，-1,1}，{0,0,1，2,4,7，
系数列表[级数[（x^2（-1-2x^3-2x^4+x^5））/（-1+x）^3（1+x）|2（1-x+x^2）（1+x+x|2）），{x，0，20}]，x](*埃里克·韦斯特因2017年7月13日*）
|
|
|
交叉参考
|
|
|
|
关键词
|
非n,容易的,美好的
|
|
|
作者
|
|
|
|
扩展
|
来自Shelly Jones（shellysalt（AT）yahoo.com）的更多条款，2004年4月27日
|
|
|
状态
|
经核准的
|
| |
|
搜索在0.016秒内完成
|
