中文

蛛网偏序集与 KoDAG 有向图表示关系的自然连接、其 diBigraphs 及对应邻接矩阵

组合数学 2011-05-19 v3

摘要

本文定义了 dibigraphsdi-bigraphs(即有向二部图)及其对应邻接矩阵的自然连接,然后将其应用于研究所谓的蛛网偏序集及其被称为 KoDAGsKoDAGsHasseHasse 有向图。KoDAGsKoDAGs 是特殊的可排序有向无环图,它们是作者几年前引入的蛛网偏序集的覆盖关系有向图。KoDAGsKoDAGs 似乎是 FerrersFerrers 有向图的一个独特族,它们是被称为 dibicliquesdi-bicliques 的单向有向团对应排序链的自然连接。这些有向图忠实地表示了任意元对应关系,使得所有任意元关系都是它们的子关系。与 kompletne KuratowskiKuratowski 二部图相比,这种 chainwaychain -way 完备性使得它们的 DAGDAG 标记在描述性缩写 oDAGoDAG 前面加上了字母 KK。将二元的二部有向图连接为 multiarymulti-ary 关系的方法是对关系或其有向图表示进行自然连接操作。这种自然连接操作在此用 \os\os 符号表示,刻意指代邻接矩阵的直和 \oplus,正如在不相交 dibigraphsdi-bigraphs 中的情况。

关键词

引用

@article{arxiv.0812.4066,
  title  = {Cobweb Posets and KoDAG Digraphs are Representing Natural Join of Relations, their diBigraphs and the Corresponding Adjacency Matrices},
  author = {A. K. Kwasniewski},
  journal= {arXiv preprint arXiv:0812.4066},
  year   = {2011}
}

备注

19 pages, 7 figures,affiliated to The Internet Gian-Carlo Polish Seminar: http://ii.uwb.edu.pl/akk/sem/sem_rota.htm