两类大龙虾幸福树的构造性证明

树Ｔ称为幸福树，如果存在用集合（０，１，．．．│Ｅ（Ｔ）│中的不同整数分配给它的顶点的一个标号ｌ，使得由ｌ’（ｅ）＝ｌ（ｕ）＋ｌ（ｖ）ｍｏｄ│Ｅ（Ｔ）│定义的导出边标号ｌ‘分配给各条边以不同的标号，构造性地证明了两类大龙虾树是幸福树，并提出了任意龙虾树是幸福树的猜想。     

两类大龙虾树的优美标号

对于J.C.Bermond提出的“所有龙虾树都优美”的猜想,目前已有不少结果(如[1]、[3]、[4]).本文则对两类大龙虾树给出其优美标号。     

卡尔达诺的构造性几何证明

基于对《大术》第7章关于三项方程变换法则的几何证明的构造性特点分析,总结了卡尔达诺的构造思想,并按照其方法把他针对三项三次方程的证明自然地推广到一般三项方程.由此认为,卡尔达诺在《大术》中的几何证明大多区别于经典的综合证明,而属于以分析为基础的验证.他对涉及高次方程的几何证明一般是通过具体例子来展示一般方法,但是,他针对特殊情形的证明方法具有一般性.另外,在方法论上指出,古证复原方法也适用于历史上存在的几何证明.     

卡尔达诺几何证明的构造性

为分析与探索《大术》中几何证明的特点,对《大术》第13章中三次幂加上常数等于一次项方程解法法则的证明原文运用简单易懂的数学表达式作以说明;基于对此法则的证明,分析了卡尔达诺几何证明构造性特点,总结了卡尔达诺的构造思路.     

80486极小指令集及其构造性证明

指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。     

拉格朗日中值定理的构造性证明

本文分析后利用辅助函数证明柯西中值定理,并且给出以上结果的一些应用。     

若当定理的一个构造性证明

利用线性空间Ｃｎ×１的直和分解理论给出若当定理的一个构造性证明方法．该证法是简单的，其证明过程还指明了对任何一个方阵Ａ，如何通过解齐次线性方程组求变换矩阵Ｐ，使Ｐ－１ＡＰ成为一个若当形矩阵     

Lyapunov引理的一个构造性证明及其应用

给出Lyapunov引理的一个构造性证明,利用它证明了矩阵方程AX+XA=B的解的存在性和唯一性,并且找到它的唯一解。给出Lyapunov引理在锥优化问题中的应用。     

两类不等式的证明及应用

文章利用求条件极值的方法，证明了两类不等式，由此获得构造具体不等式的技巧，可以方便地构造出不等式的证明题。     

关于两类级数和的证明

在研究随机排徊问题中,我们证明了两类级数和的公式,下面给出它的证明.因证明中用到数列母函数,为此先介绍一下这个概念.定义设a_0,a_1,a_2,···是实数的一个序列,如果A(S)=a_0+a_1S+a_2S~2+···z在某个区间-S_0相似文献   

一类树的化学指标极值的构造性证明

具有r个悬挂点的树称为r叶树.文章研究了具有n个顶点的4叶树的Merrifield-Simmons指标值,并用构造的方法刻画了具有最小Merrifield-Simmons指标的4叶树.     

两大类树是幸福树的新证法

树T称为幸福树，如果存在用集合{0,1,…，|E(T)|}中的不同整数分配给它的顶点的一个标号l，使得由l'(e)=l(u) l(v)mod|E(T)|定义的导出边标号l'分配给各条边以不同的标号。本给出了证明两大类树是幸福树的一个新证法，并提出了任意龙虾树是幸福树的猜想。     

Lebesgue分解定理和Radon-Nikodym定理的构造性证明

本文的主要结果是借助于Hahn分解定理给出了Lebesgue分解定理和Radon-Nikodym定理的一种构造性证明。     

r-可图序列刻划定理的一个构造性证明

本文采用构造性方法给出了Chungphaisan关于r-可图序列刻划定理的另一个证明.     

一类构造性几何定理并行数值检验证明机

为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。     

证明问题属于P类的两个方法

本文阐述问题属于P类的两种证明方法,并运用这两种方法推导出两个新的结果。     

二分图含圈与对集的一个构造性证明

给出了一个二分图G =(V1 ,V2 ;E)有一个支撑子图包含一个指定长度的圈和一个对集的度条件 .并且证明了若 |V1 |=|V2 |=n =2k ,则G有一个 2 因子恰有一个 8 圈和k 2个 4 圈或恰有k个 4 圈 .     

集值映射互补问题解的存在性及其构造性证明

将紧凸集上的集值映射变分不等式解的存在定理推广到非空闭凸集上，利用它建立了广义集值映射互补问题解的存在定理，并用单纯逼近给出了集值映射互补问题解的存在定理的一种构造性证明。