登录
这个网站是通过捐款来支持的。OEIS基金会是的。

 

标志


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

0,1个

评论

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

此外,简单的游戏与N个玩家在最小获胜形式同构。-法比安·里克尔梅3月13日2018

标记的情况是A000 037. -格斯威斯曼2月23日2019

格斯威斯曼,JUL 02 2019:(开始)

此外,{ 1…(n+1)}子集的未标记最大反链数。例如,A(- 1)=1通过A(3)=10反链的非同构表示为:

{}{}{{}{}{}

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

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

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

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

{ 12 } { 134 }{ 234 }

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

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

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

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

(结束)

推荐信

I. Anderson,有限集合的组合论。牛津大学出版社,1987,第38页。

阿罗查,Jorge Luis(1987)“有序集合中的反链”〔西班牙语〕。墨西哥国立自治大学数学学院27:1-21。

J. Berman,3-元代数的自由谱,R. S. Freese和O. C. Garcia,编辑,泛代数和格理论(普埃布拉,1982),LeCT。注释数学。第1004, 1983卷。

G. Birkhoff,格理论。美国数学学会,研讨会论文集,第25卷,第第三版,普罗维登斯,RI,1967,第63页。

L. Comtet,高级组合数学,雷德尔,1974,第273页。

M. A. Harrison,交换和自动机理论导论。麦格劳希尔,NY,1965,第188页。

D. E. Knuth,计算机程序设计,第4A卷,第7.1.1节,第79页。

W. F. Lunnon,Iu函数:自由分配格的大小,D.J.A.威尔士的第173-181页,编辑器,组合数学及其应用。学术出版社,NY,1971。

S. Muroga,阈值逻辑及其应用。威利,NY,1971,第38页,表2.3.2。第13行。

S.N.J.A.斯隆和Simon Plouffe,《整数序列百科全书》,学术出版社,1995(包括这个序列)。

D. H. Wiedemann,个人通信。

链接

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

K. S. BrownDedekind问题

Patrick De Causmaecker,Stefan De Wannemacker,关于有限宇宙中集合反链的个数,阿西夫:1407.4288(数学,Co),2014。

Liviu Ilinca和Jeff Kahn最大反链与独立集的计数,ARXIV:1202.4427 [数学.CO],2012;第30.2(2013):427—435。

J. L. King砖砌与单调布尔函数

D. J. Kleitman关于DeDoad问题:单调布尔函数的个数,PROC。艾默尔。数学社会福利。21 1969 67 768。

D. J. Kleitman和G. Markowsky关于DeDoad的问题:同余布尔函数的个数。,反式。艾默尔。数学社会福利。213(1975),33-390。

S. Kurz单调布尔函数的竞争学习,ARXIV:1401.8135 [C.DS],2014。

C. L. MallowsJ.J.A.斯隆,Jun Jul 1991的电子邮件

米卡·莫奈,Dan Olteanu,面向安全查询的确定性可分解电路,2018。

S. Muroga门限逻辑及其应用,威利,NY,1971 [注释几页的扫描]

Tamon Stephen和Timothy Yusun计数不等价单调布尔函数,离散应用数学,167(2014),15—24。

Tamon Stephen和Timothy Yusun计数不等价单调布尔函数,ARXIV预印记ARXIV:1209.4623 [C.DS],2012。

Eric Weisstein的数学世界,布尔函数

Gus Wiseman枚举杂波、反链、超树和超符号的序列,通过单标记的标记、跨越和允许来组织是的。

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

公式

A(n)=A306505(n)+ 1。-格斯威斯曼,朱尔02 2019

例子

格斯威斯曼,2月20日2019:(开始)

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}}

(结束)

交叉裁判

囊性纤维变性。A000 037A000 7153A000 6602A000 711是的。

囊性纤维变性。A000 6126A014466A261005A29 3606A29 399A30499A305000A30587A306505A319721A3409A32 1679是的。

囊性纤维变性。A000 7363A046165A30600A307249A326358A326363是的。

语境中的顺序:A25988 A000 3504 A213169*A13429 A15496 A197312

相邻序列:A000 3179 A000 3180 A000 3181*A000 3183 A000 3184 A000 3185

关键字

诺恩更多

作者

斯隆

扩展

A(7)加入蒂莫西雨森9月27日2012

地位

经核准的

查找|欢迎光临|维基|寄存器|音乐|情节2|演示|索引|浏览|更多|网络摄像机
贡献新的SEQ。或评论|格式|样式表|变换|超级导引头|最近
OEIS社区通过保持OEIS基金会

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

最后修改10月17日19:24 EDT 2019。包含328127个序列。(在OEIS4上运行)