発行年2010 - 2014 キーワード多項式時間アルゴリズム 部局