Project/Area Number |
22K17849
|
Research Category |
Grant-in-Aid for Early-Career Scientists
|
Allocation Type | Multi-year Fund |
Review Section |
Basic Section 60010:Theory of informatics-related
|
Research Institution | Hosei University |
Principal Investigator |
和佐 州洋 法政大学, 理工学部, 准教授 (00781337)
|
Project Period (FY) |
2022-04-01 – 2025-03-31
|
Project Status |
Granted (Fiscal Year 2023)
|
Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2023: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2022: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
Keywords | 列挙アルゴリズム / 理論計算機科学 / 列挙 / 解グラフ技法 / グラフアルゴリズム |
Outline of Research at the Start |
列挙問題は理論計算機科学における中心的な問題の一つであり,効率良いアルゴリズムを構成することは理論・応用両面において重要である.これまで列挙アルゴリズムを構成するための様々なフレームワークやメタアルゴリズムが開発されてきたが,その適用範囲は限定されており,より汎用的な構築技法の確立が課題となっている.本研究では,既存のアルゴリズム構築フレームワークの拡張,および,メタアルゴリズムの開発を目的として研究を行う.これらを通じて,列挙アルゴリズムを構成する技法をより洗練させ,列挙問題を効率よく解くための理論的な土台の整備を進めていく.
|
Outline of Annual Research Achievements |
理論計算機科学における重要な問いとして,「実行可能解はいくつ存在するか」が挙げられる.この文脈において,解の個数を計数する問題と全ての解を実際に出力する問題の2つの観点で研究が進められているが,本研究では,後者を列挙問題と呼び,これに関して研究を行う.列挙問題は理論・応用両面において頻出する問題である.例えば,ユーザーが自身の嗜好を正確に定義できない場合,例えば夕食でどのレストランに行くか決める時などでは,ある程度候補となる対象を列挙し,その後実際にユーザーが目で見て自身の嗜好に適った対象を選ぶ,というような状況で列挙は重要な役割を果たす.このような状況では,効率良いアルゴリズムが提供されることは非常に重要である.これまで列挙アルゴリズムを構成するための様々なフレームワークやメタアルゴリズムが開発されてきたが,その適用範囲は限定されており,より汎用的な構築技法の確立が課題となっている.さらにそのようなフレームワークの適用限界についても全く明らかでない.本研究では,(1)スパース化を用いた解グラフ技法と呼ばれるフレームワークの拡張,および,(2)局所的な構造に着目したメタアルゴリズムの開発を目的として研究を行う.令和5年度は,令和4年度に引き続き(1)に注力したが,残念ながら目ぼしい成果を得ることはできなかった.一方で,副産物的にいくつかの問題に関して成果が得られたため,それらの発表を行った.
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
令和4年度に挙げた今後の推進方策である「(1) のスパース化に関して,Cohen らのアルゴリズムを愚直に適用できない範囲の問題に対して適用できないか検討」については,自明な例を除いてのアルゴリズムの構築に成功しなかった.また,グラフアルゴリズム以外の列挙問題であるシグネチャに関する問題にも取り組み,より範囲を広げて適用範囲を検討したが,大きな進展は得られなかった.
|
Strategy for Future Research Activity |
令和6年度も引き続き,最近提案された列挙アルゴリズムを一度洗い出し,本問題について考察していく.特にシグネチャの列挙に関しては,未解決な部分も多い.これまでの SAT ソルバなどの知見も組み合わせることで,何らかの新しい知見が得られないか模索する.また,局所的な構造に着目したメタアルゴリズムの開発も今年度は重点的に行う.
|