本网站由以下捐款支持：OEIS基金会.

用户：Dmitry I.Ignatov

来自OeisWiki
跳转到：航行,搜索

计算机科学家致力于形式概念分析（现代格理论的一个应用分支，也称为Galois格）及其在机器学习、数据挖掘、组合数学和各种应用领域中的应用。

github：https://github.com/dimachine公司DBLP：https://dblp.org/pid/21/5524.html谷歌学者：https://scholar.google.com/citations？user=iExWnWsAAAAJ

我的机构页面：https://www.hse.ru/en/staff/dima网站.

电报频道中零星的OEIS反射：https://t.me/OEIS参考


一些相关论文

对序列的贡献

  • A326359型{1..n}非空子集的最大反链数。
  • A326360型{1..n}的非空非单个子集的最大反链数。
  • A334255型满足T_1分离公理的n个元素集上的严格闭包运算符的数目。
  • A334254型满足T_1分离公理的一组n个元素上的闭包算子的个数。
  • A235604型幂集2^[n]子集格的等价类的个数。
  • A055869号n=k的幂多元数n上下文（{1..k}，…，{1..k}，<>）的开关生成器数。请参见DAM中的纸张.
  • A027624号n-超立方体图Q_n中独立顶点集的数目。（仅交叉引用）
  • A284707型n-超立方体图Q_n中最大独立顶点集的数目（仅交叉引用）
  • A364656型一组n个元素上的严格区间闭包运算符的数目。
  • A307249型具有n个节点的单形复数。
  • A007411号n列的矩阵数，其行不相互覆盖。也是未标记n集的反链覆盖。（原名M3558）
  • A006602号a（n）是n个未标记因子或变量上的层次模型的数量，其中线性项是强制的。（原名M1532）
  • A306505型{1，…，n}非空子集的非同构反链数。
  • A305001型跨越n个顶点且没有单线的有限集的标记反链的数目。
  • A174537号的部分总和A000372号.
  • A305233型最小k，使得二项式（k，floor（k/2））>=n（注释、参考和渐近）

原始序列

  • A348260型一组n个元素上布尔格的不等价最大反链的个数。
  • A349481型a（n）是布尔矩阵因式分解的GreConD算法得出的大小为n的反向标度的布尔因子数。
  • A355517型枚举的非同构系统数A334254型; 也就是说，一组n个元素上的不等闭包算子的数量，其中所有单体都是闭包的。
  • A358041型n元集的集划分格中最大反链的个数。
  • A358390型n元集的非交叉集划分的Kreweras格中最大反链的个数。
  • A358391型n元集的非交叉集划分的Kreweras格中的反链数。
  • A358562飞机n阶Tamari晶格中反链的数目。
  • A358563型n阶Tamari格中最大反链数。
  • A365447n个备选方案集上的非空选择函数数。
  • A366425飞机n-超立方体图Q_n中不等价最大独立顶点集的个数。
  • A367422型一组n个元素上的不等价严格区间闭包算子的个数。
  • A367565型n个标记对象上减少的上下文数。

其他人评论我的链接的序列

  • A000372号德德金数或德德金问题：n个变量的单调布尔函数的个数，n个集合子集的反链个数，自由分配格中n个生成元的元素个数，Sperner族个数。（原名M0817 N0309）
  • A001608号佩林序列（或Ondrej这样的序列）：a（n）=a（n-2）+a（n-3），其中a（0）=3，a（1）=0，a（2）=2。（原名M0429 N0163）
  • A326358型{1..n}子集的最大反链数。
  • A302250型一个n元集的集划分格中的反链数。
  • A284707型n-超立方体图Q_n中最大独立顶点集的个数。

循环序列

从正面和负面的例子中学习是有意义的。

名称n-超立方体图Q_n的可补邻接矩阵中形式概念的个数。数据1, 4, 4, 36, 1764, 2788900, 1641991085604抵消0,2评论形式概念（A，B）对应于由给定二元关系I中的元素对形成的最大矩形A X B；因此，它们也对应于关联矩阵由I给出的二部图中的最大双链。I的形式概念（A，B）通过包含它们的第一个分量而排序，形成一个格（称为概念格或Galois格）。相应的概念格（作为输入二元关系为n-超立方体图Q_n的邻接矩阵的补集而建立）在其中间层包含了Q_n最大独立集的反链A284707型.经验上，a（n）是A284707型分别高达n＝6。参考文献伯恩哈德·甘特（Bernhard Ganter）、鲁道夫·威勒（Rudolf Wille:Formal Concept Analysis），斯普林格·弗拉格（Springer-Verlag），1999年，ISBN 3-540-62771-5，第59页。链接Dmitry I.Ignatov，<a href=“https://arxiv.org/abs/1703.02819“>形式概念分析及其在信息检索和相关领域中的应用简介，arXiv:1703.02819[cs.IR]，2017。Dmitry I.Ignatov，<a href=“https://doi.org/10.1007/978-3-031-35949-11_11“>关于n=6以前超立方体覆盖图的最大独立多项式，国际会议形式概念分析，2023。Dmitry I.Ignatov，<a href=“https://github.com/dimachine/CubeIndSets网站“>支持iPython代码和输入文件，用于计算n-hypecube直至n=6的覆盖图中的最大独立集，Github存储库。Jeff Kahn和Jinyoung Park，<a href=“https://arxiv.org/abs/1909.04283“>汉明立方体中最大独立集的数量，arXiv:1909.04283[math.CO]，2019。维基百科，<a href=“https://en.wikipedia.org/wiki/Formal_concept_analysis网站“>形式概念分析。例子对于n=2，Q_2的邻接矩阵及其补码的二元关系如下：0123  	  01230 0110 0 x..x1 1001 1.xx。2 1001 2.xx。3 0110 3 x.x。它有四个概念（等价的最大双链）：c0=（{}，{0,1,2,3}），c1=（{0,3}，}0,3{），c2=（{1,2}，[1,2}）和c3=（{0，1,2,3}，{}）。概念格：c3（立方厘米）/ \c1 c2\ /c0。概念c1和c2形成了一个反链，其第一（或第二）分量是Q_2的最大独立集。交叉参考囊性纤维变性。A284707型,A047684号.关键词不，很难，更多，改变了回收利用作者德米特里·I·伊格纳托夫，2023年8月30日讨论9月30日星期六21:35斯隆：这很可能是A284707型是吗？我认为最好在该条目中添加一些评论和您的参考。另一个原因是这个条目非常难以理解。我做了一些编辑，但仍然很不透明。如果这不是A284707型，然后一定要重新提交。
检索自“https://oeis.org/w/index.php？title=用户：Dmitry_I._Ignatov&oldid=1657440"