关于G-V模糊拟阵的对偶模糊拟阵概念的推广

模糊拟阵的研究方法之一就是通过基本序列和导出拟阵序列将模糊拟阵问题转化为普通拟阵问题来进行研究。本文正是采用这个研究方法,主要完成了三项工作:一是给出并证明了闭正规模糊拟阵和正规模糊拟阵的几个充要条件;二是将对偶模糊拟阵概念从闭正规模糊拟阵推广到正规模糊拟阵并讨论了有关性质和计算;三是证明了除正规模糊拟阵外,其他模糊拟阵不存在这样的对偶模糊拟阵。     

关于模糊拟阵的独立子集套和独立集函数

本文的研究方法主要是将模糊拟阵问题转化为普通拟阵问题来研究的方法。本文首先建立独立子集套概念,并使用这个概念和独立集函数概念构建了闭模糊拟阵的充要条件和模糊独立集的充要条件;然后,本文仔细分析了模糊基的性质,找到了一个使用独立子集套和独立集函数来描述的模糊基的充要条件;最后,利用模糊基的这个充要条件提出并证明了闭正规模糊拟阵的充要条件。     

闭模糊拟阵模糊圈的算法研究

用闭模糊拟阵的基本序列来研究和描述它的模糊圈,找到了从闭模糊拟阵的模糊相关集或模糊独立集计算模糊圈的方法,并给出了相应的算法.     

模糊拟阵的导出集合函数

本文从改进模糊拟阵的独立模糊壳概念出发,提出"导出集合函数"概念;然后详细讨论了导出集合函数的值域、与独立模糊壳的关系和与基本序列的关系等。并且详细研究了利用导出拟阵列和基本序列来计算导出集合函数值的办法;接着,利用导出集合函数找到了描述独立模糊集和模糊基的充要条件;最后,通过这些充要条件,得到了闭模糊拟阵、准模糊图拟阵和闭正规模糊拟阵这三类模糊拟阵的充要条件。这些结论既丰富了模糊拟阵理论,同时,也提示了研究模糊拟阵的一种可能的新方法。     

闭正则模糊拟阵的子拟阵的正则性

研究了闭正则模糊拟阵的子拟阵的正则性等性质.得到了闭正则模糊拟阵的两种子拟阵的正则性等性质,即k-子拟阵为闭正则模糊拟阵,限制子拟阵不是闭正则模糊拟阵,给出了闭正则模糊拟阵的收缩拟阵为闭正则模糊拟阵等结论.     

初等模糊拟阵与基本截片模糊拟阵的若干性质

对两种初等模糊拟阵和基本截片模糊拟阵的定义进行了比较,研究了它们之间的关系.研究了初等模糊拟阵的若干性质,得到了初等模糊拟阵和基本截片模糊拟阵为闭正则模糊拟阵等结论,给出了初等模糊拟阵的等价刻画以及初等模糊拟阵与其截拟阵之间的关系.     

关于模糊横贯拟阵的最大表示

本文利用横贯拟阵的最大表示及其性质来定义和研究模糊横贯拟阵的最大表示问题。首先,推广横贯拟阵的最大表示概念定义横贯拟阵的p-最大表示。同时解决了p-最大表示的存在性、唯一性和算法等问题;然后,再推广横贯拟阵的最大概念定义模糊横贯拟阵的最大表示。证明了模糊横贯拟阵的最大表示也是简洁表示,最大表示的截短子集族是导出横贯拟阵的p-最大表示以及其它性质和结论;接下来,利用这些研究结果,通过简洁表示和p-最大表示概念提出并证明了模糊横贯拟阵的表示是最大表示的充要条件;最后,根据这个充要条件证明了模糊横贯拟阵的最大表示总是存在并且唯一。给出了从模糊横贯拟阵的一个表示计算最大表示的算法,而且证明了这个算法的有效性。     

研究模糊拟阵的一种新方法

本文根据模糊集合的表示方法,在模糊拟阵中提出"基子集套"概念。然后,利用"基子集套"概念描述了闭模糊拟阵的模糊基结构,并给出了闭模糊拟阵的充要条件、闭正规模糊拟阵的充要条件和准模糊图拟阵的充要条件。     

准模糊图拟阵基图的性质

模糊拟阵的基图是模糊拟阵的基本概念.在准模糊图拟阵的基础上,讨论了准模糊图拟阵基图的一些基本性质,得到了相关的几个结论,这些结论有利于进一步研究模糊拟阵的其它性质.     

准模糊图拟阵的次限制最小基

