%I M1032 N0389#74 2024年2月26日19:40:39

%S 0,0,1,1,2,4,7,8,12,13,17,20,26,28,35,37,44,48,57,60,70,73,83,88100，

%电话：104117121134140155160176181197204222228247253272280，

%电话：301308330337359368392400425433458468495504532541569580610620651661692704737748782793

%N编码理论函数A（N，4,3）。

%C K_ n中边不相交K_3的最大个数。

%C减少的三分之一SAT实例中的最大子句数。给定N个项目一次取三个，那么两个组合不能共享多个项目的最大组合数是多少。有三分之一SAT的约简规则，保证没有两个子句共享一个以上的共同变量。a（n）是具有n个变量的简化实例可以包含的最大子句数。例如：a（6）=4:（a，b，c）（a，d，e）（b，d，f）（c，e，f）_Russell Easterly_，2005年10月2日

%C同意至少a（6）-a（12）的n-四面体图的独立数_Eric W.Weisstein_，2017年6月14日和2017年7月24日

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

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

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

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

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

%H T.D.Noe，n的表格，n的a（n）=1..10000</a>

%H A.E.Brouwer，<A href=“网址：http://www.win.tue.nl/~aeb/codes/Andw.html“>恒重二进制代码的边界</a>

%H A.E.Brouwer、J.B.Shearer、N.J.A.Sloane和W.D.Smith，<A href=“http://dx.doi.org/10.109/18.59932“>新的恒重代码表，IEEE Trans.Info.Theory 36（1990），1334-1380。

%H P.Erdős等人，<a href=“http://dx.doi.org/10.1016/S0012-365X（00）00312-5“>2-色图中的边不相交单色三角形，《离散数学》，231（2001），135-141。

%H R.K.Guy，《扎兰基维奇的一个问题》，数学系第12号研究论文。，卡尔加里大学，1967年1月。[经允许的注释和扫描副本]

%H Alice Miller和Michael Codish，<a href=“https://arxiv.org/abs/1708.06576“>周长至少为5且阶数在20和32之间的图，arXiv:1708.06576[math.CO]，2017，表3。

%H Eric Weisstein的数学世界，<a href=“http://mathworld.wolfram.com/IndependenceNumber.html“>独立编号</a>

%H Eric Weisstein的数学世界，<a href=“http://mathworld.wolfram.com/TetrahedralGraph.html“>四面体图形</a>

%H<a href=“/index/Aa#Andw”>与a（n，d，w）相关的序列的索引项</a>

%H<a href=“/index/Rec#order_09”>具有常系数的线性重复出现的索引条目，签名（1,1，-1,0,0,1，-1，-1,1）。

%F完全已知所有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）

%F a（n）=a（n-1）+a（n-2）-a（n-3）+a_Eric W.Weisstein_，2017年7月13日

%传真：x^3*（x^5-2*x^4-2*x^3-1）/（（x-1）^3*_科林·巴克尔，2013年9月21日

%e表示A（4,3,4）=A（3）=1，A（5,3,4=A（5）=2和A（6,3,4]=A（6）=4的代码为：

%e 1110…11100…111000

%e。。。。。。。10011..100110

%e。。。。。。。。。。。。。。010101

%e。。。。。。。。。。。。。。001011

%t表[Floor[n Floor[（n-1）/2]/3]-Boole[Mod[n，6]==5]，{n，20}]（*_Eric W.Weisstein_，2017年7月13日*）

%t表[（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}]（*_Eric W.Weisstein_，2017年7月13日*）

%t线性递归[｛1，1，-1，0，0，1，-1，-1，1｝，｛0，0，1，1，2，4，7，

%t 8，12}，20]（*_Eric W.Weisstein_，2017年7月13日*）

%t系数列表[系列[（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]（*_Eric W.Weisstein_，2017年7月13日*）

%Y参考A001843、A011975、A060407。

%不，简单，好

%O 1,5型

%A _N.J.A.斯隆_

%E来自Shelly Jones（shellysalt（AT）yahoo.com）的更多条款，2004年4月27日