无尽的梯子

通过枚举可发现，相邻两数差值可涵盖除1外的所有奇数，而相隔一个数的差值涵盖除4以外所有4的倍数，之后相差更多的元素差值都为上述两种情况的子集，所以只要数目标（|a^2-b^2|)前有几个奇数和几个4的倍数即可

参考代码（python）

from sys import stdin,setrecursionlimit
from math import inf,ceil,sqrt
from collections import Counter,deque

for _ in range(int(stdin.readline())):
    a,b=[int(_) for _ in stdin.readline().split()]
    d=abs(a*a-b*b)
    ans=(d-1)//2+max(d//4-1,0)
    print(ans)