|
|
抵消
|
1,5号
|
|
|
评论
|
一个Kén中最大的边不相交k3个数。
减少的三分之一SAT实例中的最大子句数。给定一次取三个项目的N个项目，那么组合的最大数量是多少，这样两个组合共用的项目不超过一个。对于三分之一的SAT有简化规则，保证没有两个子句共享一个以上的共同变量。这个系列是一个包含N个变量的缩减实例可以拥有的最大子句数。示例：a（6）=4:a、b、c）（a、d、e）（b、d、f）（c、e、f）。-拉塞尔向东2005年10月2日
与至少a（6）-a（12）的n-四面体图的独立数一致。-埃里克·W·维斯坦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年（包括该序列）。
|
|
|
链接
|
T、 D.不，n=1..10000的n，a（n）表
A、 E.布鲁尔，等重二进制码的界
A、 E.Brouwer，J.B.Shearer，N.J.A.Sloane和W.D.Smith，新的恒重代码表，IEEE Trans。信息。理论36（1990），1334-1380。
P、 Erdős等人。，二色图中的边不相交单色三角形《离散数学》，231（2001），135-141。
R、 K.盖伊，Zarankiewicz的问题，研究论文第12期，卡尔加里大学数学系，1967年1月。[经许可的批注和扫描副本]
爱丽丝·米勒和迈克尔·科迪什，周长至少为5，阶数在20到32之间的图，arXiv:1708.06576[math.CO]，2017年，表3。
埃里克·韦斯坦的数学世界，独立数
埃里克·韦斯坦的数学世界，四面体图
与A（n，d，w）相关的序列的索引项
具有常返项的线性索引-1，1，-1，1，1签名。
|
|
|
公式
|
对所有的n都知道-见Brouwer等人的定理4。（1990）：A（n，4，3）=楼层（（n/3）*楼层（（n-1）/2））-1，如果n与5（mod 6）一致，A（n，4，3）=楼层（（n/3）*楼层（（n-1）/2）），如果n不等于5（mod 6）。-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）。-埃里克·W·维斯坦2017年7月13日
G、 f.：x^3*（x^5-2*x^4-2*x^3-1）/（（x-1）^3*（x+1）^2*（x^2-x+1）*（x^2+x+1））。-科林·巴克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
|
|
|
数学
|
Table[Floor[n Floor[（n-1）/2]/3]-Boole[Mod[n，6]==5]，{n，20}](*埃里克·W·维斯坦2017年7月13日*）
表[（6 n^2-9 n-10-3（-1）^n（n-2）-6 Cos[nπ/3]+10 Cos[2 nπ/3]+10 Sqrt[3]Sin[nπ/3]+6 Sqrt[3]Sin[2 n Pi/3]）/36，{n，20}](*埃里克·W·维斯坦2017年7月13日*）
LinearRecurrence[{1，1，-1，0，0，1，-1，-1，1}，{0，0，1，1，2，4，7，
8，12}，20](*埃里克·W·维斯坦2017年7月13日*）
系数列表[系列[（x^2（-1-2 x^3-2 x^4+x^5））/（（-1+x）^3（1+x）^2（1-x+x^2）（1+x+x^2）），{x，0，20}]，x](*埃里克·W·维斯坦2017年7月13日*）
|
|
|
交叉引用
|
囊性纤维变性。A001843号,A011975型,A060407型.
上下文顺序：A187346号 邮编：A184414 A060406型*A087686号 A232054型 164A231型
相邻序列：A001836号 A001837型 A001838号*A001840 A001841号 A001842型
|
|
|
关键字
|
不,容易的,美好的
|
|
|
作者
|
N、 斯隆
|
|
|
扩展
|
更多条款来自Shelly Jones（shellysalt（AT）yahoo.com），2004年4月27日
|
|
|
状态
|
经核准的
|
