向上取整和向下取整

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

3. 一些补充

• （1）a+(a+1)2=a，也即两个连续的整数（a,a+1）中间的数，就是左边的数，0,1 ⇒ 0
• （2）编程语言整数之间的除法，是向下取整，
  
  • 1/2 ⇒ 0
  • -1/2 ⇒ -1