【計算機科学】アルゴリズムを構築する者たちが直面する「複雑性という怪物」 [すらいむ★]

「ある命題の証明には、すべての組合せを尽くして
しらみつぶしを行う以外には手段が無い」ということを
証明できるような問題には何があるだろうか？
つまりエレガントな証明だとかうまい証明方法は存在しない
問題にはどんなのがあるのかな。