Hanoi塔问题的一个公式解

Hanoi塔问题自提出以来已有一百多年的历史.其间,这一问题吸引了许多的研究者.正如H.A.Simon所指出的,Hanoi塔问题对于认知科学就象大肠杆菌对现代基因学那样,是一个无价的研究标本.事实上,它已成为组合数学,人工智能,计算机科学以及规划等中的递归问题的典型例子,并由此产生了各种各样成熟的算法.回顾这些结果,我们提出一个基本问题能否对Hanoi塔问题给出一个公式解?本文就此给出了一个肯定的回答.在我们的研究中,图论将是一个有力的工具     

变分不等式问题的一个新的存在性定理

对于具有一般非空闭凸集约束的变分不等式问题 ,本文给出了一个新的例外族的定义 .通过倩同伦不变定理 ,我们证明了一个择一定理 ,这给出了所考虑问题解的一个充分性条件 .特别 ,我们建立了变分不等式问题的一个新的存在性定理 ,推广了Zhao的一个最近的存在性结果 ,进而也推广了著名Mor啨关于非线性互补问题的存在性定理 .     

关于最短路问题的一个双目标优化问题

本文研究了一个双目标最短路问题的变形问题,在该变形问题中,一个目标函数还是路的长度,另一个目标函数则是路的容量,在Pareto-optimal最优解的意义下,本文给出了一个时间复杂性为O（n^3 )的算法,在字典序最优解的意义下,本文给出了一个时间复杂性为O(n^3)的算法。     

对称的运输问题及其逆问题

本文对［１,２,６］中提出的运输问题进行了推广,并提出了一个强多项式算法,从而改进了原有的结果．同时对对称的运输问题的逆问题进行了研究,并借助于最小费用循环流技术得到了一个强多项式算法．     

关于销售集团投资设置销售分店问题的IP模型

针对一个实际投资实例建立了一个基于 0 -1背包问题的数学模型 ,并利用多个算法加以求解 ,并对结果进行了比较 .该模型具有很高的应用价值和参考价值 .     

概率模型的构造及应用探微

美籍华人钟开莱曾说:在过去的半个世纪中,概率论从一个较小的、孤立的课题发展成为一个与数学许多其它分支相互影响,内容宽广而深入的学科.不少问题,通过构造适当的概率模型则易于求解.本文从中采撷几例,以飨读者.     

最大流问题的逆问题

讨论了最大流问题的逆问题,提出了ｆ＾０截的概念,给出并证明了逆问题有解的充要条件;当逆问题有解时,把逆问题转化为找一个容量网络的最小截的问题;最后,给出了一个复杂度为Ｏ（│Ｖ│＾３）的多项式算法。     

抽象经济均衡问题解的存在性及其算法

本文首先研究一类新的向量均衡问题,利用截口定理与KKM定理两种不同的工具证明此类均衡问题解的存在性,接着,把这类向量均衡问题推广到更为一般的情形,随后讨论了具有上下界的均衡问题,它是由Isac,Sehgal和Singh于1999年提出的一个公开问题,本文在一定条件下获得了一个新的解的存在性定理,并构造了一个迭代算法,讨论了算法的收敛性。     

线性规划模型建立的一个原则

本以运输问题,下料问题和人员班次安排为例,论述了建立线性规划数学模型的一个原则,即尽量使用不等式约束来建立模型的原则。     

糖果厂模型的最优化搜索方法

讨论了用两台装置搜索两个坏硬币的糖果厂模型C2,给出了一个测试过程t,使之与理论上的最优过程最多相差一次测试。     

二次曲面和平面位置关系的判式

在解析几何中有二次曲线与直线位置关系的讨论、二次曲面与直线位置关系的讨论,而二次曲面与平面相关位置关系的探讨较少.本文给出二次曲面a11x2+a22y2+a33z2+2a12xy+2a13xz+2a23yz+2a14x+2a24y+2a34z+a44=0(1)和平面Ax+By+Cz+D=0(2)的相对位置的判别式Δ=a11a12a13a14Aa21a22a23a24Ba31a32a33a34Ca41a42a43a44DA B C D0(aij=aji).(3)并证明了:若Δ>0,则二次曲面(1)与平面(2)相交;若Δ=0,则(1)和(2)相切;若Δ<0,则(1)和(2)相离.     

