%I#94 2023年4月25日05:15:55

%S 1,2,5,1916775807828353241468204099756130437228687557907787，

%电话：28638657766829841128469151667598498812365

%N Dedekind数：单调布尔函数，或N集子集的非空反链。

%单调布尔函数是从S的子集集P（S）到{0,1}的递增函数。

%反链的计数包括仅由空集组成的反链，但不包括空反链。

%C也计算遗传系统的基础。

%C也是n集的非空子集的反链。未标记案例为A306505。跨越箱为A307249。该序列与A305000具有类似的描述，但单体必须与其他边缘分离_Gus Wiseman_，2019年2月20日

%Ca（n）是n个标记因子（分类变量）上的分层对数线性模型的总数。参见Wickramasinghe（2008）和Nardi和Rinaldo（2012）_Petros Hadjicostas，2020年4月8日

%C来自_Lorenzo Sauras Altuzarra_，2023年4月2日：（开始）

%C a（n）是n个顶点上标记的抽象单形复数。

%C A058673（n）<=a（n）≤A058891（n+1）。（结束）

%D I.Anderson，有限集组合学。牛津大学出版社，1987年，第38页。

%D Jorge Luis Arocha，“有序集合中的反链”[西班牙语]。墨西哥国立自治大学数学研究所（Anales del Instituto de Matematicas de la Universidad Nacional Autonoma de Mexico）27:1-21（1987）。

%D J.Berman，“三元代数的自由谱”，R.S.Freese和O.C.Garcia，编辑，《泛代数与格论》（Puebla，1982），Lect。数学笔记。第1004卷，1983年。

%D G.Birkhoff，晶格理论。美国数学学会，学术讨论会出版物，第25卷，第3版，普罗维登斯，RI，1967年，第63页。

%D L.Comtet，《高级组合数学》，Reidel，1974年，第273页。

%D J.Dezert，《似是而非的新存在基金会》（la DSmT），技术代表1/06769 DTIM，ONERA，巴黎，第33页，2003年1月。

%D J.Dezert，F.Smarandache，《关于DSmT超动力装置的生成》，《第六届信息融合国际会议论文集》，澳大利亚凯恩斯，2003年。

%D M.A.Harrison，交换和自动机理论导论。纽约州麦格劳·希尔，1965年，第188页。

%D W.F.Lunnon，《IU函数：自由分配格的大小》，D.J.a.Welsh第173-181页，组合数学及其应用编辑。纽约学术出版社，1971年。

%D S.Muroga，阈值逻辑及其应用。纽约州威利，1971年，第38和214页。

%D D.B.West，《图论导论》，第二版，新泽西州普伦蒂斯·霍尔，2001年，第349页。

%H K.Atanassov，<a href=“网址：http://www.gallup.unm.edu/~smarandache/Atanassov-SomeProblems.pdf“>关于smarandache的一些问题。

%H K.S.Brown，<a href=“http://www.mathpages.com/home/kmath030.htm“>Dedekind的问题</a>。

%H Winfried Bruns、Pedro A.GarcíA-Sánchez和Luca Moci，<A href=“https://arxiv.org/abs/1902.00864“>偏序集上单调函数的幺半群和一致拟阵的算术重数，arXiv:1902.00864[math.CO]，2019。

%H Donald E.Campbell、Jack Graver和Jerry S.Kelly，<a href=“https://doi.org/10.1016/j.mathsocsci.2012.05.001“>《数学社会科学》第64卷（2012年）第263-265页，提出了比你想象的更多的策略性程序_N.J.A.Sloane，2012年10月23日

%H Fan Cheng，<a href=“https://doi.org/10.109/ISIT.2014.6874940“>具有简单网络拓扑结构的窃听网络上的路由优化</a>，信息理论（ISIT），2014年IEEE国际研讨会，2014年6月29日至2014年7月4日页码：786-790 INSPEC登录号：14524545檀香山，HI。

%H Fan Cheng和Vincent Y.F.Tan，<a href=“http://arxiv.org/abs/1505.02862“>简单网络拓扑下Wiretap网络的数值研究，arXiv预印本arXiv:1505.02862[cs.IT]，2015。

%H Jean Dezert，<a href=“网址：http://www.gallup.unm.edu/~smarandache/IS2002Sept24.pdf“>似是而非和悖论推理新理论的基础，技术代表DTIM/IED，ONERA，巴黎，第14-15页，2002年。

%H Jean Dezert，中子学框架内矛盾信息源的组合，<a href=“网址：http://www.gallup.unm.edu/~smarandache/NutrosophicProceedings.pdf“>《第一届国际中子学会议论文集》（2001年）。

%H J.L.King，<a href=“http://www.math.ufl.edu/~南瓜/“>砖砌和单调布尔函数</a>。

%H J.L.King，<a href=“https://arxiv.org/abs/math/9809176“>应用于砖瓷砖的从几何坐标到代数坐标的变化，arXiv:math/9809176[math.CO]，1998。

%H D.J.Kleitman，<a href=“http://dx.doi.org/10.1090/S002-9939-1969-0241334-6“>关于Dedekind的问题：单调布尔函数的数量，Proc.Amer.Math.Soc.21（1969），677-682。

