編集操作に対応した動的な文字列処理アルゴリズムの開発

点击翻译按钮获取中文摘要

動的データにおける組合せ的構造の解析およびアルゴリズムの開発を目的として研究を行った．第一に，スライド窓や1文字置換操作といった準動的な設定における，クエリ区間に対する最小非反復回文を求める問題に取り組んだ．スライド窓モデルに対してクエリ応答を O(loglog W) 時間，更新をならし O(log σ) 時間で行えるデータ構造を提案し，1文字置換モデルに対して O(n) 時間の前処理でクエリ応答を O(log n loglog n) 時間で行えるアルゴリズムを提案した．ここで W は窓のサイズ，σ はアルファベットサイズ，n は文字列長である．この成果は国際会議 33rd International Workshop on Combinatorial Algorithms (IWOCA 2022) に採択されている．第二に，文字列が1文字編集された際に圧縮サイズや反復性指標がどれだけ変化しうるかについて理論的な解析を行った．zip や png に用いられる圧縮手法である LZ77 を含む複数の主要な圧縮手法/反復性指標について，サイズの変化量の上下界を与えた．この成果は国際雑誌 Information and Computation に採択されている．また，動的なデータにおける組合せ的構造の解析およびアルゴリズムの開発を行うための基盤/準備として，静的なデータを対象に以下の2つに取り組んだ．1つは，トライ上の極大回文・異なる回文をそれぞれ最適な計算量で計算できるアルゴリズムの提案，もう1つは， LZ-End と呼ばれる辞書式圧縮について，圧縮サイズが最小となる最適な LZ-End の計算が NP 完全であることの証明である．これらの成果はそれぞれ，国際会議 33rd International Symposium on Algorithms and Computation (ISAAC 2022) および国際会議 34th Annual Symposium on Combinatorial Pattern Matching (CPM2023) に採択されている．他にも動的文字列を対象として複数の成果が得られており，投稿中・投稿準備中である．