学科分类
/ 3
57 个结果
  • 简介:设G是一个图,具有顶点集V(G)和边集E(G).设g和f是定义在V(G)上的整数值函数且对每个x∈y(G)有g(x)≤f(x).本文证明了如下的结果:若G是一个(mg+kr,mf-kr)一图,且对每个x∈V(G)有g(x)≥r-1,H和G的任意给定的有kr条边的图,则G中含有一个图R,使R有(g,f)-因子分解r-正交于H,其中m,k和r是正整数且k〈m.

  • 标签: 因子 (G F)-因子分解 正交因子分解 因子分解 子图 正交
  • 简介:本文给出并证明了若干个子空间的并以及两个子空间的基构成空间的充要条件,从而本质地揭示了除空间的交与和是构造新的予空间的方法外,集合的其它运算不能构造新的空间,最后分析了空间直和的两种不同定义的优缺点,指出了张禾瑞教材中子空间直和定义推广时应注意的一个问题。

  • 标签: 子空间 空间构造 线性空间 直和 三维几何空间
  • 简介:设n2≥n2≥…≥nk≥2是整数。若图G能边分解成G1+G2+…+Gk,这里X(G1)=n1,i=1,2,…k,则称G有(n1,n2,…,nk)-色因子分解。本文改进了Hakimi和Schmeichel关于图的色因子分解的结果,作为推论,推广了Matula和Harary等人的结果。

  • 标签: 色因子分解 图论 色数 色组
  • 简介:图G的一个星因子是G的一个支撑图,其中每一个分支是一个星图.本文研究完全偶图Km,n的星因子计数,给出了Km,n存在由K个分支构成的星因子的充要条件,进而给出了Km,n星因子计数的公式.

  • 标签: 星因子 星因子 因子计数 星图
  • 简介:在蕴涵格中引和了蕴涵滤的概念,讨论了蕴涵滤的一些基本性质,并由此建立了由素蕴涵滤决定的同余关系及其商蕴涵格,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:设N是Banach空间X上的套,AlgN是相应的套代数。本文证明了,若套N中存在一个非平凡元在X中可补,那么AlgN上的每个可加Jordan高阶导和每个可加三重Jordan高阶导都是高阶导

  • 标签: 套代数 Jordan高阶导子 三重Jordan高阶导子 JORDAN导子
  • 简介:格蕴涵代数中的滤是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:基于矩阵谱问题构造了一种实用的方法来对一类实轴上的可积方程的Riemann-Hilbert问题进行建模。当跳跃矩阵是单位矩阵时,孤立解通过特殊约化的Riemann-Hilbert问题显性表示。作为一个范例,对于具有任意阶矩阵谱问题的多分量非线性薛定谔方程,给出了该方法的具体应用。

  • 标签: 矩阵谱问题 RIEMANN-HILBERT问题 孤立子解
  • 简介:本利用几何不等式和曲率估计的方法,证明了黎曼流形N^n+p,上的具有平行平均曲率的紧流形M^n上的一个拼挤定理。若N上的截曲率KN满足-1≤KN≤δ≤0,且‖S-nH2‖n/2,‖S-nH^2‖n/n-s满足一些不等式,则δ=-1。

  • 标签: 拼挤定理 子流形 非负截曲率
  • 简介:如果对一个简单图G的每一个与G的顶点数同奇偶的独立集I,都有G-I有完美匹配,则称G是独立集可削去的因子临界图.如果图G不是独立集可削去的因子临界图,而对任意两个不相邻的顶点x与y,G+xy是独立集可削去的因子临界图,则称G是极大非独立集可削去的因子临界图.本文刻画了极大非独立集可削去的因子临界图.

  • 标签: 独立集 独立集可削去的因子临界图 极大非独立集可削去的因子临界图
  • 简介:设G是一个具有顶点集V(G)和边集E(G)的图。设g和f是定义在V(G)上的两个整数值函数,使得g(x)≤f(x)对所有的点x∈V(G)都成立。结果G是一个(mg+n,mf-n)-图,1≤n

  • 标签: 因子分解 正交 整数值函数