登录
OEIS基金会得到了OEIS用户的捐赠和西蒙斯基金会的资助。

 

标志


提示
(问候来自整数序列在线百科全书!)
A003182号 Dedekind数:n个或更少变量的不等价单调布尔函数,或n-集子集的反链。
(原M0729)
30
2、3、5、10、30、210、16353、490013148 (列表;图表;参考文献;;历史;文本;内部格式)
抵消

0,1

评论

n个或更少变量的unate布尔函数的NP等价类。

也就是n个玩家在最小获胜形式下的简单对策的个数。-法比安·里克尔梅2018年3月13日

有标签的箱子是A000372号. -格斯·怀斯曼2019年2月23日

格斯·怀斯曼2019年7月2日:(开始)

还有{1..(n+1)}子集的未标记最大反链的数目。例如,a(-1)=1到a(3)=10反链的非同构代表是:

  {}  {}   {}      {}            {}

{1}{12}{123}{1234}

{1}{2}{1}{23}{1}{234}

{1}{2}{3}{1}{2}{34}

{12}{13}{23}{1}{2}{3}{4}

{12}{134}{234}

{1}{23}{24}{34}

{12}{13}{14}{234}

{123}{124}{134}{234}

{12}{13}{14}{23}{24}{34}

(结束)

参考文献

一、 安德森,有限集的组合学。牛津大学出版社,1987年,第38页。

Arocha,Jorge Luis(1987)“有序集合中的反链”[西班牙语]。墨西哥国立自治大学Matematicas研究院院刊27:1-21。

J、 伯曼,三元代数的自由谱,载R.S.Freese和O.C.Garcia著,编辑,泛代数与格点理论(Puebla,1982),Lect。数学笔记。第1004卷,1983年。

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

五十、 Comtet,《高级组合学》,Reidel,1974年,第273页。

M、 A.哈里森,交换与自动机理论导论。纽约州麦格劳希尔,1965年,第188页。

D、 E.Knuth,《计算机编程的艺术》,第4A卷,第7.1.1节,第79页。

W、 吕农:《IU函数:自由分配格的大小》,韦尔什主编,《组合数学及其应用》,第173-181页。学术出版社,纽约,1971年。

S、 阈值逻辑及其应用。纽约威利,1971年,第38页,表2.3.2。-第13排。

N、 J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。

D、 H.Wiedemann,个人沟通。

链接

n=0..7的n,a(n)表。

K、 S.布朗,Dedekind问题

帕特里克·德·考斯马克尔,斯特凡·德瓦内马克,关于有限宇宙中集合的反链数,arXiv:1407.4288[math.CO],2014年。

Liviu Ilinca和Jeff Kahn,计算最大反链和独立集,arXiv:1202.4427[math.CO],2012年;订单30.2(2013):427-435。

J、 L.国王,布尔砖函数与单调平铺

D、 J.克莱特曼,关于Dedekind问题:单调布尔函数的个数,过程。阿默尔。数学。Soc。1969年21月677-682。

D、 J.Kleitman和G.Markowsky,关于Dedekind问题:isotone布尔函数的个数。,变速箱。阿默尔。数学。Soc。第213卷(1975年),第373-390页。

S、 库尔兹,单调布尔函数的竞争学习2014年第14035号决议第14.35号决议。

C、 锦葵,1991年6月至7月发给N.J.A.Sloane的电子邮件

米卡·莫内,丹·奥尔特努,面向安全查询的确定性可分解电路2018年。

S、 Muroga,门限逻辑及其应用,威利,纽约,1971年[几页的注释扫描]

塔蒙·斯蒂芬和蒂莫西·尤森,计算不等价单调布尔函数《离散应用数学》,167(2014),15-24。

塔蒙·斯蒂芬和蒂莫西·尤森,计算不等价单调布尔函数,arXiv预印本arXiv:1209.4623[cs.DS],2012年。

埃里克·韦斯坦的数学世界,布尔函数。

格斯·怀斯曼,列举杂波、反链、超树和超森林的序列,通过标记、跨度和允许单子数来组织.

与布尔函数相关的序列的索引项

公式

a(n)=A306505飞机(n) +1。-格斯·怀斯曼2019年7月2日

例子

格斯·怀斯曼2019年2月20日:(开始)

a(0)=2到a(3)=10个反链的非同构代表:

  {}    {}     {}         {}

  {{}}  {{}}   {{}}       {{}}

{{1}{1}

{1,2}}{1,2}}

{1},{2}}}{1},{2}}

{1,2,3}}

{1},{2,3}}

{1}3}

{1,3},{2,3}}

{1,2},{1,3},{2,3}}

(结束)

交叉引用

囊性纤维变性。A000372号,A007153号,A006602号,A007411号.

囊性纤维变性。A006126号,A014466号,A261005号,A293606,A293993年,A304996飞机,A305000型,A305857飞机,A306505飞机,A319721型,A320449型,A321679.

囊性纤维变性。A007363号,A046165型,A306007型,A307249型,A326358型,A326363.

上下文顺序:A003504号 A213169号 A330333型*甲134294 邮编:A154956 A197312

相邻序列:A003179号 A003180型 A003181号*A003183号 A003184号 A003185

关键字

,坚硬的,美好的,更多

作者

N、 斯隆

扩展

a(7)增加人Timothy Yusun2012年9月27日

状态

经核准的

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

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

上次修改日期:美国东部时间2020年8月9日10:38。包含336323个序列。(运行在oeis4上。)