登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: 编号:a003182
显示1-1个结果(共1个)。 第页1
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
A003182号 德德金数:n个或更少变量的不等价单调布尔函数,或n个集合子集的反链。
(原名M0729)
+0个
34
2, 3, 5, 10, 30, 210, 16353, 490013148, 1392195548889993358, 789204635842035040527740846300252680 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,1
评论
n个或更少变量的非状态布尔函数的NP-等价类。
还有n个玩家以最小获胜形式的简单游戏的数量,直到同构-法比安·里克尔梅2018年3月13日
标记的案例是A000372号. -古斯·怀斯曼2019年2月23日
第一个不同于348260美元(n+1),a(5)=210,A348260型(6) = 233. -古斯·怀斯曼2021年11月28日
Pawelski和Szepietowski表明a(n)=A001206号(n) (mod 2)和a(9)=6(mod 210)-查尔斯·格里特豪斯四世2023年2月16日
参考文献
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,个人沟通。
链接
K.S.Brown,Dedekind的问题
Patrick De Causmaecker和Stefan De Wannemacker,有限宇宙中集合的反链数,arXiv:1407.4288[math.CO],2014年。
利维乌·伊琳卡和杰夫·卡恩,计算最大反链和独立集,arXiv:1202.4427[math.CO],2012;订单30.2(2013):427-435。
D.J.Kleitman,关于Dedekind问题:单调布尔函数的个数,程序。阿默尔。数学。Soc.21 1969 677-682。
D.J.Kleitman和G.Markowsky,关于Dedekind的问题:同位素布尔函数的个数。,事务处理。阿默尔。数学。《社会学》第213卷(1975年),第373-390页。
S.Kurz,单调布尔函数的竞争学习,arXiv:1401.8135[cs.DS],2014年。
米卡·莫内和丹·奥尔特阿努,面向安全查询的确定分解电路, 2018.
S.Muroga,阈值逻辑及其应用,Wiley,NY,1971【几页注释扫描】
巴托洛米耶·帕维尔斯基,关于8个变量的不等价单调布尔函数的个数,arXiv:2108.13997[math.CO],2021。见第2页的表2。
巴托洛米耶·帕维尔斯基,关于9个变量的不等价单调布尔函数的个数,arXiv:2305.06346[math.CO],2023年。
Bartlomiej Pawelski和Andrzej Szepetowski,Dedekind数的可除性,arXiv:2302.04615[math.CO],2023。
塔蒙·斯蒂芬和蒂莫西·尤森,不等价单调布尔函数的计数《离散应用数学》,167(2014),15-24。
塔蒙·斯蒂芬和蒂莫西·尤森,不等价单调布尔函数的计数,arXiv预打印arXiv:1209.4623[cs.DS],2012。
安德烈·斯泽皮托夫斯基(Andrzej Szepietowski),作用于单调布尔函数的置换的固定,arXiv:2205.03868[math.CO],2022。见第17页。
埃里克·魏斯坦的数学世界,布尔函数.
配方奶粉
a(n)=A306505型(n) +1-古斯·怀斯曼2019年7月2日
例子
发件人古斯·怀斯曼2019年2月20日:(开始)
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}}
(结束)
交叉参考
囊性纤维变性。A000372号A007153号A006602号A007411号.
关键词
非n坚硬的美好的更多
作者
扩展
a(7)由添加蒂莫西·尤森2012年9月27日
由Pawelski加上的a(8)米歇尔·马库斯2021年9月1日
Pawelski的a(9)加上米歇尔·马库斯2023年5月11日
状态
经核准的
第页1

搜索在0.005秒内完成

查找|欢迎光临|维基|注册|音乐|地块2|Demos公司|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|转换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:2024年4月25日21:02 EDT。包含371989个序列。(在oeis4上运行。)