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

 

徽标
提示
(来自的问候整数序列在线百科全书!)
A303584 置换和互补变量下n个变量(或3SAT实例)上的不等Krom函数数。 0
2, 3, 6, 22, 253, 37098, 109873815 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,1
参考文献
Donald E.Knuth,《可满足性》,《计算机编程艺术》第4卷第6分册。Addison-Wesley,2015年,第148和220页,问题191。
链接
交叉参考
囊性纤维变性。A109459号.
关键词
非n,更多
作者
N.J.A.斯隆2018年5月13日
状态
经核准的

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

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

上次修改时间:美国东部夏令时2024年4月23日03:30。包含371906个序列。(在oeis4上运行。)