四边形不等式 定义:设\(w(x,y)\)是定义在整数集合上的的二元函数,若对于定义域上的任意整数\(a,b,c,d\),在满足\(a\leq b\leq c \leq d\)时,都有\(w(a,d)+w(b,c)\geq w(a,c)+w(b,d)\)成立,则称函数\(w\)满足四边形不等式. 定理1:四边形不等式的等价表达 \(w(x,y)\)是定义在整数集合上的的二元函数,若对于定义域上的任意整数\(a,b\),在满足\(a< b\)时,都有\(w(a,b+1)+w(a+1,b)\geq…