A fixed-parameter-tractable algorithm for set packing

1. IntroductionIt is a useful and challenging task to find efficient algorithms for many computationalhard problems. Recently, the research on Fixed-Parameter nactable Theory arouses muchinterest. FOr example, different fixed- p ax amet er- t rac t ab le- algori t hms for many well- knowndecisio11 pruble11ls illc1udi11g 3-dimellsio11al IIlatchiIlg: a11d vertex--cover Problen1 have beenPrese11ted in [1 8]. Jia11er Chen, DoIlald K. FYiesen al1d Weijia Jia proPosed a coll1pletelynew appro…     

半代数集的一个计数定理及其应用

给出半代数集基数的计数原理和不可约紧代数流形上Euler示性数及亏格的算法.     

解抛物型方程的一族高精度隐式差分格式

构造了求解一维抛物型方程的一族高精度隐式差分格式.首先,推导了抛物型方程解的一阶偏导数在特殊节点处的一个差分近似式,利用该差分近似式和二阶中心差商近似式用待定系数法构造了一族隐式差分格式,通过选取适当的参数使格式具有高阶截断误差;然后,利用Fourier分析法证明了当r大于1/6时,差分格式是稳定的.最后,通过数值试验将差分格式的解与具有同样精度的其它差分格式的解和精确解进行了比较,并比较了差分格式与经典差分格式的计算效率.结果说明了差分格式的有效性.     

连续同伦方法的点估计判据

本文证明了，当S·Smale［1］的点估计判据a（z0，f）＝||Df（z0）-1·f（z0）||sup||Df－1（z0）·时，求Banach空间解析映照f零点的连续同伦H（t，z）≡f（z）＋（t－1）f（z0）＝0有定义于［0，1］上的解z（t），且对t∈［0，1］，Hz（t，z（t））－1存在，进而F（Z（1））＝0，可以用连续同伦方法求得f的零点．     

多项式空间的对偶及其在多元插值中的应用

本文通过把域Ｋ上ｎ元多项式环看成域Ｋ上的无限维向量空间Ａ，把ｎ维仿射空间Ｋ＾ｎ中的每一点看成Ａ上的线性泛函，从而Ｋ＾ｎ为对偶空间Ａ＾＊的子集，利用对偶空间的理论得到了一些有趣的理论结果，弄清了Ｋ＾ｎ上点有限拓扑的结构，给出了判定给定结点组是否是给定多项式空间的适定结点组的判定准则，最后还给出了构造理想对偶基的一种算法。     

计算代数方程组流形解的特征值方法

本文研究如何运用特征值方法计算代数方程组的流形解,结果表明利用特征值方法能计算多项式方程组解集的不可约分支的一般点,从而特征值方法是求解代数方程组的整体解法。     

模多项式理想无关变元组的判定

0引言 多项多理想的维数计算是计算机代数研究的重要问题之一，Heinz Kredel 等在[1]中提出了通过选取逆块序计算Grobner基的方法来计算模理想的无关变元组和多项式理想的维数。但由于逆场块序对Grobner基的计算影响很大、实际计算时难以实现，因此进一步探索多项式理想维数的计算方法是重要意义的。本文主要介绍作者在这方面的工作。     

对称双边对角矩阵特征值问题的计算

1 引 言 大型稀疏矩阵在工程上有广泛的应用.例如,结构工程的有限元分析、电力系统的分析、流体力学及图像数据压缩等应用中常遇到求大型稀疏矩阵的特征值问题.因而矩阵特征值计算问题成为数值代数领域长期关注的问题,如[6][7].最近M.Gu与S.C.Eisenstat     

The Eigenvalue Method for Computing High-dimensional Varieties

ＴｈｅＥｉｇｅｎｖａｌｕｅＭｅｔｈｏｄｆｏｒＣｏｍｐｕｔｉｎｇＨｉｇｈ－ｄｉｍｅｎｓｉｏｎａｌＶａｒｉｅｔｉｅｓＦｅｎｇＧｕｏｃｈｅｎ（冯果忱）；ＺｈａｎｇＳｈｕｇｏｎｇ（张树功）ａｎｄＺｈａｎｇＣｈｕａｎｌｉｎ（张传林）（ＩｎｓｔｉｔｕｔｅｏｆＭａ...     

有理数域上多项式因子分解 的一 个注记

本文推广了Kronecker一元多项式因子分解的构造性证明，给出了有理数域上多元多项式因子分解的一个构造性证明，把多元多项式因子分解这个非线性间题转化为系列线性间题和多项式的可除性判定，由此给出了有理数域上多元多项式因子分解的一个算法.