単純時制制約問題