绝对值不等式的算法是什么