リサーチ
アルゴリズムおよび計算複雑性
理論ラボ
計算問題を難しくしているものとは何か？このラボは、この疑問を指針に活動しています。計算問題を解決するための効率的なアルゴリズムを設計し、さまざまな計算モデルと多様な仮定の下で、複雑さの下限を証明します。
研究分野には、NP 困難問題、精微な計算複雑性、および回路計算量に対する厳密アルゴリズムと近似アルゴリズムが含まれます。
計算問題を難しくしているものとは何か？このラボは、この疑問を指針に活動しています。計算問題を解決するための効率的なアルゴリズムを設計し、さまざまな計算モデルと多様な仮定の下で、複雑さの下限を証明します。
研究分野には、NP 困難問題、精微な計算複雑性、および回路計算量に対する厳密アルゴリズムと近似アルゴリズムが含まれます。