Two questions on semi-clean group rings

It was proved in [4] that every group ring of a torsion abelian group over a commutative local ring is a semi-clean ring. It was asked in [4] whether every group ring of a torsion abelian group over a commutative clean ring is a semi-clean ring and whether every group ring of a torsion abelian group over a commutative semi-clean ring is a semi-clean ring. In this paper, we give a positive answer to question 1 and a negative answer to question 2.     

Spectrum of a homogeneous graph

We describe the spectrum of the Laplacian for a homogeneous graph acted on by a discrete group. This follows from a more general result which describes the spectrum of a convolution operator on a homogeneous space of a locally compact group. We also prove a version of Harnack inequality for a Schrödinger operator on an invariant homogeneous graph.     

Partially isometric dilations of noncommuting -tuples of operators

Given a row contraction of operators on a Hilbert space and a family of projections on the space that stabilizes the operators, we show there is a unique minimal joint dilation to a row contraction of partial isometries that satisfy natural relations. For a fixed row contraction the set of all dilations forms a partially ordered set with a largest and smallest element. A key technical device in our analysis is a connection with directed graphs. We use a Wold decomposition for partial isometries to describe the models for these dilations, and we discuss how the basic properties of a dilation depend on the row contraction.

     

A generalized duality and applications

The aim of this paper is to present a nonconvex duality with a zero gap and its connection with convex duality. Since a convex program can be regarded as a particular case of convex maximization over a convex set, a nonconvex duality can be regarded as a generalization of convex duality. The generalized duality can be obtained on the basis of convex duality and minimax theorems. The duality with a zero gap can be extended to a more general nonconvex problems such as a quasiconvex maximization over a general nonconvex set or a general minimization over the complement of a convex set. Several applications are given.On leave from the Institute of Mathematics, Hanoi, Vietnam.     

A pair of orthogonal frames

We start with a characterization of a pair of frames to be orthogonal in a shift-invariant space and then give a simple construction of a pair of orthogonal shift-invariant frames. This is applied to obtain a construction of a pair of Gabor orthogonal frames as an example. This is also developed further to obtain constructions of a pair of orthogonal wavelet frames.     

Lifting Property of Direct Sums of Hollow Modules

We give necessary and sufficient conditions for a module M with a decomposition that complements maximal direct summands to be a lifting module. We apply our results to get a necessary and sufficient condition for a direct sum of modules to be a quasi-discrete (discrete) module. We also give some sufficient conditions for a lifting module to be a direct sum of indecomposables.     

覆盖数不超过3的图上渡河问题

1000多年前,英国著名学者Alcuin曾提出一个古老的渡河问题,即狼、羊和卷心菜的渡河问题。2006年,Prisner把该问题推广到任意的冲突图上,考虑了一类情况更一般的渡河运输问题。所谓冲突图是指一个图G=(V,E),这里V代表某些物品的集合,V中的两个点有边连结当且仅当这两个点是冲突的,即在无人监管的情况下不允许留在一起的点。图G=(V,E)的一个可行运输方案是指在保证不发生任何冲突的前提下,把V的点所代表的物品全部摆渡到河对岸的一个运输方案。图G的Alcuin数定义为它存在可行运输方案时所需船的最小容量。本文讨论了覆盖数不超过3的连通图的Alcuin数,给出了该类图Alcuin数的完全刻画。     

An algebraic index theorem for orbifolds

Using the concept of a twisted trace density on a cyclic groupoid, a trace is constructed on a formal deformation quantization of a symplectic orbifold. An algebraic index theorem for orbifolds follows as a consequence of a local Riemann-Roch theorem for such densities. In the case of a reduced orbifold, this proves a conjecture by Fedosov, Schulze, and Tarkhanov. Finally, it is shown how the Kawasaki index theorem for elliptic operators on orbifolds follows from this algebraic index theorem.