关于丢番图方程x（x＋1）（2x＋1）=2py^2——兼推出Lucas猜想的简洁初等证明

1875年E．Lucas猜想：丢番图方程x(x 1)(2x 1)=2py^2仅有正整数解(x,y)=(1,1),(24,70)．1919年Watson和1952年Liunggren分别给出了肯定回答;1969年Mordell指出：watson和unggren的证明既复杂又非初等,希望有人能给出初等证明。     

交错群A5的Cayley图同构的Li-Praeger猜想

设G是有限群, S是G＼{1}的子集,并满足S=S -1. 用X=Cay(G, S )表示G关于S的Cayley图. 称S为G的CI-子集, 如果对任意同构Cay(G, S )Cay(G, T )存在α∈Aut(G), 使得Sα=T .设m是正整数,称G为m-CI-群, 如果G的每个满足S =S -1和|S|≤m的子集S都是CI的. 证明了Li-Praeger猜想：交错群A₅是4- CI-群.     

线性对流占优Sobolev方程的流线扩散有限元方法

Abastract. In this paper,a streamline-diffusion F. E. M. for linear Sobolev equations with con-vection-dominated term is given. According to the range of space-time F. E mesh parameter h,two choices for artifical diffusion parameter are presented,and for the corresponding computa-tion schemes the stability and error estimates in suitable norms are estabilished.     

Hamiltonian图的泛圈性一个充分条件

根据Bondy在[4]中的想法：几乎任何一个Hamiltonian图的非平凡的充分条件都可能蕴含着图的泛圈性质,自然有如下猜测,设图G满足定理A的条件,则G是泛圈图或者n=2t,G=Kt,t.[2]证明了这一猜测在t=3时成立,[3]对t=4得到子了一个更强的结果,本文证明此猜测对一般情形(t≥3)均成立。     

图的边覆盖梁色中的分类问题

设G是一个图,其边集是E（G）,E（G）是一个子集S称为G的一个边覆盖,若G是每一点都是S中一条边的端点,G的一个（正常）边覆盖染色是对G的边进行染色,使得每一色组都是G的一个边覆盖,使G有（正常）边覆盖染色所需最多颜色数,称为G的边覆盖色数,用X′c(G）表示,已知的结果是对于任意简单图G,都有δ-1≤X′c（G）≤X∧2,（G）≤δ,δ是G的最小度,若X∧2c(G）=δ,则称G是CI类的,否则称为CII类的,本文主要研究了平面图及平衡的安全r分图的分类问题。     

谈谈与图有关的几种复形的同调群

我们从组合拓扑方法在图论的应用中,着重介绍与图有关的几种复形的近期研究动态,论述其中一些基础性的问题,并提出一些可供研究的新问题。     

交换群层的正合序列与同态定理

在交换群层（简称层）中给出了层的单（满）同态核与上核的泛性定理及正合交换图的一系列结论,进而证明了交换群层的同态（同构）定理。     

一类T形树匹配唯一的充要条件

证明：若m∈Ze^ ,则T形树T(1,m,n）匹配唯一当且仅当n≠m,m 3,2m 5.     

（mg＋k,mf—k）—图中正交于r个不相交子图的边不变的（g,f）—因子

设m,k和r为正整数,且使l≤k＜m.设G是一个具有顶点集合V(G)和边集合E(G)的图,并设g和f是定义在V(G)上的使对每个x∈V(G)有r≤g(x)≤f(x)的整数值函数.设H1,H2,…,Hr是G的r个顶点不相交的子图且|E(Hi)|=k,1≤i≤r.本文证明了每个(mg+k,mf-k)-图有k个边不相交的(g,f)-因子正交于Hi,1≤i≤r.