Negligible
是忽視1(n)-忽視2(n)≤忽視3(n)忽視1(n)−忽視2(n)≤忽視3(n)operatorname{negl}_1(n)-operatorname{negl}_2(n) leq operatorname{negl}_3(n)?
是不是這個說法 $ \operatorname{negl}_1(n)-\operatorname{negl}_2(n)\leq \operatorname{negl}_3(n) $ 對一些可忽略的函式為真 $ \operatorname{negl}_3 $ 和安全參數 $ n $ ?
$ \newcommand{\negl}{\operatorname{negl}} $
$$ \begin{align} \negl_1(n)-\negl_2(n)&\leq \left|\negl_1(n)-\negl_2(n)\right|\ &\leq\left|\negl_1(n)+\negl_2(n)\right|\ &=\negl_1(n)+\negl_2(n)\ &\leq \negl_3(n) \end{align} $$ 其中最後一條語句使用兩個可忽略函式之和可以忽略不計的事實，其餘語句使用以下事實 $ \negl_1(n)\geq0 $ 和 $ \negl_2(n)\geq0 $ . 有關最後一個不等式的證明，請參閱關於單向函式和可忽略函式的講座 (PDF)。