模糊拟阵的基图是模糊拟阵的基本概念.在准模糊图拟阵的基础上,给出了准模糊图拟阵基图的次限制最小基的一些性质,这将有利于进一步研究模糊拟阵的其它性质.     

模糊子模函数与模糊秩函数

讨论模糊集合的一些性质;再以一般子模函数为蓝本,定义模糊子模函数,研究模糊子模函数和模糊秩函数的性质;然后利用这些性质推广通过模糊秩函数确定模糊拟阵的一个重要定理。     

闭模糊拟阵的特征

给出Goetchel和Voxman定义的模糊拟阵成为闭模糊拟阵的三个充分必要条件。     

闭模糊拟阵模糊圈的极值问题

本文主要方法是通过基本序列、导出拟阵序列和模糊集分解定理,将模糊圈的研究转化为对圈子集套和数组的研究。在闭模糊拟阵中,我们得出三个结论:以同一集合为支撑集的模糊圈的最大模糊圈总是存在;以同一子集串为圈子集套的模糊圈的最大模糊圈不一定存在。但是,找到了存在最大模糊圈的充要条件;以同一集合为支撑集的模糊圈的最小模糊圈,以同一子集串为圈子集套的模糊圈的最小模糊圈都是不存在的。但它们的最小模糊势是存在的,而且找出了计算最小模糊势的公式。我们构造了两个算法:一是构造支撑集最大模糊圈算法。通过这个算法可构造出支撑集最大模糊圈,同时计算出其最大模糊势;二是判断和构造圈子集套最大模糊圈算法。通过这个算法首先判断最大模糊圈是否存在,如果存在就可以找出圈子集套最大模糊圈同时计算出最大模糊势。     

拟阵上模糊合作对策的Banzhaf函数

首先通过对清晰拟阵定义的拓展,给出了模糊拟阵的概念。通过定义具有多线性扩展形式的模糊合作对策在静态结构和动态结构拟阵上B anzhaf函数的公理体系,分别探讨了此类模糊合作对策在这两种拟阵上关于B anzhaf函数的存在性和唯一性。同时,通过定义具有Choquet积分形式模糊合作对策在静态结构和动态结构拟阵上B anzhaf函数的公理体系,分别探讨了此类模糊合作对策在这两种拟阵上关于B anzhaf函数的存在性和唯一性。     

On the (co)girth of a connected matroid

This article studies the girth and cogirth problems for a connected matroid. The problem of finding the cogirth of a graphic matroid has been intensively studied, but studies on the equivalent problem for a vector matroid or a general matroid have been rarely reported. Based on the duality and connectivity of a matroid, we prove properties associated with the girth and cogirth of a matroid whose contraction or restriction is disconnected. Then, we devise algorithms that find the cogirth of a matroid M from the matroids associated with the direct sum components of the restriction of M. As a result, the problem of finding the (co)girth of a matroid can be decomposed into a set of smaller sub-problems, which helps alleviate the computation. Finally, we implement and demonstrate the application of our algorithms to vector matroids.     

Bounding the beta invariant of 3-connected matroids

The beta invariant is related to the Chromatic and Tutte Polynomials and has been studied by Crapo [4], Brylawski [2], Oxley [7] and others. Crapo [4] showed that a matroid with at least two elements is connected if and only if its beta invariant is greater than zero. Brylawski [2] showed that a connected matroid has beta invariant one if and only if M is isomorphic to a serial-parallel network. Oxley [7] characterized all matroids with beta invariant two, three and four. In this paper, we first give a best possible lower bound on the beta invariant of 3-connected matroids, then we characterize all 3-connected matroids attaining the lower bound. We also characterize all binary matroids with beta invariant 5, 6, and 7.     

On the complexity of packing rainbow spanning trees

One of the most important questions in matroid optimization is to find disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases. Bérczi and Schwarcz showed that the problem is hard in general, therefore identifying the borderline between tractable and intractable instances is of interest.In the present paper, we study the special case when one of the matroids is a partition matroid while the other one is a graphic matroid. This setting is equivalent to the problem of packing rainbow spanning trees, an extension of the problem of packing arborescences in directed graphs which was answered by Edmonds' seminal result on disjoint arborescences. We complement his result by showing that it is NP-complete to decide whether an edge-colored graph contains two disjoint rainbow spanning trees. Our complexity result holds even for the very special case when the graph is the union of two spanning trees and each color class contains exactly two edges. As a corollary, we give a negative answer to a question on the decomposition of oriented k-partition-connected digraphs.     

Orientable arithmetic matroids

The theory of matroids has been generalized to oriented matroids and, recently, to arithmetic matroids. We want to give a definition of “oriented arithmetic matroid” and prove some properties like the “uniqueness of orientation”.