关于方程a~x b~y=c~z的Terai-Jemanowicz猜想

设ｍ是正整数,证明了：（Ａ）如果ｂ是奇素数,且ａ＝ｍ３－３ｍ,ｂ＝３ｍ２－１,ｃ＝ｍ２＋１, 那么丢番图方程 ａｘ＋ ｂｙ＝ｃｚ（１）仅有正整数解（ｘ,ｙ,ｚ）＝（２,２,３）;（Ｂ）如果ｂ是奇素数,且 ａ＝ｍ｜ｍ４－１０ｍ２＋５｜,ｂ＝５ｍ４－１０ｍ２＋５｜,ｂ＝ ５ｍ４－１０ｍ２＋１, ｃ＝ｍ２＋ １,那么丢番图方程（１）仅有正整数解 （ｘ,ｙ,ｚ）＝（２,２,５）．     

关于三圈连通标号图的计数公式

关于三圈连通标号图的计数公式张树生江西宁都固厚中学本文所指的图者是无向简单图。如果一个图恰好包含有ｍ个初级圈，那么就说这个图恰好包含有ｍ个单个的圈。Ｈａｒａｒｙ在［１］中提出了给定圈的个数的连通标号圈的计数问题。Ｒｅｎｙｉ在［２］中解决了单圈边通标号...     

三角形目标检测题(A)

一、填空（１～５小题各３分,６～８小题各４分,９、１０小题各５分,共３７分）１．按角分类,三角形可分为、和．２．△ＡＢＣ的边ＡＢ＝６ｃｍ,ＡＣ＝４ｃｍ,则第三边ＢＣ的范围是＜ＢＣ＜．图Ａ－１３．如图Ａ－１,ＣＤ是△ＡＢＣ的角平分线,ＡＢ＝ＡＣ．若∠Ａ＝５０°,则∠１＝．４．在△ＡＢＣ中,∠Ｃ＝９０°,ＡＢ＝１３ｃｍ,ＡＣ＝５ｃｍ,则ＢＣ＝ｃｍ．图Ａ－２５．如图Ａ－２,已知线段ＡＢ,用尺规作ＡＢ的垂直平分线．（保留作图痕迹）６．等腰三角形的一个顶角比底角小３０°,则它与顶角相邻的外角等于．７．如图…     

关于二部图K(m,n)-2的色唯一性

设Ｋ（ｍ，ｎ）－２表示从完全二部图Ｋ（ｍ，ｎ）中删去任意２条边所得之图．本文证明了：１．若ｎ≥ｍ≥３，且ｎ＋ｍ＞(（ｎ－ｍ）^２＋８)^1/2＋１/２（ｎ－ｍ）^２＋４，则Ｋ（ｍ，ｎ）－２是色唯一图；２．当ｍ≥３时，Ｋ（ｍ，ｍ）－２，Ｋ（ｍ，ｍ＋１）－２和Ｋ（ｍ，ｍ＋２）－２均是色唯一图．     

几类凝聚图的轮廓

设Ｇ是个图，｜Ｖ（Ｇ）＝ｎ｜对Ｇ上的任一个标号ｆ：Ｖ（Ｇ）→｛１，…，ｎ｝记，且当ｊ≠ｉ时，Ｇ中有边以ｆ（－１）（ｊ）及ｆ（－１）（ｉ）为两端点｝）．称Ｐ（Ｇ）＝ｍｉｎ｛Ｐ（ｆ）：ｆ是Ｇ上的标号｝为图Ｇ的轮廓．对以Ｗ表示Ｇ中Ｗ的边界．本文证明：ｉ）若Ｇ是凝聚图，ｆ及ｆ是Ｇ上一对互逆标号，则Ｐ（Ｇ）＝Ｐ（ｆ）的充要条件是ｆ为凝聚标号，且此时若Ｇ，Ｈ均是凝聚图，则存在阶梯标号。使得路、回、完全留之间的下列乘积图也是凝聚图，且其轮廓为     

关于图B（m,n,p）的优美性

在［１］［２］中已证明“除去三种特殊情形，连结两个顶点的三条独立路所成简单图Ｂ（ｍ，ｎ，ｐ）是优美图”，并猜想：对除去的三种情形，Ｂ（ｍ，ｎ，ｐ）也是优美的。本文证实了上术猜想。这样一来，也就证明了［３］中的猜想：有－ｈ－链弦的圈是优美的（ｈ≥２）。     

三角形目标检测题(B卷)

