キーワード多項式時間アルゴリズム 種類学術雑誌論文 部局