コンプ研 on

コンプ研2020-渡部

Fri, 04 Dec 2020 00:00:00 +0000

覆面算とは記号による算術式が与えられ，その式を成立させるような記号から数字への対応方法を探す数学パズルである．2018年にNozakiらはk進数において可解な覆面算のDFAを用いた列挙手法を提案し，これを用いて覆面算に関する様々な解析を行なった．この覆面算DFA構築においてはkを大きくしていくとそのサイズが急激に増加するという問題があり，この計算爆発をいかに抑えるか，というのが課題となっている．本発表ではNozakiらが残した課題を解決し，効率的に覆面算を列挙するDFAを構築する手法を提案する．

コンプ研2019

Fri, 13 Dec 2019 00:00:00 +0000

厳密文字列照合問題は，長さ$n$のテキスト$T$と長さ$m$のパターン$P$が与えられたときに，$T$中の$P$と等しい部分文字列の出現位置をすべて見つける問題である．本研究では，$P$に含まれる同一$q$グラムの直近の出現位置間の距離を考慮した，この問題を$O((n+m)q)$時間で解くアルゴリズムを提案する．また，英文やゲノム配列等のデータセットを用いて既存のアルゴリズムと実行速度を比較し，我々のアルゴリズムが実用的に高速であることを示す．

comp2016

Mon, 14 Mar 2016 00:00:00 +0000

数値列の形状に着目した類似性の判断基準として順序同型がある．順序同型となる部分系列を数値列間から見つけ出す問題である順序保存照合問題に関する研究は盛んに行われているが，部分系列が完全に順序同型であるものだけを探すため，実用的には使いにくい．本論文では，順序同型を基にした数値列間の新しい類似性の判断基準として，順序同型LCSと呼ばれる指標を提案する．また，2つの系列が与えられた時，順序同型LCSを高速に計算するためのアルゴリズムを提案する．このアルゴリズムを評価するため，ランダムデータを用いた速度比較実験を行う．

COMP2015

Tue, 01 Sep 2015 00:00:00 +0000

DubeとBeaudoinによって2010年に考案された無ひずみデータ圧縮法である部分文字列数え上げ圧縮法に対し，金井と横尾はBurrows-Wheeler変換行列をうまく利用した効率的な実装方法を提案した．本論文は，この実装方法を一般化し，(1)バイト指向情報源に対してフェーズの区別を明示的に導入することで圧縮率を高める，(2) バイナリ文字列のみならず多値アルファベットの文字列をそのまま取り扱える，という２方向への拡張を示す．

COMP研 in 信州大 2015

Tue, 01 Sep 2015 00:00:00 +0000

信州大学にて開催されたCOMP研にて研究発表を行ってきました（2015年9月1日）．

COMP2014

Tue, 02 Sep 2014 00:00:00 +0000

長さ$n$の文字列$N$個からなる文字列の多重集合をマルチトラック文字列と呼ぶ．長さがそれぞれ$n$，$m$ である二つのマルチトラック文字列 $\mathcal{T} = \{ t_1,\ldots,t_N \}$ と $\mathcal{P}=\{ p_1,\ldots,p_N \}$が与えられたとき， $\{ p_1, \ldots, p_N \}= \{ t_1[i:i+m-1],\ldots,t_N[i:i+m-1] \}$を満たすすべての位置$i$を返す問題を 順列パターン照合 と呼ぶ．順列パターン照合問題のためのデータ構造として， $O(n)$領域という省メモリな 縮約マルチトラックポジションヒープ（CMTPH）がある． CMTPHを用いることで，順列パターン照合問題を$O(m^2N^2+occ)$時間で解くことができる．本研究では，$O(nN)$時間の新しいCMTPH構築アルゴリズムを提案する．また，CMTPHに対して$O(n)$領域のデータ構造を追加することで，照合時間が$O(max(mN+occ,m^2N^2))$時間で抑えられることを示す．

2013-04-n-57-2-03696

Wed, 24 Apr 2013 00:00:00 +0000

2008-03-paper-072

Sat, 01 Mar 2008 00:00:00 +0000