函数恒等的数值判定及其机器实现问题  

Numerical value determinant of function equality and its machine implementation

作　　者：林毓材[1] 张建军[1] 向永红[1] 张春霞[1] 

机构地区：[1]云南师范大学计算机科学系,云南昆明650092

出　　处：《云南师范大学学报（自然科学版）》2000年第2期6-8,共3页Journal of Yunnan Normal University:Natural Sciences Edition

基　　金：省校合作项目"计算机辅助教学研究"资助

摘　　要：本文主要介绍了一种判定函数恒等的方法。这种方法的基本思想是 ,对于给定集 X到 Y上的函数集 ,寻找定义域 X中的一点 x,使得对任意 f ,g∈ ,f≡ g当且仅当 f ( x) =g( x) ,从而把 f与g恒等判定问题归结为 f与 g是否在点 x相等的判定问题。本文证明了这种方法对于相当大的一类函数集都成立。同时 ,并对这种方法的失误概率进行了讨论。得出在通常情况下其失误概率为零。In this paper, a method is introduced to determine whether two functions are equal. The base idea of this mathod is: give a set of functions , from a set X to a set Y , find a point in X , for f,g ∈ , iff f()=g() . Thus simplified the problem of determining f≡g to determining f=g at the point . We proved that this method is efficient for a lot of sets of functions. At the same time, we discussed its failure probability,and we proved that its failure probability is zero at the common case.

关 键 词：解析函数 函数恒等 数值判定 失误概率 

分 类 号：O174[理学—数学]