| 研究課題/領域番号 |
19K20208
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2022-03-31
|
| キーワード | パターン照合アルゴリズム / パラメタ化パターン照合 / 索引構造 / カバー配列 / 有向無閉路文字列グラフ |
|---|
| 研究実績の概要 |
2020年度において，各パターン照合における照合関係上の文字列の離散的・組合せ的な性質の解析を行うとともに，パラメタ化パターン照合問題に対して線形時間・定数領域のアルゴリズムの開発を行った．文字列の離散的な性質の一つとしてカバーがあげられる．カバーは疑似周期として扱われ，パターン照合アルゴリズムに重要な文字列の性質である．本研究は厳密一致関係上の最短カバー配列および最長カバー配列を求めるアルゴリズムがパラメタ化パターン照合や順序保存パターン照合といった拡張照合関係上の最短カバー配列および最長カバー配列を求めることができると証明した．また，索引構造の構築に使われる Burrows-Wheeler 変換をもとにした Bijective Burrows-Wheeler 変換を定数追加領域で行うアルゴリズムを開発した．パラメタ化パターン照合問題に対して，索引構造である有向無閉路文字列グラフ（Parameterized Directed Acyclic Word Graph, PDAWG）を提案し，PDAWG のオンライン構築アルゴリズムも提案した．さらに，PDAWG をコンパクト化することによって，既存の索引よりも省領域な索引構造になると期待できる．最後に，パラメタ化パターン照合問題に対して，クリティカル分解を用いた線形時間・定数領域アルゴリズムを開発し，実験的に正しく動作していることが確認できた．2021年度においてアルゴリズムの正当性の証明を行う．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
現在までの研究は計画通りに進めており，アルゴリズムの開発ための重要な性質が明らかになった．さらに，パラメタ化パターン照合問題に対して，クリティカル分解を用いた線形時間・定数領域アルゴリズムを開発し，実験的に正しく動作していることが確認できた．また，得られた研究成果は理論計算機科学分野や文字列処理分野で重要国際会議に採択された．
|
| 今後の研究の推進方策 |
2020年度の研究で開発したパラメタ化パターン照合問題に対する線形時間・定数領域のアルゴリズムの正当性の証明を行う．また，順序保存パターン照合問題，順列パターン照合問題等，他の拡張したパターン照合問題に対しても線形時間・劣線形領域のアルゴリズムの開発を行う．
|
| 次年度使用額が生じた理由 |
2020年度において，国際会議に採択された論文を発表する予定であるが，新型コロナウイルス感染症の影響で，本国際会議の会場で参加できず，オンライン会議に通じて発表を行った．2021年度において，研究費を国内研究会および国際会議の参加や学術論文誌の投稿，研究成果を発表するために使用する予定である．
|
