グラフ構造パラメータと述語論理を用いた高速メタアルゴリズム

• 研究課題/領域番号: 23KJ1066
• 研究種目: 特別研究員奨励費
• 配分区分: 基金
• 応募区分: 国内
• 審査区分: 小区分60010:情報学基礎論関連
• 研究機関: 名古屋大学
• 研究代表者: 儀間 達也 名古屋大学, 情報学研究科, 特別研究員(DC2)
• 研究期間 (年度): 2023-04-25 – 2025-03-31
• 研究課題ステータス: 交付 (2023年度)
• 配分額: 1,800千円 (直接経費: 1,800千円); 2024年度: 900千円 (直接経費: 900千円); 2023年度: 900千円 (直接経費: 900千円)

研究開始時の研究の概要

グラフ上の問題に対して知られている高速アルゴリズムを一般化し，様々な問題を同時に扱うメタアルゴリズムの構築をすることで，どのような性質が問題の易しさや難しさに影響するかを明確にすることをめざす．特に，頂点被覆数やその一般化などのグラフ構造パラメータを利用した高速アルゴリズムについて研究し，述語論理などを用いた高速メタアルゴリズムの構築を目指す.