控制函数是什么意思？
再说说「控制函数」有什么含义、怎么理解？
拼音kòng zhì hán shù
字母kong zhi han shu
首字母kzhs
注音ㄎㄨㄥˋ ㄓˋ ㄏㄢˊ ㄕㄨˋ
注音符号ㄎㄨㄥ ㄓ ㄏㄢ ㄕㄨ
控制函数(dominating function)是一种特殊函数，是递归证明中常用的一种函数。若对某个a和任何x≥a，均有g(x)≤f(x)，则称f为g的控制函数(或称f控制g，或f强于g)。如果Δ为一个函数集合，g为一个二元函数，若对任何f∈Δ，存在t和a，使得当u=max(x1，x2，…，xn)≥a时，均有f(x1，x2，…，xn)<g(t，u)，则称g为Δ的控制函数。直观上，g为Δ的控制函数指g“控制”Δ中的每一个函数，因而，Δ的控制函数g必定不属于Δ，证明g是Δ的控制函数，是证明g不属于Δ的一种常用方法。