総当りしかない問題というのもあるんだろうけど
総当りのハズの問題を刈り込みかけるのもスゴイ理論でしょ