A001839-OEIS公司

A001839号

编码理论函数A（n，4,3）。
（原M1032 N0389）

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日

包装编号D（n，3,2）。 -罗伯·普拉特2024年2月26日

参考文献

P.J.Cameron，组合数学。..，剑桥，1994年，见第121页。

CRC组合设计手册，1996年，第411页。

N.J.A.Sloane，《整数序列手册》，学术出版社，1973年（包括该序列）。

N.J.A.Sloane和Simon Plouffe，《整数序列百科全书》，学术出版社，1995年（包括该序列）。

链接

T.D.Noe，n=1..10000时的n，a（n）表

A.E.Brouwer，等重二进制码的界限

A.E.Brouwer、J.B.Shearer、N.J.A.Sloane和W.D.Smith，新的恒重代码表，IEEE传输。信息。理论36（1990），1334-1380。

P.Erdős等人。，2-色图中的边不相交单色三角形，离散数学。, 231 (2001), 135-141.

R.K.盖伊，扎兰基维奇的一个问题，研究论文第12号，数学系。卡尔加里大学，1967年1月。【经许可，附注释和扫描件】

爱丽丝·米勒和迈克尔·科迪什，周长至少为5且阶数介于20和32之间的图，arXiv:1708.06576[math.CO]，2017，表3。

埃里克·魏斯坦的数学世界，独立性编号

埃里克·魏斯坦的数学世界，四面体图形

与A（n，d，w）相关的序列的索引项

常系数线性递归的索引项，签名（1,1，-1,0,0,1，-1，-1,1）。

配方奶粉

对于所有n都是精确已知的-参见Brouwer等人（1990）的定理4：如果n与5（mod 6）同余，则A（n，4，3）=floor（（n/3）*floor（n-1）/2））-1，如果n不与5（mode 6）一致，则A。-Shelly Jones（shellysalt（AT）yahoo.com），2004年4月27日

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，