求可产生负余数且余数绝对值最小的数学除法运算名称

嘿，你描述的这种要求余数绝对值尽可能小的除法运算，正式名称是最小绝对值余数除法（也常被叫做对称余数除法）。

它的核心逻辑很明确：当计算整数 a 除以 b 时，选择商 q 使得余数 r = a - b*q 满足 |r| ≤ |b|/2——简单说就是让余数的绝对值尽可能小。如果余数的绝对值刚好等于除数绝对值的一半（比如 -5 ÷ 2），有些实现会优先选择负余数，不过不同场景下可能有细微差异，但核心目标都是最小化余数的绝对值。

对应你给出的例子：

• 5 ÷ 2：商取2时余数为1，或商取3时余数为-1，两者绝对值都是1，满足最小要求；
• 11 ÷ 3：商取4时余数为 -1，绝对值1，比常规除法的余数2（绝对值2）更小，完全匹配你的预期。

这种除法在符号计算、数论研究，以及部分编程语言的特定库或函数中会被用到，如果你需要在代码里实现，通常需要手动处理商的取整逻辑（因为大多数默认的取模运算都是基于截断除法或向负无穷取整的）。

内容的提问来源于stack exchange，提问作者George Shuklin