论文部分内容阅读
函数分解问题是一个重要的数学问题，它被应用于多变量公钥密码系统的设计中．作者主要关注函数分解问题的判定性问题，将整系数多变元多项式方程求解问题与函数分解问题建立起了一定的联系，从而利用著名的希尔伯特第十问题的不可判定性来对函数分解问题的判定性问题进行研究．
函数分解问题的判定性研究
【摘 要】
：
函数分解问题是一个重要的数学问题，它被应用于多变量公钥密码系统的设计中．作者主要关注函数分解问题的判定性问题，将整系数多变元多项式方程求解问题与函数分解问题建立起了一
【机 构】
：
中央民族大学理学院,康奈尔大学运筹系,中国科学院数学与系统科学研究院
【出 处】
：
系统科学与数学
【发表日期】
：
2012年8期
【基金项目】
：
国家自然科学基金;
其他文献
卡莎湖墓地位于四川西北高原地区。本文对卡莎湖墓地典型随葬品、葬制葬式等遗存的具体分析后,认为该墓地与卡约文化关系密切,同时受到了北方草原青铜文化和辛店文化一定程度
选用Paraloid B72、Mowiol 4-88、Mowiol 4-98、Remmers 300和含氟聚合物5种保护材料对砂岩石刻进行加固保护和裂隙灌浆研究。通过测试渗透加固保护后砂岩的耐水性、吸湿性,
采用乙二胺水杨醛Schiff碱配体与水合硝酸铜配位生成了一雁形的双核Cu(Ⅱ)配合物,产物通过了元素分析、红外光谱及单晶X射线衍射分析等手段的证实。结果表明,该配合物晶体属
为了研究旋风分离器气相流场的特性,在稳态与非稳态下,采用雷诺应力方程模型(RSM)对一台气-固旋风分离器气相流场进行了数值模拟和计算,其中旋风分离器网格划分采用混合网格
从价值判断、总体布局、改造措施和后续利用四个层面介绍了2010上海世博会"后滩"地段老厂房的改造实践,探讨工来遗产保护适应都市生活变迁、带动城市更新、推动城市持续发展
基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Gr(o)bner基,并给出和证明了计算这种Gr(o)bne
在生态学中,可以用非线性反应扩散方程来描述种群在时间上的变化和在空间中的分布及扩散情况.对于扩散的生物种群模型,通过研究模型中方程的渐近性态,可以知道该种群是持续生
基于微分特征集理论和算法,提出在一定条件下判定偏微分方程(组)非古典对称存在性的机械化方法.该方法对Clarkson P A提出的关于偏微分方程(组)的非古典对称的公开问题给出了
可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论