一、填空（１～５小题各３分,６～８小题各４分,９、１０小题各５分,共３７分）１．三角形的内角和是,一个外角等于的两个内角的和．２．等腰三角形的周长是４０ｃｍ,腰是底的２倍,则底边长ｃｍ．３．△ＡＢＣ的三个内角满足∠Ｃ＝∠Ａ－∠Ｂ,则△ＡＢＣ是三角形．４．如图Ａ－１４,∠Ａ＋∠Ｂ＋∠Ｃ＋∠Ｄ＋∠Ｅ＋∠Ｆ＝．图Ａ－１４图Ａ－１５５．如图Ａ－１５,ＡＤ是等腰Ｒｔ△ＡＢＣ的角平分线,ＤＥ⊥ＡＢ于Ｅ．若ＣＤ＝５ｃｍ,则ＢＥ＝ｃｍ．６．等腰三角形的底角等于１５°,腰的长２０ｃｍ,则腰上的高是ｃｍ．７．等边三…     

（mg＋m—1,mf—m＋1）—图的（g,f）—因子

本文证明了（ｍｇ＋ｍ－１,ｍｆ－ｍ＋１）－图具有一些特殊的（ｇ,ｆ）－因子,从而推广到了关于（ｇ,ｆ）－覆盖图和（ｇ,ｆ）－消去图的有关结果,有助于进一步研究（ｍｇ＋ｍ－１,ｍｆ－ｍ＋１）－图的正交因子分解问题。     

图C_（4n＋2）×P_（4k＋3）的优美性

图Ｃ＿（４ｎ＋２）×Ｐ＿（４ｋ＋３）的优美性杨燕昌，王广选（北京工业大学应用数学系，北京１０００２２）（北京密云县医院计算机室，北京　１０１５００）关键词乘积图，标号，优美图．分类号ＡＭＳ（１９９１）０５Ｌ７８／ＣＣＬＯ１５７．５关于一般乘积图Ｃ＿ｌ...     

检测题参考答案

检测题参考答案四边形一．填空题１．７ｃｍ，８ｃｍ，２．２４ｃｍ２，３ｃｍ；３．４ｃｍ２；４．平分且相等，互相垂直平分，互相垂直且相等．二．一元选择题ＢＢＢＡ，三．（略）四．中位线ＥＦ，则ＥＦ＝６，ＥＦ⊥ＡＢ，ＡＦ＝ＦＢ，∴Ｒｔ△ＡＢＥ是等腰Ｒｔ△，Ａ...     

完全图圈分解的一种新方法

本文给出完全图圈分解的一种新方法，设Ｋｎ（ｎ≥３）是一个ｎ阶完全图，我们得到下列结果：（１）若ｎ为奇数，Ｇ是ｎ阶群，并且｛ｏ（ｘ）│∈Ｇ，ｏ（ｘ）≥３｝＝｛ａ１，…，ａｔ｝，则Ｋｎ＝ｍ１Ｃａ１＋…＋ｍｔＣａｔ。（２）若ｎ为偶数，Ｇ是ｎ阶群，Ｔ＝｛ｘ│ｘ∈Ｇ，ｏ（ｘ）＝２｝＝｛ｘ０，ｘ１，ｙ１，…，ｘｓ，ｙｓ｝，ｏ（ｘｉｙｉ）＝ｂｉ，ｉ＝１，…，ｓ及｛ｏ（ｘ）│ｘ∈Ｇ，ｏ（ｘ）≥｝＝｛ａ１，…，ａｔ     

图的(g,f)-因子分解

设Ｇ是一个图，ｇ（ｘ）和ｆ（ｘ）是定义在图Ｇ的顶点集上的两个整数值函数且ｇ≤ｆ．图Ｇ的一个（ｇ，ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的ｘ∈Ｖ（Ｆ），有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）．如果图Ｇ的边集能划分为若干个边不相交的（ｇ，ｆ）－因子，则说图Ｇ是（ｇ，ｆ）－可因子化的．本文研究了图的（ｇ，ｆ）－可因子化的问题，给出了一个图Ｇ是（ｇ，ｆ）－可因子化的若干充分条件．     

具有与任意图正交的(g,f)-因子分解的子图

设ｇ和ｆ分别是定义在图Ｇ的顶点集合Ｖ（Ｇ）上的整数位函数且对每个ｘ∈Ｖ（Ｇ）有０≤ｇ（ｘ）≤ｆ（ｘ）．证明了：若Ｇ是一个（ｍｇ＋ｋ,ｍｆ－ｋ）－图,１≤ｋ＜ｍ,Ｈ是Ｇ中一个给定的有ｋ条边的子图,则Ｇ有一个子图Ｌ使得Ｌ有一个（ｇ,ｆ）－因子分解与Ｈ正交．     

