python - 如何找到小于 x 的最大整数？

Question

如果x为2.3，则math.floor(x)返回2.0，即小于的最大整数小于或等于 x(作为 float 。)

如何获取 i strictly 小于 x 的最大整数(作为整数)？

我想到的最好的是:

i = int(math.ceil(x)-1)

有没有更好的办法？

注意，如果 x 是 2.0 那么 math.floor(x) 返回 2.0 但我需要小于2.0的最大整数，即1。

Answer 1

math.ceil(x)-1 是正确的，这是证明。

如果 x 在 Z(整数集)中，则 math.ceil(x) = x。因此math.ceil(x)-1=x-1，小于x的最大整数。

否则我们在 R\Z 中有 x 并且 math.ceil(x) 是最小的整数y 使得 x ≤ y。但是 y-1 是一个小于满足 x ≤ y 的最小整数的整数，因此 x > y-1 并且通过构造 y-1 是小于 x 的最大此类整数。

这很简单，我不会为那些 if-else 而烦恼。但是为了避免 float 的计算错误，我会在 int 转换之外执行 -1。

int(math.ceil(x))-1