E-反演P-半群上的强P-同余

令S(P)为E-反演P-半群．本文用核与迹研究了S(P)上的强P-同余．证明了S(P)的任一强P-同余对，可以决定S(P)上的一个强P-同余；反之，S(P)上的任一强P-同余，可以决定S(P)的一个强P-同余对。     

P-反演半群上的正则P-同余

令S(P)为P-反演半群，本文借助于P-核正规系来刻画S(P)上的强P-同余，证明了S(P)上的任一正则P-同余可以决定S(P)的一个P-核正规系；反之，S(P)的任一P-核正规系可以决定S(P)上的一个正则P-同余．     

弱P-反演半群上的强P-同余

本文利用核-迹方法，研究了弱P-反演半群上的强P-同余．给出了强P-同余对和强P-同余关系之间的结构定理．     

弱P-反演半群上的强P-同余Ⅱ

刻画了弱P-反演半群S(P)上满足P-trμN=πN的最大的强P-同余;给出了S(P)上的特征核正规系的一种抽象刻画.     

P-析取强P-反演半群

介绍了强P-反演半群的概念,刻划了P-析取强P-反演半群的某些特征.     

P-正则半群上的P-同余

给出了P-正则半群内的P-核正规系统的一个等价刻划并用P-核正规系统描速了P-正则半群上的强P-同余。     

(P)-反演半群上的模糊强(P)-同余

给出模糊强(P)-同余的概念,接着用"弱(P)-逆"研究-反演半群S(P)上的强-同余,最后借助于由P上的模糊正规等价关系ξ及S(P)上的模糊正规子集K组成的模糊强(P)-同余对(ξ-K)刻画(P)-反演半群S(P))上的模糊强(P)-同余.     

强P-正则半群上的最小正则＊-半群同余

主要研究了强P-正则半群S（P）上的最小正则＊-半群同余.利用S（P）的正则＊-断面S°得到S（P）上最小正则＊-半群同余的简单形式γP.由于S（P）/γP同构于S°,实质上S°是S（P）的最大正则＊-半群同态象,且S（P）的正则＊-断面不唯一,但从同意义上看正则＊-断面唯一.     

弱(F)-反演半群上的模糊(F)-核正规系

借助于模糊(F)-核正规系刻画了弱(F)-反演半群S(P)上的强(F)-同余.证明了S(P)上的每一个模糊强(F)-同余都是由它的模糊(F)-核正规系所唯一决定的.     

P-反演半群的P-次直积

本文研究了P-反演半群的P-次直积和E-囿P-反演盖.利用P-反演半群的P-次直积的结构,引入了P-反演半群的E-囿P-反演盖概念,并刻画了它们的结构.最后,讨论了P-反演半群到给定群上的囿P-次同态,推广了文献[9]中的一些结果到P-反演半群上.     

P-反演半群上强P-同余的P-核正规系

Let S(P) be a P-inversive semigroup. In this paper we describe the strong P-congruences on S(P) in terms of their P-kernel normal systems. We prove that any strong P-congruence on S(P) can present a P-kernel normal system; conversely any P-kernel normal system of S(P) can determine a strong P-congruence.     

弱P-反演半群上的P-核正规系

In this paper,we first give the concept of weakly P-inversive semigroup S(P).Then we describe the strong P-congruences on S(P)in terms of their P-kernel normal systems.It is proved that there is a bijection between the strong P-congruences and the P-kernel normal systems.Finally,it is also prove that the lattice of strong P-congruences and the lattice of P-kernel normal systems on S(P)are isomorphic.     

极大外平面图的不可定向强最大亏格

强嵌入猜想称:任意2-连通图都可以强嵌入到某一曲面上．本文通过分析极大外平面图的结构以及强嵌入的特征,讨论了该图类的不可定向强最大亏格,并给出了一个复杂度为O(nlogn)的算法．其中部分图类的强最大亏格嵌入提供该图的一个少双圈覆盖．     

马氏环境中马氏链的一个概率不等式及其应用

本文研究了马氏环境中马氏链构成的随机变量之和的概率不等式问题.利用了结尾的方法,获得了马氏环境中马氏链构成的随机变量之和的尾部概率不等式,作为结果的应用,给出了将过程限制在(S,S∩F,PS)上的强大数定律.文中提出的方法和结果对研究独立的随机变量之和的大样本性质是十分有用的.     

Effective embeddings into strong degree structures

We show that any partial order with a Σ₃ enumeration can be effectively embedded into any partial order obtained by imposing a strong reducibility such as ≤_tt on the c. e. sets. As a consequence, we obtain that the partial orders that result from imposing a strong reducibility on the sets in a level of the Ershov hiearchy below ω + 1 are co‐embeddable.     

Rainb ow Vertex-connection Numb er of Ladder and M¨obius Ladder

A vertex-colored graph G is said to be rainbow vertex-connected if every two vertices of G are connected by a path whose internal vertices have distinct colors, such a path is called a rainbow path. The rainbow vertex-connection number of a connected graph G, denoted by rvc(G), is the smallest number of colors that are needed in order to make G rainbow vertex-connected. If for every pair u, v of distinct vertices, G contains a rainbow u-v geodesic, then G is strong rainbow vertex-connected. The minimum number k for which there exists a k-vertex-coloring of G that results in a strongly rainbow vertex-connected graph is called the strong rainbow vertex-connection number of G, denoted by srvc(G). Observe that rvc(G) ≤ srvc(G) for any nontrivial connected graph G. In this paper, for a Ladder Ln, we determine the exact value of srvc(Ln) for n even. For n odd, upper and lower bounds of srvc(Ln) are obtained. We also give upper and lower bounds of the (strong) rainbow vertex-connection number of M¨obius Ladder.