关于拟阵与组合最优化方法

本论文讨论了拟阵与组合最优化问题之间的关系．阐述了用拟阵这一数学工具解决组合最优化问题的一些方法和思想．     

关于拟阵的最小限制基问题

关于求拟阵的最小基问题,众所周知,有很简明的算法(被称为Greedy Algorithm)。本文考虑求带剖分限制的最小基问题,同样也给出了较简单的有效算法,最后举例说明,许多组合问题都可以化成拟阵的最小限制基问题而求解。     

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

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

模糊拟阵综述

自从Goetschel和Voxman于1988年首次提出了GV-模糊拟阵的概念后,模糊化拟阵问题的研究受到了众多学者的关注。特别地,近些年来兴起的和模糊拟阵相关的基于不确定权的优化问题的研究使得模糊拟阵研究中的一些成果的应用成为可能,这又促使了模糊拟阵研究的发展。本文介绍模糊拟阵发展过程中的一些重要的结论、思想和方法以及进一步可研究的问题。     

Vámos拟阵的直立

通过利用一个拟阵与它的直立之间的关系,特别是通过处理一个拟阵与一个特殊映射f之间的关系,具体分析了Vámos拟阵的直立问题,得到了除去平凡情形,Vámos拟阵没有直立的结论.从而回答了由Welsh提出"Vámos拟阵是否有直立?"的问题.     

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

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

一种求解定向拟阵线性互补问题的普遍性方法

本文提出一种在定向拟阵意义下求解线性互补问题的主转轴方法，文中所考虑的定向拟阵满足充分性，此类定向拟阵是满足充分性的那类方阵的组合抽象．本方法有普遍性，即它执行方式具有相当的灵活性，不同的执行方式可以得到不同的算法，例如，最近由Ｆｕｋｕｄａ和Ｔｅｒｌａｋｙ联合提出的一种ｃｒｉｓｓ－ｃｒｏｓｓ算法，可以视为本方法的一种特殊情形．     

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

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

两个拟阵交的一种推广—交拟阵

针对一类比两个拟阵交更广泛的独立系统——交拟阵,本文探讨了它的某些性质;证明了:任一交拟阵是(2,2)-系统。从而,初步解决了如何在多项式时间内找到一给定交拟阵的最大独立集问题。     

关于模糊截短列拟阵的研究

本文研究了导出拟阵序列为一个拟阵通过逐次截短得到的拟阵序列所确定的模糊拟阵。首先证明了这种模糊拟阵是闭正规模糊拟阵,接着讨论了它们的一些特殊性质,最后刻画了这类模糊拟阵。     

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

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

关于模糊拟阵的模糊秩研究

本文受正规模糊拟阵启发,定义了普通模糊拟阵的正规模糊基概念;然后利用基子集套方法,证明了闭模糊拟阵存在正规模糊基,在同一模糊拟阵中的正规模糊基的模糊势相等,正规模糊基的模糊势是同一模糊拟阵中的模糊基的最大模糊势等性质。通过这些性质,给出了用正规模糊基描述的闭正规模糊拟阵的充要条件。还利用这些性质,得到计算正规模糊基模糊势的公式;最后拓展普通拟阵的秩定义了一般模糊拟阵的模糊秩。通过模糊拟阵的闭包概念,证明了模糊拟阵的模糊秩等于正规模糊基的模糊势,并得到计算模糊拟阵模糊秩的公式。同时,详细讨论了模糊拟阵模糊秩的许多性质,还对利用模糊拟阵模糊秩研究模糊拟阵做了一点尝试。模糊秩是模糊拟阵的固有特征之一,通过模糊秩来研究模糊拟阵,或者从模糊拟阵来讨论模糊秩都有大量工作可以做。     

关于模糊拟阵的圈子集套

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

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

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

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

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

闭模糊拟阵模糊基的判定

通过讨论闭模糊拟阵的导出拟阵序列和模糊基的结构,找到了判定闭模糊拟阵的模糊基的一个充要条件。根据此充要条件,给出了从导出拟阵序列得到闭模糊拟阵的模糊基的一种算法。     

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

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

模糊横贯拟阵的再研究

本文首先推广模糊横贯拟阵概念,定义了更为广泛的模糊横贯拟阵;然后,通过模糊拟阵导出集合函数概念,证明了所有模糊横贯拟阵都是闭模糊拟阵;利用这个闭性,研究了模糊横贯拟阵的基本序列和导出拟阵序列特性;通过这两个特性和"截短模糊集族"概念,得到了模糊横贯拟阵的独立模糊集和模糊基的等价刻画;借助建立"子集族串"概念,找到了模糊集族的全部模糊部分横贯能够组成模糊横贯拟阵的一个等价刻画。     

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

模糊拟阵的基图是模糊拟阵的基本概念.在准模糊图拟阵的基础上,给出了准模糊图拟阵基图的相邻的次限制最小基的一些性质.将为深入研究模糊拟阵的内在本质,进一步研究模糊拟阵的算法奠定了基础.     

拟阵的可去圈

本首先用拟阵语言将图论的新概念定义成了拟阵的新概念，然后用拟阵语言将Goddyn和Heuevl所得的图论上的新结果平移成了拟阵的新结果，最后用拟阵的方法对它们给出了新的证明。