Ayumi Shinohara

Prof. Ayumi Shinohara


Research Focus & Metrics

Academic Career Length

25Years (2002-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
25 November 2009 in Algorithms
Verified
Journal Article
Open access
PDF file
RNRyosuke Nakamura
Ryosuke Nakamura
SIShunsuke Inenaga
Shunsuke Inenaga
HBHideo Bannai
Hideo Bannai
TFTakashi Funamoto
Takashi Funamoto
MTMasayuki Takeda
Masayuki Takeda
ASAyumi Shinohara
Ayumi Shinohara
We consider grammar-based text compression with longest first substitution (LFS), where non-overlapping occurrences of a longest repeating factor of the input text are replaced by a new non-terminal symbol. We present the first linear-time algorithm for LFS. Our algorithm employs a new data structure called sparse lazy suffix trees. We also deal with a more sophisticated version of LFS, called LFS2, that allows better compression. The first linear-time algorithm for LFS2 is also presented.

8 April 2019 in Algorithms
Verified
Journal Article
Open access
PDF file
DHDiptarama Hendrian
Diptarama Hendrian
YUYohei Ueki
Yohei Ueki
KNKazuyuki Narisawa
Kazuyuki Narisawa
RYRyo Yoshinaka
Ryo Yoshinaka
ASAyumi Shinohara
Ayumi Shinohara
A multi-track string is a tuple of strings of the same length. Given the pattern and text of two multi-track strings, the permuted pattern matching problem is to find the occurrence positions of all permutations of the pattern in the text. In this paper, we propose several algorithms for permuted pattern matching. Our first algorithm, which is based on the Knuth–Morris–Pratt (KMP) algorithm, has a fast theoretical computing time with O ( m k ) as the preprocessing time and O ( n k log σ ) as the matching time, where n, m, k, σ , and occ denote the length of the text, the length of the pattern, the number of strings in the multi-track, the alphabet size, and the number of occurrences of the pattern, respectively. We then improve the KMP-based algorithm by using an automaton, which has a better experimental running time. The next proposed algorithms are based on the Boyer–Moore algorithm and the Horspool algorithm that try to perform pattern matching. These algorithms are the fastest experimental algorithms. Furthermore, we propose an extension of the AC-automaton algorithm that can solve dictionary matching on multi-tracks, which is a task to find multiple multi-track patterns in a multi-track text. Finally, we propose filtering algorithms that can perform permuted pattern matching quickly in practice.

1 November 2019 in Theoretical Computer Science
Verified
Journal Article
Closed access
DHDiptarama Hendrian
Diptarama Hendrian
SIShunsuke Inenaga
Shunsuke Inenaga
RYRyo Yoshinaka
Ryo Yoshinaka
ASAyumi Shinohara
Ayumi Shinohara

1 March 2012 in Higher-Order and Symbolic Computation
Verified
Journal Article
Closed access
NKNaoki Kobayashi
Naoki Kobayashi
KMKazutaka Matsuda
Kazutaka Matsuda
ASAyumi Shinohara
Ayumi Shinohara
KYKazuya Yaguchi
Kazuya Yaguchi

17 September 2020
Verified
Book Chapter
Closed access
PDF file
NKNatsumi Kikuchi
Natsumi Kikuchi
DHDiptarama Hendrian
Diptarama Hendrian
RYRyo Yoshinaka
Ryo Yoshinaka
ASAyumi Shinohara
Ayumi Shinohara

14 September 2022 in Theoretical Computer Science
Verified
Journal Article
Closed access
KNKatsuhito Nakashima
Katsuhito Nakashima
NFNoriki Fujisato
Noriki Fujisato
DHDiptarama Hendrian
Diptarama Hendrian
YNYuto Nakashima
Yuto Nakashima
RYRyo Yoshinaka
Ryo Yoshinaka
MTMasayuki Takeda
Masayuki Takeda