搜索： 编号：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实例中的最大子句数。给定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。
R.K.盖伊，扎兰基维奇的一个问题，研究论文第12号，数学系。，卡尔加里大学，1967年1月。[经允许的注释和扫描副本]
|
|
|
配方奶粉
|
所有n都是已知的-参见Brouwer等人的定理4。（1990）：如果n与5（mod 6）全等，则A（n，4，3）=floor（（n/3）*floor（（n-1）/2））-1；如果n与5（mod 6）不全等，则A（n，4，3）=floor（（n/3）*floor（（n-1）/2））。-Shelly Jones（shellysalt（AT）yahoo.com），2004年4月27日
a（n）=a（n-1）+a（n-2）-a（n-3）+a（n-6）-a（n-7）-a（n-8）+a（n-9）-埃里克·韦斯特因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.021秒内完成
|
