运筹学动态规划问题的求解min z=3x1^2+4x2^2+x3^2s.t.{ x1*x2*x3>=9