关于模糊拟阵的圈子集套

本文主要采用通过导出拟阵来研究模糊拟阵的方法,探讨模糊拟阵模糊圈的性质和构造。这种方法的基本原理是两条:闭模糊拟阵可以由其导出拟阵序列和基本序列唯一确定,而模糊圈可以被分解为导出拟阵的圈和独立子集套。借助这种方法,本文主要做了三方面工作:一是讨论了模糊拟阵的模糊圈集和导出拟阵圈集之间的关系。比如模糊圈、初等模糊圈和最大初等模糊圈与导出拟阵圈之间的关系等;二是基于模糊圈和导出拟阵圈之间的关系,定义了导出拟阵圈函数和导出拟阵圈子集套两个概念。然后,详细研究了利用这两个概念来构造模糊圈的方法。同时,分析了在圈子集套和数列满足什么条件时,这种方法有效;三是分别用导出拟阵圈和圈子集套给出了准模糊图拟阵和精细模糊拟阵的充要条件。     

超拟阵的独立集公理、基公理和圈公理

Dunstan等在1972年首先提出了超拟阵的概念,用以将定义拟阵的承载集合从有限集推广到偏序集.Barnabei等在1998年研究了另一种偏序集上的拟阵结构,即偏序集拟阵.由有限分配格和有限偏序集之间的对应关系可知,偏序集拟阵就是分配格上的超拟阵.本文研究超拟阵的公理系统,建立模格上的超拟阵的独立元公理,证明模格上超拟阵的中间基性质和基的交换性质并用这两个性质分别刻画了模超拟阵.最后指出了Barnabei等给出的分配超拟阵圈公理中的一个错误,重新提出并证明分配超拟阵的圈消去性质并建立了分配超拟阵的圈公理.作为圈消去性质的一个应用,本文证明了分配超拟阵中覆盖基的元素包含唯一的圈.     

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

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

M-模糊化相关集族及M-模糊化β-圈集族

本文在已有研究基础上,讨论了M-模糊化相关集族的若干性质,给出了M-模糊化β-圈集族的定义,研究了M-模糊化β-圈集族的基本性质,并借助于M-模糊化拟阵的层拟阵结构,得到由M-模糊化相关集族和M-模糊化β-圈集族可以等价刻画M-模糊化拟阵这一重要结论。     

M-模糊化P-基集族和M-模糊化P-圈集族

引入了M-模糊化p-基集族和M-模糊化p-圈集族,并研究了他们的性质.借助于层拟阵结构,得到M-模糊化拟阵可分别由M-模糊化p-基集族和M-模糊化p-圈集族等价刻画这一合理结论.     

极小圈模对与二元域拟阵的特征

研究极小圈模对与二元域拟阵的特征.首先给出拟阵M的极小圈模对,模对的并的秩与相应的超平面的交的秩三者的等价关系.在两个极小圈不等的条件下,证明了满足极小圈消去公理的极小圈是唯一的并且极小圈模对的对称差包含在其中,结合极小圈的对称差的表示,证明了极小圈与基的差的绝对值大于等于2.后面两个证明都把原来的必要条件推广为充要条件.最后,用M上不相同的极小圈,极小圈模对,极小圈的对称差表示,M上不相等的超平面,超平面的并不等于E及满足的秩等式极简单地刻划了二元域拟阵M的特征.     

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

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

关于一致模糊横贯拟阵的研究

"模糊横贯拟阵'的反例"~([1])一文指出不是所有模糊集族的模糊部分横贯都能构成一个模糊拟阵的模糊独立集族。本文找到一类满足"一致性"条件的模糊集族,其模糊部分横贯全体一定能组成一个模糊拟阵的模糊独立集族(称这类模糊拟阵为一致模糊横贯拟阵);然后详细讨论了一致模糊横贯拟阵的基本序列、导出拟阵序列和模糊基等许多性质;还讨论了一致模糊横贯拟阵与准模糊图拟阵的关系,与正规模糊拟阵的关系;最后证明了一致模糊横贯拟阵是一类准模糊图拟阵。     

由上近似数诱导的拟阵及其特征

拟阵理论与粗糙集理论之间有很多相似之处,近年来,探讨这二者之间的联系成为一个研究热点.首先利用基于等价关系的上近似数诱导了一系列拟阵结构,然后刻画了这类拟阵的独立集、基集、秩函数以及闭包等,讨论了与其它拟阵之间的一些联系.     

在1/2Z~+中的(F-Z_1)-可流拟阵(M-Z_1)/Z_2

