202613802

「多項式時間より大きく指数時間より小さい計算量のアルゴリズム」が具体的にどんな感じなのか気になっていた。グラフ同型性判定がそうらしい。へー、と言いたいところだが、門外漢が簡単に理解できるアルゴリズムではないな…。