稳态调节器问题和最优性的充分条件