難しい生成問題を簡単な部分生成問題に自動的に分解