Some results on domination number of products of graphs

ＳＯＭＥＲＥＳＵＬＴＳＯＮＤＯＭＩＮＡＴＩＯＮＮＵＭＢＥＲＯＦＰＲＯＤＵＣＴＳＯＦＧＲＡＰＨＳＳＨＡＮＥＲＦＡＮＧＳＵＮＬＩＡＮＧＡＮＤＫＡＮＧＬＩＹＩＮＧＡｂｓｔｒａｃｔ．ＬｅｔＧ＝（Ｖ,Ｅ）ｂｅａｓｉｍｐｌｅｇｒａｐｈ．ＡｓｕｂｓｅｔＤｏｆＶｉｓ...     

Graphs on which a group of order <Emphasis Type="Italic">pq</Emphasis> acts edge-transitively

Let F be a finite simple undirected graph with no isolated vertices. Let p, q be prime numbers with p≥q. We complete the classification of the graphs on which a group of order pq acts edge-transitively. The results are the following. If Aut（Г） contains a subgroup G of order pq that acts edge-transitively on F, then F is one of the following graphs： （1） pK1,1; （2） pqK1,1; （3） pgq,1; （4） qKp,1 （p 〉 q）; （5） pCq （q 〉 2）; （6） qCp （p 〉 q）; （7） Cp （p 〉 q = 2）; （8） Cpq; （9） （Zp, C） whereC={±r^μ ｜μ∈Zq} withq〉2, q｜（p-1） and r≠1≡r^q （modp）; （10） Kp,1 （p 〉 q）; （11） a double Cayley graph B（G,C） with C = {1-r^μ ｜ μ ∈ Zq} and r≠1≡r^q （modp）; （12） Kpq,1;or （13） Kp,q.     

图半群的结构

该文在图(的自同态)半群中引入了拟格林关系概念;给出了拟格林关系的性质;然后在此基础上进一步证明了图半群的(格林关系意义上的)双重结构性质     

关于循环图交叉数的新上界

本文给出循环图Ｃ（ｎ，ｍ），ｎ　６，２　ｍ，交叉数的新上界．     

有循环极大子群的素数幂阶群的作用是边传递的图(Ⅰ)

Γ是一个有限的、单的、无向的且无孤立点的图, G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.这扩展了Sander的结果.本文仅给出其中的一种情况,即当G同构于群时,所有的G-边传递图.结果为,是G-边传递的当且仅当Γ为下列图之一     

与星正交的[0,k_j]~m_1-因子分解

设G是一个图，k1；k2，…，km是正整数，如果对所有的x∈V（G）有0≤dG（x）≤k1＋k2＋…＋km－m＋1成立，K是G的m-星，则G有一个［0，kj］1m-因子分解与K正交．     

有循环极大子群的素数幂阶群的作用是边传递的图(II)

假定Γ是一个有限的、单的、无向的且无孤立点的图,G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.结果为:设图Γ含有一个阶为pn(p是素数,n≥2)的自同构群,且G有一个极大子群循环,则Γ是G-边传递的,当且仅当Γ同构于下列图之一1)pmK1,pn-1-m,0≤m≤n-1;2)pmK1,pn-m,0≤m≤n;3)pmKp,pn-m-1,0≤m≤n-2;4)pn-mCpm,pm≥3,m＜n;5)2n-2K1,1;6)pn-1-mCpm,pm≥3,m≤n-1;7)2pn-mCpm,pm≥3,m≤n-1;8)2pn-mK1,pm,0≤m≤n;9)pn-mK1,2pm,0≤m≤n;10)pn-mK2,pm,0＜m≤n;11)C(2pn-m,1,pm);12)pkC(2pm-k,1,pn-m),0＜k＜m,0＜m≤n;13)(t-s,2m)C(2m 1/(t-s,2m),1,2n-1-m),其中0≤m≤n-1,2n-2(s-1)≡0(mod 2m),t≡1(mod 2),s(≠)t(mod 2m),1≤s≤2m,1≤t≤2n-1;14)∪p i=1 Ci p n-1,其中Ci p n-1=Ca1a1 [1 (i-1)pn-2]a 1 2[1 (i--1)p n-2]…a 1 (pn-1-1)[1 (i-1)p n-2]≌Cp n-1,i=1,2,…,p;15)∪2 i=1 Ci 2n-1,其中Ci 2n-1=Ca1a 1 [1 (i-1)(2n-2-1)]a1 2[1 (i-1)(2n-2-1)]…a1 (2n-1-1)[1 (i-1)(2n-2-1)]≌C2n-1,i=1,2.