关于丢番图方程x^2±2^m=y^n

本文证明了：方程ｘ２＋２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且当（ｘ，ｙ，ｍ，ｎ）≠（５，３，１，３），（１１，５，２，３），（７，３，５，４）时，ｎ是适合ｎ≡７（ｍｏｄ８）以及２３≤ｎ＜８．５·１０６的奇素数，ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ１；方程ｘ２－２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｙ＞１；ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且这些解都满足ｎ＜２·１０９炉以及ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ２，这里Ｃ１，Ｃ２是可有效计算的绝对常数．     

理想树组

理想树组朱勇，张小柔（武汉汽车工业大学武汉４３０ｏ７ｏ）关键词：图；树；优美树ＡＭＳ（１９９１）主四分类：０５Ｃ０５设Ｔ是一棵树．若存在一个顶点标号人使｛ｆ。）｝ｌ。６Ｖ（Ｔ）｝一｛ｌ，２，…，ＩＶ（Ｔ）ｌ｝，｛Ｗ（ＵＵ）一Ｖ（Ｕ）一人Ｕ）ＤＤＵ。Ｅ...     

速度图变换的整体有效性

速度图变换的整体有效性陈晓江（武汉工学院数学教研室武汉４３００７０）关键词：速度图变换；拟线性严格双曲组；等值线ＡＭＳ（１９９１）主题分类：３５Ｌ４０一阶拟线性严格双曲组ｂ．．、＆＿＆．．＆三十／（ｒ，ｓ）于一０，三十小ｒ，ｓ）子一０（１）＆”””ｄ...     

欧拉游历间K1—变换下的算法复杂性

本文主要讨论了欧拉图方面的国际权威ＨｅｒｂｅｒｔＦｌｅｉｃｈｎｅｒ教授所著书［１］中的一个问题；对欧拉图Ｇ的任意两个欧拉游历要经过多少Ｋ－变换或Ｋ＾＊－变换才能从一个游历得到另一个游历？我们得到的结论是：对欧拉图Ｇ中的任两个欧拉游历Ｔ、Ｔ＇最多经过‖Ｅ（Ｇ）‖－‖Ｖ（Ｇ）‖－变换可以使Ｔ变换成Ｔ＇。且此结果不能再改进。进一步我们分别对Ｋ－变换和Ｋ＆－变换的算法复杂性进行了讨论。     

几类凝聚图的轮廓

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

2-阶邻域连通无爪图的Hamilton性

设Ｇ是无爪图．对ｘ∈Ｖ（Ｇ），若Ｇ［Ｎ（ｘ）］不连通，则存在ｙｉ∈Ｖ（Ｇ）－｛ｘ｝（ｉ－１，２），使｜Ｎ（ｙｉ）∩Ｋｉ（ｘ）｜≥２，且｜Ｎ（ｙｉ）∩Ｎ（Ｋｉ＋１（ｘ））｛ｘ｝｜≥２（ｉ模２），那么称无爪图Ｇ是强２－阶邻域连通的，其中Ｋ１（ｘ），Ｋ２（ｘ）分别表示Ｇ［Ｎ（ｘ）］的两个分支．本文证明了：连通且强２－阶邻域连通的无爪图是Ｈａｍｉｌｔｏｎ图．     

3—连通正则无爪图的Hamilton圈

本文证明了：任一阶数不超过６ｋ－４的３－连通ｋ－正则无爪图是Ｈａｍｉｔｏｎ的。     

关于丢番图方程x^m—1／x—1=y^n的一个注记

本文得到了Ｓｈｏｒｅｙ和Ｔｉｊｄｅｍａｎ关于不定方程ｘ＾ｍ－１／ｘ－１＝ｙ＾ｎ的一个猜想的一个结果，并且基本上解决了Ｅｄｇａｒ的关于上述不定方程的一个猜想。     

伪轨跟踪与混沌

本文对具有无限个点的紧致度量空间上的连续满射，研究了伪轨跟踪性质与Ｒｕｅｌｌｅ－Ｔａｋｅｎｓ意义下的混沌、拓扑混合及具有性质Ｐ的关系．     

高温下夸克场真空图中的红外发散

用热传播子的实时形式对高温条件下夸克(忽略质量)场三圈真空图进行了详细地计算,找出了其中和费米–狄拉克统计因子有关的红外发散积分的类型,并对这种发散积分进行了正规化,进一步把真空图中的红外发散全部孤立出来了.