結果 : decision problem computer science definition