9.3 代数优化