|
|
A003182号 |
| 德德金数:n个或更少变量的不等价单调布尔函数,或n个集合子集的反链。 (原名M0729)
|
|
36
|
|
|
2, 3, 5, 10, 30, 210, 16353, 490013148, 1392195548889993358, 789204635842035040527740846300252680
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
0,1
|
|
评论
|
n个或更少变量的无人参与布尔函数的NP等价类。
还有n个玩家以最小获胜形式的简单游戏的数量,直到同构-法比安·里克尔梅2018年3月13日
|
|
参考文献
|
I.Anderson,有限集组合学。牛津大学出版社,1987年,第38页。
Arocha,Jorge Luis(1987)“有序集合中的反链”[西班牙语]。墨西哥国立自治大学数学研究所分析27:1-21。
J.Berman,三元代数的自由谱,收录于R.S.Freese和O.C.Garcia,编辑,《泛代数和格理论》(Puebla,1982),Lect。数学笔记。第1004卷,1983年。
G.Birkhoff,晶格理论。美国数学学会,学术讨论会出版物,第25卷,第3版,普罗维登斯,RI,1967年,第63页。
L.Comtet,《高级组合数学》,Reidel,1974年,第273页。
M.A.Harrison,交换与自动机理论导论。纽约州麦格劳·希尔,1965年,第188页。
D.E.Knuth,《计算机编程的艺术》,第4A卷,第7.1.1节,第79页。
W.F.Lunnon,《IU函数:自由分配格的大小》,D.J.a.Welsh第173-181页,《组合数学及其应用》编辑。纽约学术出版社,1971年。
S.Muroga,阈值逻辑及其应用。Wiley,NY,1971年,第38页,表2.3.2.-第13行。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
D.H.Wiedemann,个人沟通。
|
|
链接
|
Patrick De Causmaecker和Stefan De Wannemacker,有限宇宙中集合的反链数,arXiv:1407.4288[math.CO],2014年。
Patrick De Causmaecker和Lennart Van Hirtum,求解反链方程组以计算第九个德德金数,arXiv:2405.20904[math.CO],2024。见第4页。
利维乌·伊琳卡和杰夫·卡恩,计算最大反链和独立集,arXiv:1202.4427[math.CO],2012;订单30.2(2013):427-435。
巴托米耶·帕维尔斯基(Bartlomiej Pawelski)和安德烈·斯泽皮托夫斯基(Andrzej Szepietowski),Dedekind数的可除性,arXiv:2302.04615[math.CO],2023。
塔蒙·斯蒂芬和蒂莫西·尤森,不等价单调布尔函数的计数,arXiv预打印arXiv:1209.4623[cs.DS],2012。
安德烈·斯泽皮托夫斯基(Andrzej Szepietowski),作用于单调布尔函数的置换的固定,arXiv:2205.03868[math.CO],2022。见第17页。
|
|
配方奶粉
|
|
|
例子
|
a(0)=2到a(3)=10反链的非同构代表:
{} {} {} {}
{{}} {{}} {{}} {{}}
{{1}} {{1}} {{1}}
{{1,2}} {{1,2}}
{{1},{2}} {{1},{2}}
{{1,2,3}}
{{1},{2,3}}
{{1},{2},{3}}
{{1,3},{2,3}}
{{1,2},{1,3},{2,3}}
(结束)
|
|
交叉参考
|
囊性纤维变性。A006126号,A014466号,A261005型,A293606型,A293993型,A304996型,A305000型,A305857型,A306505型,319721年,A320449型,A321679型.
|
|
关键字
|
非n,坚硬的,美好的,更多
|
|
作者
|
|
|
扩展
|
|
|
状态
|
经核准的
|
|
|
|