完全二叉树的量词消去

量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本 文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及 有限覆盖证明了完全二叉树的理论可以量词消去.     

关于(g,f)-2-消去图

一个图G称为一个(g,f)-2-消去图,如果G的任何两条边不属于它的一个(g,f)-因子.本文给出了当g＜f时一个图是(g,f)-2-消去图的一个充要条件.     

图的联结数与分数κ-消去图

设G是一个图,若对于图G的任一条边e,G-e都存在一个分数k-因子,则称G是一个分数k-消去图.若k=2,则称分数k-消去图为分数2-消去图.本文证明了当bind（G）≥2,并且δ（G）≥3时,G是分数2-消去图.     

(g,f)-消去图的若干充分条件

设 G是一个图 ,用 V(G)和 E(G)表示它的顶点集和边集 ,并设 g和 f是定义在 V(G)上的两个整数值函数且 g 相似文献   

图的联结数与分数k-消去图

设G是一个图,若对于图G的任一条边e,G-e都存在一个分数k-因子,则称G是一个分数κ-消去图.若k=2,则称分数κ-消去图为分数2-消去图.本文证明了当bind(G)≥2,并且6(G)≥3时,G是分数2-消去图.     

关于分数可消去图的若干结果

令G=(V(G),E(G))是一个图,并令9和f是两个定义在V(G)上的整数值函数且对所有的x∈V(G)有g(x)≤f(z)成立．若对G的每一条边e都存在G的一个分数(g,f)-因子G_h使得h(e)=0,其中h是G_h的示性函数,则称G是一个分数(g,f)-消去图,若在G中删去E′■E(G),|E′|=k后,所得图有分数完美匹配,则称G是分数k-边-可消去的。本文给出了图是1-可消去,2-可消去和k-边-可消去的与韧度和孤立韧度相关的充分条件。证明了这些结果在一定意义上是最好可能的．     

消去图、覆盖图和均匀图的若干结果

设 G是一个图 ,g,f是定义在图 G的顶点集上的两个整数值函数 ,且g≤f.图 G的一个 ( g,f) -因子是 G的一个支撑子图 F,使对任意的 x∈V( F)有g( x)≤ d F( x)≤ f ( x) .文中推广了 ( g,f) -消去图、( g,f ) -覆盖图和 ( g,f) -均匀图的概念 ,给出了在 g相似文献   

素数阶群理论的量词消去算法及其上界

在以前的一些工作中,作者已经证明语言(?)={+,0,e)上素数阶群的理论T有量词消去性质并研究了它的判定问题的复杂性.本文在此基础上将利用T的判定问题的复杂性结果给出理论T的量词消去的一个算法,同时给出该算法的复杂性上界.     

一类反常积分的另解及推广

利用Euler公式、和差化积公式、换元积分法,对一道反常积分题给出三种新解法,并给出它的两个推广情形．     

可量词消去的带根节点的树理论

讨论了带根节点r的有向树、无向树理论的量词消去性质,找到决定理论量词消去的三类特殊公式,并给出了在语言■_0={E,r}(E为有向边或无向边)及添加二元距离关系D_(n,n)w所得膨胀语言下,可量词消去的这两类理论的完全分类.     

A note on modular forms and generalized anomaly cancellation formulas

By studying modular invariance properties of some characteristic forms,we prove some new anomaly cancellation formulas which generalize the Han-Zhang and Han-Liu-Zhang anomaly cancellation formulas.     

Modular Invariance and Anomaly Cancellation Formulas in Odd Dimension Ⅱ

By studying modular invariance properties of some characteristic forms, we get some generalized anomaly cancellation formulas on(4 r-1)-dimensional manifolds with no assumption that the 3rd de-Rham cohomology of manifolds vanishes. These anomaly cancellation formulas generalize our previous anomaly cancellation formulas on(4 r-1)-dimensional manifolds. We also generalize our previous anomaly cancellation formulas on(4 r-1)-dimensional manifolds and the Han–Yu rigidity theorem to the(a, b) case.     

A general type of twisted anomaly cancellation formulas

For even-dimensional manifolds, we prove some twisted anomaly cancellation formulas which generalize some well-known cancellation formulas. For odd dimensional manifolds, we obtain some modularly invariant characteristic forms by the Chern-Simons transgression and we also get some twisted anomaly cancellation formulas.     

A note on generalized twisted anomaly cancellation formulas

In this note, by studying modular invariance properties of some characteristic forms, we get some new twisted anomaly cancellation formulas.     

Modular invariance and anomaly cancellation formulas

By studying modular invariance properties of some characteristic forms, we get some new anomaly cancellation formulas. As an application, we derive some results on divisibilities on spin manifolds and congruences on spin ^c manifolds.     

On the renormalized volumes for conformally compact Einstein manifolds

We study the renormalized volume of a conformally compact Einstein manifold. In even dimensions, we derive the analogue of the Chern-Gauss-Bonnet formula incorporating the renormalized volume. When the dimension is odd, we relate the renormalized volume to the conformal primitive of the Q-curvature. __________ Translated from Sovremennaya Matematika. Fundamental’nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 17, Differential and Functional Differential Equations. Part 3, 2006.     

Some binomial formulas of the generalized Appell form

The authors aim here at finding all the generalizations of the binomial formula that are given by a generating-function of the generalized Appell form for a sequence of Newton polynomials. The formulas obtained include the well-known q-analogue of the binomial formula, several formulas involving hyperbolic functions, a trigonometric analogue, and some formulas involving the geometric and the exponential series.     

特殊奇Hamiltonian模李超代数偶部的低维上同调群

利用了一个适当环面的权空间分解完全确定了从有限维特殊奇Hamiltonian模李超代数偶部到广义Witt超代数偶部的导子空间,进而给出了相应的低维上同调空间的维数公式.     

Even dimensional manifolds and generalized anomaly cancellation formulas

We give a direct proof of a cancellation formula raised by Han and Zhang (2004) on the level of differential forms. We also obtain more cancellation formulas for even dimensional Riemannian manifolds with a complex line bundle involved. Relations among these cancellation formulas are discussed.

     

模的弱消去问题和Exchange环的弱稳定条件

本文研究模的弱消去问题和exchange环的弱稳定条件,给出了wsrl条件的新刻划,证明了对具有有限exchange性质的模,外弱消去等价于内弱消去并等价于自同态环满足wsrl条件.