研究課題/領域番号 |
23K24806
|
研究種目 |
基盤研究(B)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60010:情報学基礎論関連
|
研究機関 | 北海道大学 |
研究代表者 |
堀山 貴史 北海道大学, 情報科学研究院, 教授 (60314530)
|
研究分担者 |
伝住 周平 日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, リサーチアソシエイト (90755729)
和佐 州洋 法政大学, 理工学部, 准教授 (00781337)
栗田 和宏 名古屋大学, 情報学研究科, 助教 (40885266)
脊戸 和寿 北海道大学, 情報科学研究院, 准教授 (20584056)
中畑 裕 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教 (50942067)
|
研究期間 (年度) |
2024-04-01 – 2026-03-31
|
研究課題ステータス |
交付 (2024年度)
|
配分額 *注記 |
8,320千円 (直接経費: 6,400千円、間接経費: 1,920千円)
2025年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2024年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
|
キーワード | 列挙アルゴリズム / 数え上げアルゴリズム / サンプリングアルゴリズム / 離散構造 / 計算モデル |
研究開始時の研究の概要 |
制約条件を満たす解の列挙、解の個数の数え上げ、すべての解の中からのランダムサンプリングなどのアルゴリズムの設計は、互いに深く関連しつつも、それぞれ独自の技法が必要とされることが多い。このため、それぞれのアルゴリズムは個別に設計されることが多い。本研究課題では、制約条件が定義する解空間の性質についての理解をもとに、基本的なアイデアを記述し、その記述から各アルゴリズムを統一的に導出するための基盤技術の研究を行う。
|