简介:对于给定的图H,若存在可图序列π的一个实现包含H作为子图,则称π为蕴含H-可图的.Gould等人考虑了下述极值问题的变形:确定最小的偶整数σ(H,n),使得每个满足σ(π)≥σ(H,n)的n项可图序列π=(d1,d2,…,dn)是蕴含H-可图的,其中σ(π)=∑di.本文刻划了蕴含K4+P2-可图序列,其中K4+P2是向致的一个顶点添加两条悬挂边后构成的简单图.这一刻划导出σ(K4+P2,n)的值.
简介:Hypersubstitutions是印射操作符号到相应arities的术语的地图砰。他们作为使ahyperidentity和归纳的概念精确到M-hyperidentities的一个方法被介绍。每身份作为亢奋的身份在满足的一个变化被称为固体。如果每身份是为子集Mof的M-hyperidentity所有亢奋的替换的集合,变化被称为M固体。在亢奋的替换的单音的标志和一种给定的类型的代数学的所有变化的格子的潜水艇格子之间有一个Galois连接。因此,知道怎么有趣、有用半组或在到M固体变化的相应格子的性质的这个Galois连接下面的亢奋的替换转移的单音的标志性质ofmonoids。在这篇论文,我们学习类型(2,2)的eachhypersubsfitution的顺序,即,周期的subsemigroup的顺序由类型的所有亢奋的替换的单音的标志的thathypersubstitution产生了(2,2)。主要结果是顺序是1,2,3,4或无限。
简介:首先研究了Kleene-Stone代数的由素滤子生成的同余关系的性质,然后在此基础上给出了Kleene-Stone代数的分类,最后证明了对每个KS-n代数L(n),存在一个商代数L(n)/~嵌入于有限的KS-n代数Ω(n)中.