规范形

定义

将二次形中的 $d_{i}$ 为 $1, - 1, 0$ ，即：

x^{T} A x = d_{1} x_{1}^{2} + d_{2} x_{2}^{2} + \dots + d_{n} x_{n}^{2}, | d_{i} | \leq 1, d_{i} \in Z

例如:

f (x_{1}, x_{2}, x_{3}) = x_{1}^{2} - x_{2}^{2} + 0 x_{3}^{2}

就是规范形。