@inproceedings{121c150122cc43f68e6ab6c2dec8b888,
title = "Simon{\textquoteright}s Congruence Pattern Matching",
abstract = "Testing Simon{\textquoteright}s congruence asks whether two strings have the same set of subsequences of length no greater than a given integer. In the light of the recent discovery of an optimal linear algorithm for testing Simon{\textquoteright}s congruence, we solve the Simon{\textquoteright}s congruence pattern matching problem. The problem requires finding all substrings of a text that are congruent to a pattern under the Simon{\textquoteright}s congruence. Our algorithm efficiently solves the problem in linear time in the length of the text by reusing results from previous computations with the help of new data structures called X-trees and Y-trees. Moreover, we define and solve variants of the Simon{\textquoteright}s congruence pattern matching problem. They require finding the longest and shortest substring of the text as well as the shortest subsequence of the text which is congruent to the pattern under the Simon{\textquoteright}s congruence. Two more variants which ask for the longest congruent subsequence of the text and optimizing the pattern matching problem are left as open problems.",
keywords = "Simon{\textquoteright}s congruence, data structure, pattern matching, string algorithm",
author = "Sungmin Kim and Ko, {Sang Ki} and Han, {Yo Sub}",
note = "Publisher Copyright: {\textcopyright} Sungmin Kim, Sang-Ki Ko, and Yo-Sub Han.; 33rd International Symposium on Algorithms and Computation, ISAAC 2022 ; Conference date: 19-12-2022 Through 21-12-2022",
year = "2022",
month = dec,
day = "1",
doi = "10.4230/LIPIcs.ISAAC.2022.60",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Bae, {Sang Won} and Heejin Park",
booktitle = "33rd International Symposium on Algorithms and Computation, ISAAC 2022",
address = "Germany",
}