四维优化数学