結果 : linear programming markov decision process