超模函数与低模函数

偶尔在马尔科夫决策的书中接触到了超模函数，发现超模函数在博弈论中也有应用，决定记录下来。

设一个函数为 $g(x,y)$，若对于任意 $x_1>x_2$ 与 $y_1>y_2$，有

$$g(x_1,y_1)+g(x_2,y_2)\ge g(x_1,y_2)+g(x_2,y_1)$$

则称 $g(x,y)$ 为超模函数（super-modular function）。

如果 $g(x,y)$ 可导的话，这也等价于：

$$\frac{g(x,y)}{\partial x\partial y}\ge 0$$

同理，若 $\frac{g(x,y)}{\partial x\partial y}\le 0$，则为低模函数（sub-modular function）。

在经济学中，超模函数用来描述互补产品，例如键盘和鼠标。一个产品销量的增加也会引起另一个产品销量的增加。

而低模函数用来描述可替代产品，一个产品销量的增加引起另一个产品销量的减少。