准模糊图拟阵模糊基的分析-analysis of quasi-fuzzy graph matroid fuzzy basis.docxVIP

重庆大学硕士学位论 重庆大学硕士学位论文 目 录 PAGE PAGE IV 目 录 中文摘要I 英文摘要 II 符号说明IV 1 绪论 1 2 基础知识 3 2.1 集与模糊集的基础知识 3 2.2 拟阵的基础知识 4 2.3 模糊拟阵的基础知识 6 3 模糊拟阵的闭、正规与基之间的关系 10 3.1 模糊拟阵的闭与基的存在性的关系 10 3.1.1 闭模糊拟阵的模糊基存在 10 3.1.2 有模糊基的模糊拟阵不一定是闭模糊拟阵 11 3.2 模糊拟阵的正规与基的存在性的关系 12 3.2.1 正规的模糊拟阵不一定有模糊基 12 3.2.2 有模糊基的模糊拟阵不一定是正规模糊拟阵 14 4 准模糊图拟阵与闭正规模糊拟阵的关系 15 4.1 准模糊图拟阵与闭正规模糊拟阵的几个例子 15 4.1.1 闭正规模糊拟阵有时不是准模糊图拟阵 15 4.1.2 准模糊图拟阵有时也不是闭正规模糊拟阵 15 4.1.3 准模糊图拟阵可能又是闭正规模糊拟阵 15 4.2 准模糊图拟阵是闭正规模糊拟阵的充分条件 16 5 准模糊图拟阵基的性质 18 5.1 准模糊图拟阵的基结构 18 5.2 准模糊图拟阵的模糊基与其导出拟阵的基的关系 18 5.3 准模糊图拟阵基的对称交换 19 6 准模糊图拟阵的基有序 21 7 结论 24 致 谢 25 参考文献 26 附 录 28 重庆大学硕士学位 重庆大学硕士学位论文 英文摘要 符号说明 E 非空有限集 F (E) 模糊幂集 ??空集和模糊空集 Z ??非负整数集合 ??任取 I 拟阵的独立集族 ??秩函数和模糊秩函数 ??拟阵的基集 C 拟阵的圈集 M 拟阵、模糊拟阵 2E 集合 E 的幂集 ??模糊拟阵独立集族 ??模糊基集 O 拟阵的环 重庆大学硕士学位 重庆大学硕士学位论文 1 绪论 PAGE PAGE 10 1 绪论 对于任意域上的一个 n 维向量组 X ???x1, x2 , , xk ??，我们知道， X 必定线性相 关或线性无关，并且有下面的性质： 1??若向量组 X ???x1, x2 , , xk ??线性无关，则对任意的 X ??X ，X 也是线性无 关的； 2??若 X ???x1, x2 , , xr ??和 Y ???y1, y2 , , ym??是两个线性无关向量组，且 m ??r ， 则存在 yi ?Y ，使得 X ??yi ??是线性无关向量组。 Whitney 抽象推广了向量组的上述两个性质，于 1935 年在《关于线性相关的 抽象性质》中第一次提出了拟阵的概念，并阐述了拟阵的公理系统。1942 年，Rado 提出了拟阵的一些定理。Birkhoff、Maclane、和 Dilworth 等人研究了拟阵的几何 方面的问题，分析了拟阵与格论的关系等等。60 年代 Tutte 发表了《关于拟阵的讲 演》一文，拟阵理论得到了进一步的丰富与发展。尤其是 Edmonds 和 Minty 等人 把图论的算法推广到拟阵理论中，使拟阵在整数规划、组合优化、网络流及电网 络理论中有了广泛的应用。Welsh 研究了拟阵的结构、拟阵和格论的关系以及拟阵 的极值问题等，并与 1976 年撰写了关于拟阵理论的专著《Matroid Theory》。 1988 年，R.Goetschel,Jr.和 W.Voxman 首次将“模糊”的概念引入拟阵理论，研 究模糊拟阵，在《Fuzzy Matroids》中提出了模糊拟阵的概念，并先后在《Bases of Fuzzy Matroids》、《Fuzzy circuits》、《Fuzzy matroids and a greedy algorithm》、《Fuzzy matroid structures》、《Fuzzy rank functions》、《Spanning properties for fuzzy matroids》、 《Fuzzy matroid sums and a greedy algorithm》等文章中对模糊拟阵的基、圈、秩函 数的概念及性质做了深入研究，并推广了拟阵的 greedy 算法，研究了模糊拟阵的 对偶和模糊拟阵的运算等等，这些研究奠定了模糊拟阵的理论框架。1993 年， Yuang-Cheh Hsueh 在《On fuzzification of matroid》一文中提出了一种可行的拟阵 模糊化的算法。1994 年，我的导师吴德垠教授开始了模糊拟阵的研究，并得到一 些重要的成果，于 1996 年起先后发表多篇文章。 本文在现有理论的基础上进一步研究了以准模糊图拟阵为主的几类模糊拟阵 的模糊基的一些性质，先分述如下： 1???