向上取整和向下取整（ceil、round）

Floor and ceiling functions - Wikipedia

Useful Properties of the Floor and Ceil Functions

0. 基础

向上取整：比自己大的最小整数；

向下取整：比自己小的最大整数；

四舍五入：更接近自己的整数；

x−1<⌊x⌋≤x≤⌈x⌉<x+1

⌊n/2⌋+⌈n/2⌉=n

⌈ab⌉≤a+(b−1)b

⌊ab⌋≥a−(b−1)b

1. 编程实现

a/b
// 向下取整
(a+(b-1))/b
// 向上取整
int（float(a)/b + .5）
// 四舍五入

向下取整：ab向上取整：a+b−1b四舍五入：int(a×1.b+0.5)

之所以在向上取整时，分子部分要减去1，是为了避免出现，a 能被 b 整除的情况。

12 / 3 == 4， （12+3）/3==5，而对 3 向上取整仍为 3.

2. 其他角度的理解

y−1<x≤y ⇒ x=⌊y⌋

y≤x<y+1 ⇒ x=⌈y⌉

3. 对数

⌈log2(n+1)⌉−1=⌊log2n⌋⌈log2(n+1)⌉=⌊log2n⌋+1

对于对数取整，有如下基本性质：

{k=⌊logbx⌋⇔k≤logbx<k+1⇔bk≤x<bk+1k=⌈logbx⌉⇔k−1<logbx≤k⇔bk−1≤x<bk

4. 一些补充

（1）a+(a+1)2=a，也即两个连续的整数（a,a+1）中间的数，就是左边的数，0,1 ⇒ 0

（2）编程语言整数之间的除法，是向下取整，

1/2 ⇒ 0

-1/2 ⇒ -1