以下の論文について,ISAAC2022 (韓国) で発表しました. ESA2022に続いて人生で2度目の国際会議参加でした.

Tatsuya Gima, Yota Otachi. Extended MSO Model Checking via Small Vertex Integrity. The 33rd International Symposium on Algorithms and Computation (ISAAC 2022). Korea. LIPIcs, 248, pp. 20:1–20:15, 2022, Dec. [📖doi link][📝arXiv]

内容としては,それなりに(計算理論的に)難しいような最適化問題であっても, ある程度疎で特殊なグラフ(vertex integrity というものが小さいグラフ)であれば, 高速に解けること (FPT) を示したものです.

(小野先生と上原先生に写真を取っていただきました.ありがとうございます.)