可实现布尔矩阵与传递关系计数.pdfVIP

第 28卷第 4期 模 糊 系 统 与 数 学 Vo1．28，No．4 2014年 8月 FuzzySystemsandMathematics Aug．，2014 文章编号 ：1001—7402(2014)04—0065—04 可实现布尔矩阵与传递关系计数 孙 峰 ，屈小兵 ，王学平 ，杨 雁。 (1．乐山师范学院 数学与信息科学学院，四JII乐山 614004； 2．四川I师范大学 数学与软件科学学院，四川I成都 610066； 3．西南石油大学 理学院，四JII成都 610500) 摘 要 ：传递关系的计数 问题是一个开 问题 。本文建立了对称传递关系与可实现布尔矩阵的联系，并通 过该联 系，给 出了对称传 递关 系的计数 。 关键词 ：可实现布尔矩 阵；关系；对称传递关系 中图分类号 ：0153 文献标识码 ：A 1 引言及预备知识 设 5是 元非空集合 ，5上的一个二元关系 (或关系)R指的是 × 的一个子集 。对于元素z，yE S，若 (，)∈R，则称元素z与Y有关系，并记为 xRy．若对任何XES，有 xRx，则称关系R是 自反 的。若对任何z，YES，由xRy可推出yRx，则称关系R是对称的。若对任何z，Y，zES，由xRy与yRz 可推出xRz，则称关系 R是传递 的。传递关系的计数是公开问题_l3]，不少研究者对这个 问题作 了讨 论 ]，但至今仍没有得到解决。KlaskaE4~建立了传递关系与偏序的联系，借助该联系计算了当 ≤14 时元集合 上传递关系的个数。Pfeiffer口考虑了 “未标记的”传递关系(与[3]、f4-]中介绍的 “标记的” 传递关系不同，“未标记的”传递关系中有关系的二者的名称无关紧要)的个数，给出了不同序关系的 分类 ，并给出了当 ≤14时未标记的传递关系的个数 。2005年 ，Brinkmann与McKay_2给出了当 一14 时 “未标记的”传递关系的个数 。在这里我们将讨论对称传递关系的计数。 下面我们介绍一些需要用到的符号与定义。记m× 的矩阵 为 ，A 表示矩阵A的转置 ，A 表示矩阵 的( )元 ，A 表示矩阵A的第 i行 ，A ，表示矩阵A的第J列 。对任意的正整数 ，令 丝一 {1，…，)。记 lxl为集合x 的基数 ，对于任意两个集合 x与y，记 x—y一{xEX：z Y)，当y一{Y} 时，X～y表示 X— ． 定义 1．1[1] 个元素的集合可以划分若干个非空子集的个数称为贝尔数 ，记为 刃 ． 例 如，刃。一5，因为 {a，b，C)有 5种不 同的划分方法 ：{{口)，{b)，{c})，{{口)，{b，C)}，{{b}，{n，c))， {{c}，{口，b))和 {{a，b，C}}。由文[8]知 ， * 收稿 日期：2012—12—11 基金项 目：四川省教育厅科研项 目(13ZB0108)；国家 自然科学基金资助项 目I1401494)；国家教育部博士点专项基金 资助项 目(20105134110002)；四川省科技计划应用基础项 目(2011JY0133) 作者简介 ：孙峰(1985一)，男，四川I西 昌人，乐山师范学院数学与信息科学学院讲师，研究方向：矩阵理论，格上关系方程理论等；屈 小兵(1974一)，男，湖南永州人 ，乐 山师范学 院数学与信息科学学 院副教授，研究方向：格论 ，格上关系方程理论等；王学平 (1965一)，男 ，四 川遂宁人，四川师范大学数学与软件科学学院教授 ，研究方 向：格上关系方程理论，不确定性的数学理论等；杨雁 (1981一)，女，四JIl丹棱 人，西南石油大学理学 院副教授 ，研究方 向：不确定性的数学理论 ，石油工程计算技术 。 模 糊 系 统 与 数 学 历 一∑ 历 ／ ＼ 其中I＼定，J／是二项式系数。 定义 1．2E37 将元素取值于{0，1}且矩阵运算由V与 ^定义的矩阵称为布尔矩阵，