可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题.本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性.论文证明了可满足子句集的三个充要条件.并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法.     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

re-Horn子句集的Horn化及可满足性判定方法

在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。     

两类图同构的充分必要条件

给出了两类图同构的充分必要条件，结果对研究图的重构猜想有重要意义．     

可测集的一个充分必要条件

判断Ra中的点集是否可测是实变函数研究的重要内容.通过卡拉泰奥多里条件,研究给出了Ra中的点集可测的一个充要条件,并用这个结论证明了Cantor集是可测集.     

关于Hamilton图的充分必要条件

引入与图Ｇ具有相同连通性的图Ｇ的相关简单图ＧＲ的概念,并通过对ＧＮ的邻接矩阵的恒式的研究,给出了任意图Ｇ是Ｈａｍｉｌｔｏｎ图的充分必要条件,得到了以下主要结论：定理：图Ｇ是Ｈａｍｉｌｔｏｎ图的充分必要条件,是图Ｇ的相关简单图ＧＲ的邻接矩阵的恒式ＰｅｒＧＲ不为０。     

关于半单纯模为自反模的一个充分必要条件

本文给出了一个关于可有限分解的半单纯模为自反模的一个充分必要条件,从而证明了呆有限分解的半单纯模Ｘ＝⊙ｉ＝１→ｎ Ｘｉ为自反模当且仅当Ｘ同构于某个除环上的ｎ维向量空间。     

多元函数可微的充分必要条件

常见的数学分析教材都仅给出二元函数可微的必要条件或充分条件,本文将给出并证明二元函数可微的两个充分必要条件。     

多元函数可微的充分必要条件

常见的数学分析教材都仅给出二元函数可微的必要条件或充分条件,本文将给出并证明二元函数可微的两个充分必要条件.     

一类集合等式成立的充分必要条件

运用凸集的面的结构理论, 给出了优化理论象空间法中的一类集合等式成立的两类充分必要条件.     

置换群多重可迁的充分必要条件

Ｇ是有限集合Ｓ上的置换群，ｘ∈Ｇ，ａ（ｘ）表示ｘ所固定的Ｓ中的文字个数，证明了定理１，Ｇ可迁的充要条件是∑ａ（ｘ）＝Ｇ。定理２ Ｇｋ重可迁的充要条件是Ｇｋ－１重可迁且∑ａ（ｘ）（ａ（ｘ）／ｋ－１）＝ｋ／（ｋ－１）Ｇ。     

两序列是可有向图的充分必要条件

对给定的2个非负整数列d1=(a1,a2,…，an)和d2=(b1,b2,＋，bn)，给出了d1、d2分别是有向图D＝＜V，E＞的出度序列和入度序列的充分必要条件及算法。     

矩阵可对角化的一个充分必要条件

给出了数域F上n阶矩阵可对角化的一个充分必要条件．     

市场完备性的一个充分必要条件

在非均衡市场套利机会存在性研究的基础上 ,定义了市场的可及性和完备性 ,再根据定义讨论市场的完备性 ,利用线性空间的相关知识得到判别市场完备性的一个充要条件。该条件认为 ,在m≥n的情况下 ,只要存在一个F(m)t 适应的矩阵价值过程σ-1(t,ω) ∈Rm×n,满足秩σ(t,ω) =m ,a .a .(t,ω) ,则市场 {X(t) }就是完备的。在同样的假设条件下 ,利用该定理得到了在m =n时判别市场完备性的一个更为简洁的结果 ,以及在市场完备性的条件下求取u(t,ω)的唯一表达式。     

三阶线性常微分方程可积的充分必要条件

本文论证三阶线性常微分方程y′″ p1(x)y″ p2(x)y′ p3(x)y=0可积的两个充分必要条件。     

简单无向图的同构判定问题的研究

图的同构判定问题是图论学科的基本问题之一,但是要判定两个图是否同构却是一件非常不简单的事情。本文旨在研究简单无向图的同构判定问题;并提出了一种新的简单无向图同构的必要条件。     

Pfaff约束可积的Euler形式的充分必要条件

研究现代分析力学理论中一种常见且重要的微分约束-Pfaff约束的可积性问题,给出一个判断力学体系所受Pfaff约束是完整约束还是非完整约束,是完整系还是非完整系的简捷方法。证明Pfaff约束可积的Euler形式的充分必要条件,给出Pfaff约束可积的Euler形式的充分条件和有关PfMf约束可积的几点推论。举例说明P肼约束可积的Euler形式的充分必要条件和有关Pfaff约束可积的推论的应用。     

完备集环是理想格的充分必要条件

证明了如下结果：设L是完备格，L是完备集环←→L同构到L的完全并既约元有限生成的分配并半格F上的理想格I(F)，完备格L同构到一个格K的理想格I(K)，L是完备集环←→K是强Sober格。