蕴含K_3.3-e可图序列的刻划

本文刻划了当n≥6时,蕴含图K_3.3-e的可图序列,其中K_3.3-e为完全二部图K_3.3删去一条边e所得到的图．     

自然推理系统P中的P∧Q■P

逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q■P为基础.     

蕴含K_(1,2,3)可图序列的最小度和

经典Tur醤型问题的变形:确定最小的正偶数σ(H,n),使得对于每一个n项可图序列π=(d1,d2,…,dn),当σ(π)=d1+d2+…+dn≥σ(H,n)时,π是蕴含H可图的.确定了当n≥6时的σ(K1,2,3,n).     

蕴含Fk1,k2,1-可图序列

Gould, Jacobson和Lehel考虑了以下变形: 给定图$H$, 求最小偶整数, 使得所有满足σ(π)=d1+d2+…dn≥σ(H,n)的n项序列π(d1,d2,…,dn)有一个G实现含子图H. 设FK1,K2,1是K1个k3和k2个共一个顶点的图. 在本文中我们求出了当K1≥1,K2≥1和n≥max{9/2K12+7/2K1-1/2,2K1+K2+1}时, σ(FK1,K2,1,n)之值.     

蕴含K_(1,5)+P_2可图序列的刻画

对于给定的图H,如果度序列π有一个实现包含H作为子图,则称π是蕴含H可图的.考虑了下述经典Tur偄n型极值问题的变形:确定最小的偶整数σ(H,n),使得每个满足σ(π)≥σ(H,n)的n项可图序列π=(d1,d2,…,dn)是蕴含H可图的,其中σ(π)=∑di from i=1 to n.并在此基础上刻画了蕴含K1,5+P2可图序列,确定了当n≥7时,σ(K1,5+P2,n)的值.关键词:图;度序列;蕴含K+P可图序列     

蕴含kC6的可图序列

刻画了蕴含3C64、C6以及5C6的可图序列,其中一个图G称为具有性质kCl,如果G含有长依次为k,k 1,…,l的圈.     

模糊蕴含算子同时为基于统一模的S蕴含和R蕴含的充要条件

对基于统一模的S蕴合算子和R蕴合算子进行了公理化刻划,并在此基础上得到了一个S蕴合算子和R蕴合算子具有相同表达式的充要条件．     

预设与蕴含

该文指出预设是前提、先设,其特点是在句子被否定后仍然保留,具有不可否定性。并提出蕴含的定义,在此基础上探讨预设和蕴含二者之间的关系及其区别。     

关于蕴含P_k可图序列的ERDS-JACOBSON-LEHEL猜想

设σ（ｋ,ｎ）是具有下述性质的最小正偶数,每个度和至少为σ（ｋ,ｎ）且没有零项的ｎ项可图序列都是蕴含Ｐｋ可图的．本文给出了当ｋ５,２ｋ＋２ｎ５ｋ－１２时,σ（ｋ,ｎ）的一个下界,并确定了ｋ＝５,６,７时,σ（ｋ,ｎ）的值,即证明了Ｅｒｄｏｓ－Ｊａｃｏｂｓｏｎ－Ｌｅｈｅｌ关于σ（ｋ,ｎ）的猜想对ｋ＝５且ｎ１３,ｋ＝６且ｎ１５,以及ｋ＝７且ｎ１７时成立．     

蕴含C3_星的可图序列

本文刻划了蕴含C3_星的可图序列,其中C3_星是向C3的每个顶点添加一条悬挂边后构成的简单图.