符号矩阵复推广中若干问题及图论方法研究.pdfVIP

垦童查兰堡圭兰堡垒茎 摘 要 符号矩阵理论是组舍矩阵论的一个新兴研究分支，是近年来在组合数 学中较为活跃的一个研究方向。该理论主要研究矩阵的仅与其符号模式 有关的定性性质。符号矩阵理论摄早起源于经济学中对某些问题的定性 性质的研究。其开创性工作是由诺贝尔奖获得者、经济学家P．Samuelson作 出的(参见文献f461)。由于符号矩阵理论在经济学中有着重要的应 用背景，从而引起了经济学家、数学家及计算机理论专家的广泛关 of 注。1995年，R．A．Brualdi与BL，Shader的关于符号矩阵论的专著{Matrices Linear Sign—solvablesystems)(文献f12】)的问世极大地推动了符号矩阵理论 的发展，它全面系统地总结了在符号矩阵理论方砸的研究成果，同时给出了许 多新的结论．从而使符号矩阵理论成为组合数学的一个新兴研究热点。 本文主要研究符号矩阵理论的复推广中的一些重要问题，研究主要分两 个方面：一是系数矩阵为方阵的复线性方程组为ray可解性的研究；二是作 为SNS阵的复推广的DRU阵(即行列式ray唯一矩阵)和作为P，阵的复推广 的mⅣp一阵的联系。在这两方面的研究中，我们都将主要使用图论的方法来研 究这些原本提法是纯代数的问题。 近年来，符号矩阵理论的复推广成为国内外众多学者关注的一个热点，人 们首先关注的是符号矩阵理论中的若干核心研究问题的复推广。这些问题包括 线性方程组的符号可解性的复推广，及在线性方程组的符号可解性问题的完全 解决中起到关键作用的符号非异矩阵(即SNS阵)和St-阵的复推广． 在最初的复推广研究中，作为$NS阵的标准复推广是ray非异矩阵。后 来，随着对r甜非异矩阵研究的深入，人们发现矩阵的许多重要性质对rB∥非异 矩阵都不再成立(特别是SNS阵的圉论特征刻划及SⅣS矩阵与符号可解线性 方程组的许多重要关系)。在这样的复推广有障碍的背景之下，人们就转而 广一口月口矩阵。成功地克服了上述障碍，使得符号矩阵的复推广理论能够顺 利地得到进一步的推进。 在本文中，首先我们利用SNS阵的另一种复推广一DRU矩阵，用图论的 方法对系数矩阵为方阵的复线性方程组的ray可解性进行了的研究，得到了如 下的图论特征刻划： L在§2．3中我们得到了具有标准形式的、系数矩阵^为方阵的复线性方程 ’ 组Ax=b为全非零roy可解的图论判别法及其解的ray模式的图论完全刻 翅。 2．·在§2．3中我们还得到标准形方复线性方程组为全正r卿可解的如下的图 当S(』4)和w满足如下三条件： (1)．S(A)中任一圈的r吲均为负。 (2)．S(A)中任一点均到Ⅳ中某点有路。 IV 摘要 (3)．∥中点都是S(A)中的正端。 在上面得到的关于全非零ray可解及全正ray可解的图论刻划这两个特殊情 形下的结论的基础上，我们进一步考虑了一般ray可解性的图论刻划，得到了 第二章中的主要结论一一般ray可解的方复线性方程组的图论特征刻划。 在第三章中，我们将上述图论刻划中出现的诸相关的带ray有向图定 带ray有向图及其基础有向图的性质作了较为深入的研究，得到了如下结论： 如下的用禁用子图来描述的图论特征刻划： 设是强连通有向图D中的～个点，则D是w-ray可解基础有向图的充要条 件是D中不含有Dt。型子图(详见正文中的图)。 2．在§3．4中主要研究了一股情形下(即不一定是强连通的情形)的W+-ray可 解带ray有向图及W-ray可解带ray有向图的特征刻划。得到了如下的一些 结论： (A)：形+．ray可解带ray有向图的特征刻划： 设w是带r口洧向图s的一个非空点子集，满足假设条件(A．1)一(A3)(见第 三章定义)，则S是w+．ray可解(即每个圈的ray均为负且w中点均为正 端)的充要条件是S满足如下两条件： (11．S中所有支间弧的ray均为正． f21．占中任一强分支最中都存