随机均衡正则恰当(2s,k)-SAT问题的可满足相变

为深入理解均衡正则恰当(2s,k)-SAT问题的判定难度和可满足性解的分布情况,引入随机实例产生模型,利用一阶矩和二阶矩方法分析可满足性相变现象,给出随机均衡正则恰当(2s,k)-SAT问题可满足的相变点s?.当ss?时,随机均衡正则恰当(2s,k)...     

一致平衡的(r,s)-正则图

研究(r,s)-正则图的平衡性,给出了(r,s)-正则图为一致平衡图的一个条件.     

关于(1,r)-系的两个结论

本文从(1,r)-系的定义出发,证明了(1,r)-系成群的两个充分必要条件.     

关于(I,k)-正则环

给出了(I,k)-正则环的概念及其等价刻画,研究了它的性质,并对(I,k)-正则环和I-半π正则环之间以及(I,k)-正则环和(I,k+1)-正则环的关系进行了探究.     

关于(I,k)-正则环

给出了(I,k)-正则环的概念及其等价刻画,研究了它的性质,并对(I,k)-正则环和I-半π正则环之间以及(I,k)-正则环和(I,k+1)-正则环的关系进行了探究.     

(a,b,Ck) 临界图

设G是一个图且a,b是非负整数,a≤b。给出了图G是(a,b,Ck) 临界图的一个充分必要条件,讨论了该条件的一些应用,研究了(a,b,Ck) 临界图与联结数的关系。     

(a,b,k)-临界图的一个充分条件

给出了一个图是(a,b,k)-临界图的孤立韧度条件,并证明该结论在一定意义下是最好的。     

关于(ξ,1)-临界图与上可嵌入性

设G为连通图,且(ξG)=k≥1,若对G中任意边e,有ξ(G\e)=k-1,则称G为(ξ,k)-临界图.利用ξ-1-临界图的上可嵌入性,通过研究ξ-1-临界图的加重边、点扩张、圈扩张的ξ-1-临界性,得到了新的上可嵌入图,从而丰富了上可嵌入图的种类和求法.     

MoritaContext的(I,k)-正则性

证明了若环T是具有一对零同态的Moritacontext环(A,B,M,N,ψ,(φ)),则有T/L(≌)A/I(+)B/J,其中L=(I,J,M,N)是环T的理想,I,J分别是A,B的理想;同时证明了一对具有零同态的Moritacontext环T=(A,B,M,N)是(L,k+l)-正则环,如果其中的环A和B分别是(I,k)-,(J,l)正则环,这里L=(I,J,M,N)是环T的理想,且任意给定的k,l∈N.     

(k+1)-连通无K_(1,r)-图是Hamilton-连通的两个充分条件

一个图若不含与Ｋ１,ｒ（ｒ３）同构的导出子图,则称它为无Ｋ１,ｒ－图．本文将运用Ｔ－插点方法,通过对图的独立集的邻域交的研究,给出（ｋ＋１）－连通无Ｋ１,ｒ－图（ｒ４）是Ｈａｍｉｌｔｏｎ－连通的两个充分条件．     

(r, k)-catching code

A collection ofr-words on an alphabet ofn letters is called (r, k)-catching code if for every ρ-word ω there is one selected memberv such that υ coincides with ω in at least κ places. How 1arge is the smallest size of the (ρ, κ)-catching code and how to find the minimal (ρ, κ)-catching code? Some methods are advanced to construct such codes.     

圈的(λ,k)着色问题

从(λ,k)着色这一概念出发,应用组合论的方法对圈的(λ,k)着色进行分析,得到了相应的计数公式PG(λ,k),并应用这一计数公式解决了一个实际问题.     

Set （ k, n ）-Exactly covering problem

<正> With the (k,n) -threshold scheme of secret sharing in the field of information security technology asan application background,the concept of set ( k,n)-exact cover is presented in this paper.It is a modificationof the original concept of set covering problem.It is also different from the concept of exact coverdefined by J.E.Hopcroft.Some properties of ( k,n) -exact cover are investigated;a sufficient conditionfor a set to be ( k,n ) -exactly coverable is given.It follows that a feasible assignment scheme of a set forthe (k,n) -exact cover is obtained if this set satisfies the sufficient condition.     

半群W(n,r)的极大(正则)子半群

设自然数n≥3, RW_n是有限链［n］上的正则保序且压缩奇异变换半群。对任意的r(1≤r≤n-1), 记W(n,r)={α∈RW_n:|Im(α)|≤r}为半群RW_n的双边理想。通过对秩为r的元素和格林关系的分析, 获得了半群W(n,r)的极大(正则)子半群的完全分类。     

(k(f-1)+r-1,kf-r+1)-图的均匀边着色

通过研究因子分解,证明了:对于(k(f-1)+r-1,kf-r+1)-图G(2≤r≤k),H是G中一个给定的有r条边的子图,则G存在一个子图R,使得R有一个均匀边着色与H近似正交.     

J(2k+1,k,0)的3-弧传递性

证明了J(2k+1,k,0)(k≥2)是3-弧传递的,但不是4-弧传递的.在此基础上得到J(2k+1,k,0)(k≥2) 3-弧正则的充要条件是k=2.     

无可信中心的(t,k)门限RSA数字签名体制

提出了一种新的不需要可信中心的门限数字签名方案.在k个成员组成的群组中,只有t个或t个以上成员才能够代表群组签名,而少于t个成员则不能代表群组签名.方案基于Boneh等学者的分布式RSA密钥产生协议和Shamir秘密共享方案而构建.签名过程分为四个阶段:系统初始化、生成个体签名、生成群签名以及签名验证.在系统的初始化阶段不需要可信中心的参与,并且个体签名的生成、群签名的生成和验证都可以方便地实现.通过对方案的安全性分析显示,个体签名和群签名都是不可伪造的,并且在整个签名过程中都没有系统秘密信息的泄漏.     

二分(mg+k-1,mf-k+1)-图的正交(g,f)-因子分解

利用因子理论中的常规方法证明了汪长平提出的猜想对二分图是成立的。其结论是：若G是一个二分（mg＋k-1,mf-k＋1）-图,1≤k≤m,H是G中一个给定的有k条边的子图,则G存在一个子图R,使得尺有一个（g,f）一因子分解与正交。