計算困難問題に対するアルゴリズム理論 / 組合せ最適化・ランダマイゼーション・近似・ヒューリスティクス