glPolygonOffset中的公式的一些思考

glPolygonOffset可以用于对光栅化后的fragment深度进行偏移，在后续depth test时将使用偏移后的深度。这个函数很常见的一个应用是在shadow mapping中缓解shadow acne。

OpenGL 4.5 spec, 14.6.5中提到了glPolygonOffset使用的公式，如下

$$o=m\ast factor+r\ast units$$

其中m可以使用两种定义，分别为

$$\begin{array}{rl}(1)m& =\sqrt{{\frac{\partial z_w}{\partial x_w}}^2+{\frac{\partial z_w}{\partial y_w}}^2}\\ (2)m& =\mathrm{m}\mathrm{a}\mathrm{x}\left\{\left|\frac{\partial z_w}{\partial x_w}\right|,\left|\frac{\partial z_w}{\partial y_w}\right|\right\}\end{array}$$

其中(1)是梯度的大小，而(2)是两个偏导数中绝对值较大的一个（与glsl中fwidth函数的结果一样）。这里$x,y$方向的导数在整个三角形内都是常数。

下面来探讨下为什么会使用上面两种表示可能的原因。

如果将一个像素想象成一个square，由于sampling都是在像素中心进行，要找到在像素范围内最大的偏移，我们可以使用下面的函数（为了简化讨论，我们在单位定义域内进行），并求取最大值

$$f(x,y)=\left|\frac{\partial z_w}{\partial x_w}(x-0.5)+\frac{\partial z_w}{\partial y_w}(y-0.5)\right|，x,y\in [0,1]\times [0,1]$$

该函数可以通过方向导数得到。经过简单计算，我们可以得到最大值为

$$f_{max}=\frac{1}{2}\left(\left|\frac{\partial z_w}{\partial x_w}\right|+\left|\frac{\partial z_w}{\partial y_w}\right|\right)$$

这里有意思的一点是，该最大值还满足如下不等式（来自SO上网友的评论）

$$\frac{1}{2}\left(\left|\frac{\partial z_w}{\partial x_w}\right|+\left|\frac{\partial z_w}{\partial y_w}\right|\right)\le \mathrm{m}\mathrm{a}\mathrm{x}\left\{\left|\frac{\partial z_w}{\partial x_w}\right|,\left|\frac{\partial z_w}{\partial y_w}\right|\right\}\le \sqrt{{\frac{\partial z_w}{\partial x_w}}^2+{\frac{\partial z_w}{\partial y_w}}^2}$$

由于gpu可以做近似计算，所以只要比$f_{max}$大就可以满足要求，所以使用(1)和(2)都是满足需求的。