アルゴリズム理論の観点から見た「組合せ遷移」について，まずはフレームワーク (問題設定) について説明します．その後，今回は，計算困難性の証明について，いくつかご紹介します．