202613802

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