研究在1/2Z⁺中的F-可流拟阵的幼阵的可流性.首先给出F-可流拟阵的充要条件及在1/2Z+中的F-可流拟阵的幼阵的可流性.首先给出F-可流拟阵的充要条件及在1/2Z⁺中是F-可流拟阵的定义.证明了辅助命题:若拟阵是无环元的,则它的每个元素都恰在k个余极小圈之中;对满足一定的条件的极小圈集合,成立最小极小圈集合的等式.设映射p′在幼阵中满足1/2Z+中是F-可流拟阵的定义.证明了辅助命题:若拟阵是无环元的,则它的每个元素都恰在k个余极小圈之中;对满足一定的条件的极小圈集合,成立最小极小圈集合的等式.设映射p′在幼阵中满足1/2Z⁺中(F-Z_1)-可流拟阵的不等式,由p′定义p.证明p在拟阵中满足同样的不等式.由映射Φ满足是12/Z+中(F-Z_1)-可流拟阵的不等式,由p′定义p.证明p在拟阵中满足同样的不等式.由映射Φ满足是12/Z⁺中F-可流拟阵的等式,可找到最小属于幼阵的极小圈,定义Φ′(C′)则可证明Φ′满足在1/2Z+中F-可流拟阵的等式,可找到最小属于幼阵的极小圈,定义Φ′(C′)则可证明Φ′满足在1/2Z⁺中是(F-Z_1)-可流的等式.即由在1/2Z+中是(F-Z_1)-可流的等式.即由在1/2Z⁺中F-可流拟阵的充要条件,证明了幼阵在1/2Z+中F-可流拟阵的充要条件,证明了幼阵在1/2Z⁺中是(F-Z_1)-可流的.     

任意基数集上的拟阵之单扩张

对于由Betten和Wenzel于2003年提出的任意基数集上的拟阵其相应的秩公理给予了证明,并将此结果用于研究任意基数集上的拟阵的单扩张问题.     

Two algorithms for matroids

A matroid may be characterized by the collection of its bases or by the collection of its circuits. Along with any matroid is a uniquely determined dual matroid. Given the bases of a matroid, it is possible to show that base complements are precisely the bases of the dual. So it is easy to construct bases of the dual given the bases of the original matroid.This paper provides two results. The first enables construction of all circuits of the dual matroid from circuits of the original matroid. The second constructs all bases of a matroid from its circuits.     

ContributionsOn binary k-paving matroids and Reed-Muller codes

A matroid M of rank r k is k-paving if all of its circuits have cardinality exceeding r − k. In this paper, we develop some basic results concerning k-paving matroids and their connections with codes. Also, we determine all binary 2-paving matroids.     

The generalized column incidence graph and a matroid base-listing algorithm

The generalized column incidence graph of a matroid base is defined, and it is shown that all elements on a minimal path in this graph lie in a common circuit. Also, an algorithm is provided which lists all bases of a matroid and calculates the Whitney and Tutte polynomials. The complexity of this algorithm is shown to be O(mN(n- m)(c(M) + m)), where Mis a matroid of rank mon a set of cardinality nNis the number of bases of M, and c(M) is the complexity of checking independence in M.     

The Euler circuit theorem for binary matroids

It is proved that, if M is a binary matroid, then every cocircuit of M has even cardinality if and only if M can be obtained by contracting some other binary matroid M⁺ onto a single circuit. This is the natural analog of the Euler circuit theorem for graphs. It is also proved that every coloop-free matroid can be obtained by contracting some other matroid (not in general binary) onto a single circuit.     

The circuit basis in binary matroids

The concept of a circuit basis for a matroid is introduced, as an algorithmically rapid way of determining several characteristics of a given matroid. It is used to give a short search for planarity in graphs, and also to begin the answer to a question of G.-C. Rota about “dependency among dependencies.” A circuit basis for a matroid is a least set of circuits which will generate all the circuits of the matroid by repeated use of symmetric differences of cells.     

Full transversal matroids, strict gammoids, and the matroid components problem

We provide two algorithms for finding dependence graphs both in a full transversal matroid and in its dual, a strict gammoid. The first algorithm is based on directed paths in the directed graph associated with a strict gammoid; its complexity is O(|L|(|V-L|+|E|)), where L is the link-set of the gammoid. The second algorithm is based on a special property of Gaussian elimination in a matrix of indeterminates representing a full transversal matroid; it complexity is o(m²n), where m is the rank of the matroid and n the cardinality of the underlying set. We provide an algorithm for listing all bases in, and calculating the Whitney and Tutte polynomials for, a full transversal matroid or a strict gammoid. The complexity of this algorithm is 0(N(n-m) (|E| + m²)), where N is the number of bases.     

Coordinatizing R-trees in terms of universal c-trees

A complete ℝ-treeT will be constructed such that, for everyxσT, the cardinality of the set of connected components ofT{x} is the same and equals a pre-given cardinalityc; by this construction simultaneously the valuated matroid of the ends of this ℝ-tree is given. In addition, for any arbitrary ℝ-tree, an embedding into such a “universalc-tree” (for suitablec) will be constructed.     

Cubes and orientability

We define and study a new class of matroids: cubic matroids. Cubic matroids include, as a particular case, all affine cubes over an arbitrary field. There is only one known orientable cubic matroid: the real affine cube. The main results establish as an invariant of orientable cubic matroids the structure of the subset of acyclic orientations with LV-face lattice isomorphic to the face lattice of the real cube or, equivalently, with the same signed circuits of length 4 as the real cube.