拟阵的差导算子与导算子的完备格同构.pdfVIP

2010年3月 榆 林 学 院 学 报 M83．2010 第2O卷 第2期 JOURNALOFYULINUNIVERSⅡ．Y Vo1．20No．2 拟阵的差导算子与导算子的完备格同构 程 茜 (西安欧亚学院基础部数学教研室，陕西 西安710065) 摘 要：定义了拟阵的差导算子，导算子，-iv-．)~了对每个给定的有限集X，-*J-v~给DD(X)(即x上拟阵 差导算子的全体)上赋予适当的序---4~得(DD(X)，s)与(D(X)， )(即x上拟阵导算子的全体)之间 是完备格同构的。’ 关键词：拟阵；拟阵差导算子；拟阵导算子；完备格同构 中图分类号：O157．5 文献标识码 ：A 文章编号：1008—3871(2010)02-0012-03 拟阵是组合优化中一个常见的概念，拟阵结构 (CL)设x，Y∈X，若Y∈C(XUx)一c(x)，贝ⅡX 是使算法得以进行的唯一非空可传结构。另外拟阵 ∈c(XUy)。 在整数规划，网络流及 电网络理论 中也有广泛的应 那么则称c为x上的一个拟阵闭包算子，x上 用，它已经构成了离散数学的一个重要分支。本文 的拟阵闭包算子的全体记作 CL(x)，并且称 (x， 通过研究有限集上所有拟阵差导算子，闭包算子，与 CL)为拟阵。 闭集族的关系，得出它们是完备格同构的(从序理 定理 1．1(1)表达式f12：2 和f1：(d’)=A 论角度看)。 ud (A)(VAE2)定义了一个双射 fl：(DD 1预备知识 (本文所涉及的集合均为有限集) (X)， )一 (CL(x)， )，它的逆映射 f2。： (CL (X)， )一 (DD(X)，s)，是由 。(CL)：2x 2 定义 1．1 对每个AC2，记0pp(A)=2一A， 和f2(CL)(A)=CL(A)一A(VA∈2)给出。 Upp(A)=tA，Low(A)=lA，Max(A)={AIA是 (2)在 DD(X)上规定dlsd甘对每个A∈2， (A， )的极大元}，Min(A)={AIA是 (A， )的极 女Ⅱ果 a dl‘(A—a)(Va∈A)，男么 a‘∈ (A—a) 小元}，Com(A)：A ={X—AlAEA} (Va∈A)，则(DD(X)， )是完备格且 (1)中的两 定义 1．2 (参见 ，)设x是有限集，如果C： 个映射为完备格同构。 2一2满足以下条件： 定义 1．3 偏序集是一个对 (P， )，其中P是 (cL)C是增值的，即对任意子集x x，均有x 任意集合； 是 P上的关系且满足：(1)自反的，即 c(x)； 对每个x∈P都有 X x；(2)反对称的，即x5Y且 Y (cL2)C是保序的，即当x Y时，有 C(x) c x时，X=Y(其中x，YEP)；(3)传递的，即xsY且 (Y)； ysz时，x z(其中x，Y，z∈P)。 (cIJ3)C是幂等的，即对任意子集 x，均有C(c 引理 1．2 设x为完备格，Y为偏序集，若 X (x))=C(X)； —Y为序同构映射 (即f是双射且 f和其逆映射 f