Exact Exponential Algorithms

文献：Fedor V. Fomin and Dieter Kratsch, "Exact Exponential Algorithms," Springer, 2010.

Sparsity

資料：Marcin Pilipczuk and Michał Pilipczuk, "Sparsity (講義資料)," the University of Warsaw, Fall 2019.

グラフとネットワーク

資料：岡本 吉央「離散最適化基礎論 (講義資料)」電気通信大学大学院情報理工学研究科情報・通信工学専攻, 2014年度後学期.

Parameterized Complexity Theory

文献：Jörg Flum and Martin Grohe, "Parameterized Complexity Theory," Springer, 2006.

パラメータ化計算量に関する標準的な教科書です。M1とM2が中心となって行いました。

Graduate Algorithms（B3向け輪読）

資料：Kent Quanrud, "Graduate Algorithms (講義資料)," Dept. of Computer Science, Purdue University, Spring 2024.

ゲームとパズルの計算量

文献：Robert A. Hearn and Erik D. Demaine, "Games, Puzzles, and Computation," A.K. Peters, 2009. （訳書： 上原 隆平 訳「ゲームとパズルの計算量」近代科学社, 2011.）

制約論理と呼ばれる、計算困難性を示すためのガジェットフレームワークの勉強しました。主にM1とM2が中心となって行いました。

Approximation Algorithms

文献：Vijay V. Vazirani, "Approximation Algorithms," Springer, 2001. （訳書： 浅野 孝夫 訳「近似アルゴリズム」シュプリンガー・ジャパン, 2002.）

昨年度から継続で26章までやりました。M1とM2が参加しました。

The Algorithm Design Manual（B3向け輪読）

文献：Steven S. Skiena, "The Algorithm Design Manual (2nd. ed.)," Springer, New York, 2008.

配属されたてのB3が基礎知識を身に付けることを目的として、学部生向けのアルゴリズムの本を読みました。また、演習問題を解くことで知識の定着を図りました。

アルゴリズム理論入門

文献：岩間 一雄「アルゴリズム理論入門」朝倉書店, 2014.

学生全員が参加し、計算量クラスに関する基本事項について学びました。

最適化手法入門

文献：寒野 善博 (著),　駒木 文保 (編)「最適化手法入門」データサイエンス入門シリーズ, 講談社サイエンティフィク, 2019.

学生全員が参加し、数理最適化の概観を学びました。

Approximation Algorithms

文献：Vijay V. Vazirani, "Approximation Algorithms," Springer, 2001. （訳書： 浅野 孝夫 訳「近似アルゴリズム」シュプリンガー・ジャパン, 2002.）

近似アルゴリズムに関する定番の本です。B4とM1が主体となって、19章までやりました。

Introduction to Algorithms

文献： Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein, "Introduction to Algorithms, Third Edition," The MIT Press, 2009. （訳書：浅野 哲夫, 岩野 和生, 梅尾 博司, 山下 雅史, 和田 幸一 訳「アルゴリズムイントロダクション 第3版 総合版」近代科学社, 2013）

アルゴリズムに関する世界標準の教科書です。研究室の学生全員が参加し、第1部、第2部、第3部の一部を読みました。

Network Flow Algorithms

文献：David P. Williamson, "Network Flow Algorithms," Cambridge University Press, Cambridge, 2019.

ネットワークフローについて詳しく書かれた教科書です。M1の一部とB4が参加し、3章の途中まで読みました。

Parameterized Algorithms

文献：Marek Cygan, Fedor V. Fomin, Lukasz Kowalik, Daniel Lokshtanov, Daniel Marx, Marcin Pilipczuk, Michal Pilipczuk, and Saket Saurabh, "Parameterized Algorithms," Springer, 2015.

パラメータ化計算量、特にFPTアルゴリズムの設計テクニックが詳しく書かれた教科書です。M1の一部とB4が参加し、7章まで読みました。

グラフとネットワーク

資料：岡本 吉央「グラフとネットワーク (講義資料)」電気通信大学情報理工学域I類 (情報系), 2021年度前学期.

岡本吉央 先生が電気通信大学にて開講された「グラフとネットワーク」の講義資料を使って、グラフ理論・グラフアルゴリズムについての勉強をしました。B4が事前に演習問題を解いてきて、全員の前で発表するという形式で行いました。