%H D.J.Kleitman和G.Markowsky，<a href=“http://dx.doi.org/10.1090/S0002-9947-1975-0382107-0“>关于Dedekind的问题：同位素布尔函数的数量。II</a>，Trans.Amer.Math.Soc.213（1975），373-390。

%H Y.Nardi和A.Rinaldo，<A href=“https://projecteuclid.org/euclid.bj/1340887009“>对数线性群最小二乘估计及其渐近性质，Bernoulli 18（3）（2012），945-974；见第954页的表2。

%H Eric Weisstein的数学世界，<a href=“http://mathworld.wolfram.com/Antichain.html“>反链。

%H R.I.P.Wickramasinghe，<a href=“http://hdl.handle.net/2346/20089“>对数线性模型主题</a>，德克萨斯州卢伯克德克萨斯理工大学统计学硕士论文，2008年。[对于n=2，关于两个因子X和Y的a（2）=5分层对数线性模型出现在第18页。对于n=3，关于三个因子X、Y和Z的a（3）=19分层对数线性模型见第36页_Petros Hadjicostas_，2020年4月8日]

%H D.H.Wiedemann，<a href=“https://doi.org/10.1007/BF00385808“>第八个Dedekind数的计算，第8号令（1991年）5-6。

%H维基百科，<a href=“https://en.wikipedia.org/wiki/Abstract_simplicial_complex网站“>抽象单纯形复数。

%H Gus Wiseman，<a href=“/A048143/A048143_4.txt”>枚举杂波、反链、超树和超森林的序列，通过标记、跨越和允许单体进行组织。

%H<a href=“/index/Bo#布尔”>为与布尔函数相关的序列的条目建立索引</a>

%F A307249的二项式变换（如果其第0项为1，则为A006126）_Gus Wiseman_，2019年2月20日

%F a（n）>=A005465（n）（因为n因子的分层对数线性模型总是包括I.J.Good在A005465.中考虑的所有条件独立模型）_Petros Hadjicostas，2020年4月24日

%反链{{}}、{{1}、}{2}、1,2}}，{1}}和}2}中的ea（2）=5。

%e来自Gus Wiseman_，2019年2月20日：（开始）

%e a（0）=1到a（3）=19反链：

%e{{}}{{}{}}}{}{{{}

%e{{1}}{{1{}}{1}

%e｛｛2｝｝｛2｝｝

%电子{{12}}{{3}}

%e{{1}{2}{{12}}

%电子{{13}}

%电子{{23}}

%e｛｛123｝｝

%电子{{1}{2}}

%电子{{1}{3}}

%电子{{2}{3}}

%电子{{1}{23}}

%电子{{2}{13}}

%电子{{3}{12}}

%电子{{12}{13}}

%电子{{12}{23}}

%电子{{13}{23}}

%e{{1}{2}{3}}

%电子{{12}{13}{23}}

%e（结束）

%e来自Lorenzo Sauras Altuzarra，2023年4月2日：（开始）

%e 19个集合e使得（{1,2,3}，e）是一个抽象的简单复数：

%电子{}

%e{{1}}

%电子{{2}}

%电子{{3}}

%e{{1}，{2}}

%e{{1}，{3}}

%e{{2}，{3}}

%e{{1}、{2}、}3}

%e{{1}，{2}，}

%e｛｛1｝，｛3｝，｛1，3｝｝

%电子{{2}，{3}，}

%e{{1}，{2}，}3}，[1,2}}

%e{{1}，{2}，}3}，[1,3}}

%e{{1}，{2}，}3}，[2,3}}

%e{{1}，{2}，}3}，f1，2}、{1，3}}

%e{{1}，{2}，}3}，f1，2}、{2，3}}

%e{{1}，{2}，}3}，f1，3}、{2，3}}

%e{{1}，{2}，}3}，f1，2}

%电子{{1}，{2}，}3}，f1，2}

%e（结束）

%t nn=5；

%t stableSets[u_，Q_]：=如果[Length[u]===0，{{}}，With[{w=First[u]}，Join[stableSets[DeleteCases[u，w]，Q]，Prepend[#，w]&/@stableSets-[DeleteCases[u、r_/；r==w|Q[r，w]|Q[w，r]]，Q]]；

%t表[Length[stableSets[Subsets[Range[n]，{1，n}]，SubsetQ]]，{n，0，nn}]（*_Gus Wiseman_，2019年2月20日*）

%t A[s_Integer]：=使用[{s6=StringPadLeft[ToString[s]，6，“0”]}，案例[Import[“https://oeis.org/A“<>s6<>”/b“<>s6<>”.txt“，”Table“]，｛_，_｝][All，2]]]；

%tA@372-1（*_Jean-François Alcover，2020年1月7日*）

%Y等于A000372-1=A007153+1。

%Y参见A003182、A005465、A006126、A006602、A058673（标记拟阵）、A058891（标记超图）、A261005、A293606、A304996、A305000、A306505、A307249、A317674、A319721、A320449、A321679。

%K nonn，难，多，好

%0、2

%A _N.J.A.斯隆_

%上学期来自D.H.Wiedemann，个人交流。

%E迈克尔·索莫斯的补充意见，2002年6月10日

%E 2023年4月7日_Joerg Arndt_的术语a（9）（使用A000372）