题面:
题意:
求解符合 x ∈ [ 0 , a ] , y ∈ [ 0 , b ] x\in[0,a],y\in[0,b] x∈[0,a],y∈[0,b] 且 ∣ x − y ∣ ≤ k |x-y|\le k ∣x−y∣≤k 且 x x o r y ≤ w x\ xor\ y \le w x xor y≤w 的 ( x , y ) (x,y) (x,y) 的数对数量。
题解:
①、官方题解:
将 ∣ x − y ∣ ≤ k |x-y|\le k ∣x−y∣≤k 拆为 y − x ≤ k 且 x − y ≤ k y-x\le k且x-y\le k y−x≤k且x−y≤k,再转化为 x + k ≥ y 且 y + k ≥ x x+k\ge y且y+k\ge x x+k≥y且y+k≥x
我们设
d p [ b i t ] [ x ≤ a ] [ y ≤ b ] [ x + k ≥ y ] [ 进 位 ] [ y + k ≥ x ] [ 进 位 ] [ x x o r y ≤ w ] dp[bit][x\le a][y\le b][x+k\ge y][进位][y+k\ge x][进位][x\ xor\ y\le w] dp[bit][x≤a][y≤b][x+k≥y][进位][y+k≥x][进位][x xor y≤w]
我们从低位往高位枚举。
b i t bit bit 表示当前枚举到哪一位。
x ≤ a x\le a x≤a 表示 x x x 的范围。
y ≤ b y\le b y≤b 表示 y y y 的范围。
x + k ≥ y x+k\ge y x+k≥y 表示当前绝对值限制条件之一
进 位 进位 进位 表示考虑了当前 b i t bit bit 位, x + k x+k x+k 产生的进位
y + k ≥ x y+k\ge x y+k≥x 表示当前绝对值条件限制之一
进 位 进位 进