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,使之与理论上的最优过程最多相差一次测试。     

An algorithm for constructing star-shaped drawings of plane graphs

A straight-line planar drawing of a plane graph is called a convex drawing if every facial cycle is drawn as a convex polygon. Convex drawings of graphs is a well-established aesthetic in graph drawing, however not all planar graphs admit a convex drawing. Tutte [W.T. Tutte, Convex representations of graphs, Proc. of London Math. Soc. 10 (3) (1960) 304–320] showed that every triconnected plane graph admits a convex drawing for any given boundary drawn as a convex polygon. Thomassen [C. Thomassen, Plane representations of graphs, in: Progress in Graph Theory, Academic Press, 1984, pp. 43–69] gave a necessary and sufficient condition for a biconnected plane graph with a prescribed convex boundary to have a convex drawing.In this paper, we initiate a new notion of star-shaped drawing of a plane graph as a straight-line planar drawing such that each inner facial cycle is drawn as a star-shaped polygon, and the outer facial cycle is drawn as a convex polygon. A star-shaped drawing is a natural extension of a convex drawing, and a new aesthetic criteria for drawing planar graphs in a convex way as much as possible. We give a sufficient condition for a given set A of corners of a plane graph to admit a star-shaped drawing whose concave corners are given by the corners in A, and present a linear time algorithm for constructing such a star-shaped drawing.     

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

在解析几何中有二次曲线与直线位置关系的讨论、二次曲面与直线位置关系的讨论,而二次曲面与平面相关位置关系的探讨较少.本文给出二次曲面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)相离.     

Staircase Parameterization in Dynamical Selection

This paper deals with a variant of a dynamical selection scheme introduced by Attouch and Cominetti for ill-posed convex minimization which combines approximation with the steepest descent method by mean of a suitable parameterization of the approximation parameter as a function of the time. This variant applies to a general inclusion with a maximal monotone operator by mean of a staircase parameterization. A discrete analogue is also considered. Applications to selecting a particular zero of a maximal monotone operator or a particular fixed point of a nonexpansive mapping via regularization techniques are presented. Finally, the alternative use of well-posedness by perturbations is discussed.     

Mean-variance portfolio selection for a non-life insurance company

We consider a collective insurance risk model with a compound Cox claim process, in which the evolution of a claim intensity is described by a stochastic differential equation driven by a Brownian motion. The insurer operates in a financial market consisting of a risk-free asset with a constant force of interest and a risky asset which price is driven by a Lévy noise. We investigate two optimization problems. The first one is the classical mean-variance portfolio selection. In this case the efficient frontier is derived. The second optimization problem, except the mean-variance terminal objective, includes also a running cost penalizing deviations of the insurer’s wealth from a specified profit-solvency target which is a random process. In order to find optimal strategies we apply techniques from the stochastic control theory.     

Multiplicity formulas for finite dimensional and generalized principal series representations

The article presents two results. (1) Let a be a reductive Lie algebra over ℂ and let b be a reductive subalgebra of a. The first result gives the formula for multiplicity with which a finite dimensional irreducible representation of b appears in a given finite dimensional irreducible representation of a in a general situation. This generalizes a known theorem due to Kostant in a special case. (2) LetG be a connected real semisimple Lie group andK a maximal compact subgroup ofG. The second result is a formula for multiplicity with which an irreducible representation ofK occurs in a generalized representation ofG arising not necessarily from fundamental Cartan subgroup ofG. This generalizes a result due to Enright and Wallach in a fundamental case.     

On arithmetic Macaulayfication of Noetherian rings

The Rees algebra is the homogeneous coordinate ring of a blowing-up. The present paper gives a necessary and sufficient condition for a Noetherian local ring to have a Cohen-Macaulay Rees algebra: A Noetherian local ring has a Cohen-Macaulay Rees algebra if and only if it is unmixed and all the formal fibers of it are Cohen-Macaulay. As a consequence of it, we characterize a homomorphic image of a Cohen-Macaulay local ring. For non-local rings, this paper gives only a sufficient condition. By using it, however, we obtain the affirmative answer to Sharp's conjecture. That is, a Noetherian ring having a dualizing complex is a homomorphic image of a finite-dimensional Gorenstein ring.

     

On a Mathematical Comparison between Hierarchy and Network with a Classification of Coordination Structures

This paper proposes a mathematical model to compare a network organization with a hierarchical organization. In order to formulate the model, we define a three-dimensional framework of the coordination structure of a network and of other typical coordination structures. In the framework, we can define a network structure by contrasting it with a hierarchy, in terms of the distribution of decision making, which is one of the main features of information processing. Based on this definition, we have developed a mathematical model for evaluating coordination structures. Using this model, we can derive two boundary conditions among the coordination structures with respect to the optimal coordination structure. The boundary conditions help us to understand why an organization changes its coordination structure from a hierarchy to a network and what factors cause this change. They enable us, for example, to find points of structural change where the optimal coordination structure shifts from a hierarchy to a hierarchy with delegation or from a hierarchy with delegation to a network, when the nature of the task changes from routine to non-routine. In conclusion, our framework and model may provide a basis for discussing the processes that occur when coordination structures change between a hierarchy and a network.     

Box-Rectangular Drawings of Plane Graphs

In this paper we introduce a new drawing style of a plane graph G called a box-rectangular drawing. It is defined to be a drawing of G on an integer grid such that every vertex is drawn as a rectangle, called a box, each edge is drawn as either a horizontal line segment or a vertical line segment, and the contour of each face is drawn as a rectangle. We establish a necessary and sufficient condition for the existence of a box-rectangular drawing of G. We also give a linear-time algorithm to find a box-rectangular drawing of G if it exists.     

图的分数κ-因子

给定图Ｇ＝（Ｖ,Ｅ）．设ａ和ｂ是两个非负整数．是一个函数．如果对所有的均成立,称 ｆ为 Ｇ的一个分数［ａ,ｂ］－ 因子． ａ＝ ｂ＝ κ时,称ｆ为 Ｇ的一个分数 ｋ＝因子．本文给出了一个图有分数 ｋ－因子的充分必要条件．     

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.