Author

Simone Faro

63 papers · 2004–2026

2004peak 11 in 20262026

Frequent co-authors

Papers

showing 1–25 of 63 RSS

EFFICIENT VARIANTS OF THE BACKWARD-ORACLE-MATCHING ALGORITHM

Artificial Intelligence · International Journal of Foundations of Computer Science · 23 Nov 2009 · cited 49× · DOI ↗ · more like this ·

In this article we present two efficient variants of the BOM string matching algorithm which are more efficient and flexible than the original algorithm. We also present bit-parallel versions of them obtaining an efficient variant of the BNDM algorithm. Then we compare the newly presented algorithms with some of the most recent and effective string matching algorithms. It turns out that the new proposed variants are very flexible and achieve very good results, especially in the case of large alphabets.

The Exact String Matching Problem: a Comprehensive Experimental Evaluation

Simone Faro, Thierry Lecroq

cs.DS · 12 Dec 2010 · cited 47× · arXiv ↗ · more like this ·

This paper addresses the online exact string matching problem which consists in finding all occurrences of a given pattern p in a text t. It is an extensively studied problem in computer science, mainly due to its direct applications to such diverse areas as text, image and signal processing, speech analysis and recognition, data compression, information retrieval, computational biology and chemistry. Since 1970 more than 80 string matching algorithms have been proposed, and more than 50% of them in the last ten years. In this note we present a comprehensive list of all string matching algorithms and present experimental results in order to compare them from a practical point of view. From our experimental evaluation it turns out that the performance of the algorithms are quite different for different alphabet sizes and pattern length.

Fast Packed String Matching for Short Patterns

Simone Faro, M. Oguzhan Külekci

cs.IR · 28 Sep 2012 · cited 29× · arXiv ↗ · more like this ·

Searching for all occurrences of a pattern in a text is a fundamental problem in computer science with applications in many other fields, like natural language processing, information retrieval and computational biology. In the last two decades a general trend has appeared trying to exploit the power of the word RAM model to speed-up the performances of classical string matching algorithms. In this model an algorithm operates on words of length w, grouping blocks of characters, and arithmetic and logic operations on the words take one unit of time. In this paper we use specialized word-size packed string matching instructions, based on the Intel streaming SIMD extensions (SSE) technology, to design very fast string matching algorithms in the case of short patterns. From our experimental results it turns out that, despite their quadratic worst case time complexity, the new presented…

Fast-Search Algorithms: New Efficient Variants of the Boyer-Moore Pattern-Matching Algorithm

Domenico Cantone, Simone Faro

Artificial Intelligence · Justus-Liebig-Universität Gießen · 2005 · cited 18× · DOI ↗ · more like this ·

We present two variants of the Boyer-Moore string matching algorithm, named Fast- Search and Forward-Fast-Search, and compare them with some of the most effective string matching algorithms, such as Horspool, Quick Search, Tuned Boyer-Moore, Reverse Factor, and Berry-Ravindran. All algorithms are compared in terms of their run-time efficiency, number of text character inspections, and number of character comparisons. It turns out that the new proposed variants, though not linear, achieve very good results especially in the case of very short patterns or small alphabets.

Approximate String Matching Allowing for Inversions and Translocations.

Domenico Cantone, Simone Faro, Emanuele Giaquinta

Artificial Intelligence · Prague Stringology Conference · 2010 · cited 16× · OpenAlex ↗ · more like this ·

Abstract. The approximate string matching problem consists in finding all locations at which a pattern P of length m matches a substring of a text T of length n, after a given finite number of edit operations. In this paper we investigate such problem when the string distance involves transloca-tions of equal length adjacent factors and inversions of factors. In particular, we devise a O(nmmax(α, β))-time and O(m2)-space algorithm, where α and β are respectively the maximum length of the factors involved in any translocation and inversion. Our algo-rithm is based on the dynamic-programming approach and makes use of the Directed Acyclic Word Graph of the pattern. Moreover we show that under the assumptions of equiprobability and independence of characters our algorithm has a O(n logσ m) average time complexity. Finally, we briefly sketch in an appendix an efficient imple-mentation, based…

Engineering order‐preserving pattern matching with SIMD parallelism

Tamanna Chhabra, Simone Faro, M. Oğuzhan Külekçi +1 more

Artificial Intelligence · Software Practice and Experience · 24 Aug 2016 · cited 15× · DOI ↗ · more like this ·

Summary The order‐preserving pattern matching problem has gained attention in recent years. It consists in finding all substrings in the text, which have the same length and relative order as the input pattern. Typically, the text and the pattern consist of numbers. Since recent times, there has been a tendency to utilize the ability of the word RAM model to increase the efficiency of string matching algorithms. This model works on computer words, reading and processing blocks of characters at once, so that usual arithmetic and logic operations on words can be performed in one unit of time. In this paper, we present a fast order‐preserving pattern matching algorithm, which uses specialized word‐size packed string matching instructions, grounded on the single instruction multiple data instruction set architecture. We show with experimental results that the new proposed algorithm is more…

Efficient Pattern Matching on Binary Strings

Simone Faro, Thierry Lecroq

cs.DS · 15 Oct 2008 · cited 15× · arXiv ↗ · more like this ·

The binary string matching problem consists in finding all the occurrences of a pattern in a text where both strings are built on a binary alphabet. This is an interesting problem in computer science, since binary data are omnipresent in telecom and computer network applications. Moreover the problem finds applications also in the field of image processing and in pattern matching on compressed texts. Recently it has been shown that adaptations of classical exact string matching algorithms are not very efficient on binary data. In this paper we present two efficient algorithms for the problem adapted to completely avoid any reference to bits allowing to process pattern and text byte by byte. Experimental results show that the new algorithms outperform existing solutions in most cases.

Linear and Efficient String Matching Algorithms Based on Weak Factor Recognition

Domenico Cantone, Simone Faro, Arianna Pavone

Artificial Intelligence · ACM Journal of Experimental Algorithmics · 14 Feb 2019 · cited 11× · DOI ↗ · more like this ·

We present a simple and very efficient algorithm for string matching based on the combination of weak factor recognition and hashing. Despite its quadratic worst-case running time, our algorithm exhibits a sublinear behaviour. We also propose some practical improvements of our algorithm and a variant with a linear worst-case time complexity. Experimental results show that, in most cases, some of the variants of our algorithm obtain the best running times when compared, under various conditions, against the most effective algorithms present in the literature. For instance, in the case of small alphabets and long patterns, the gain in running time is up to 18%. This makes our proposed algorithm one of the most flexible solutions in practical cases.

Fast searching in biological sequences using multiple hash functions

Simone Faro, Thierry Lecroq

Artificial Intelligence · November 2012 · cited 10× · DOI ↗ · more like this ·

With the availability of large amounts of DNA data, exact matching of nucleotide sequences has become an important application in modern computational biology and in meta-genomics. In this paper we present an efficient method based on multiple hashing functions which improves the performance of existing string matching algorithms when used for searching DNA sequences. From our experimental results it turns out that the new proposed technique leads to algorithms which are up to 8 times faster than the best algorithm known for matching multiple patterns. It turns out also that the gain in performances is larger when searching for larger sets. Thus, considering the fact that the number of reads produced by next generation sequencing equipments is ever growing, the new technique serves a good basis for massive multiple long pattern search applications.

On the Longest Common Cartesian Substring Problem

Simone Faro, Thierry Lecroq, Kunsoo Park +1 more

Artificial Intelligence · The Computer Journal · 16 Dec 2021 · cited 9× · DOI ↗ · more like this ·

Abstract A Cartesian tree is associated with a string of numbers and is structured as a heap from which the original string can be recovered. Although Cartesian trees have been introduced 40 years ago, the Cartesian tree matching problem appeared very recently. It consists in finding all substrings of given text, which have the same Cartesian tree as that of a given pattern. In this paper, we address the problem of computing the longest common Cartesian substrings of two strings and present three methods for such problem. Our first method is based on a classical suffix tree construction and solves the problem in randomized linear time and linear space, although the space overhead is quite prohibitive in the case of large strings. Our second solution is based on classical dynamic programming, and our third solution is based on a constructive approach. Both of them run in quadratic worst…

An Efficient Skip-Search Approach to Swap Matching

Simone Faro, Arianna Pavone

Artificial Intelligence · The Computer Journal · December 2017 · cited 8× · DOI ↗ · more like this ·

The swap matching problem consists in finding all occurrences of a pattern x of length m in a text y of length n, allowing for disjoint local swaps of characters in the pattern. In 2003, Amir et al. solved the problem in O(nlogmlogσ) worst-case time complexity, where σ is the size of the alphabet. In recent years, much research has focused on practical solutions and efficient algorithms have been devised by means of the bit-parallel simulation of non-deterministic automata. In this paper, we present a new efficient algorithm for the swap matching problem based on character comparison and structured as a generalization of the Skip-Search algorithm for the exact string matching problem. Although our solution has a quadratic worst-case time complexity, it shows a sub-linear behaviour on average. According to experimental results, our algorithm obtains in most practical cases the best…

Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences.

Domenico Cantone, Salvatore Cristofaro, Simone Faro

Artificial Intelligence · Prague Stringology Conference · 2004 · cited 7× · DOI ↗ · more like this ·

The δ-approximate string matching problem, recently introduced in connection with applications to music retrieval, is a generalization of the exact string matching problem for alphabets of integer numbers. In the δ-approximate variant, (exact) matching between any pair of symbols/integers a and b is replaced by the notion of δ-matching =δ, where a =δ b if and only if |a− b| ≤ δ for a given value of the approximation bound δ. After surveying the state-of-the-art, we describe some new effective algorithms for the δ-matching problem, obtained by adapting existing string matching algorithms. The algorithms discussed in the paper are then compared with respect to a large set of experimental tests. From these, in particular it turns out that two of our newly proposed algorithms often achieve the best performances, especially in the case of large alphabets and short patterns, which typically…

ON TUNING THE (,)-SEQUENTIAL-SAMPLING ALGORITHM FOR -APPROXIMATE MATCHING WITH-BOUNDED GAPS IN MUSICAL SEQUENCES

Domenico Cantone, Salvatore Cristofaro, Simone Faro

Artificial Intelligence · 2005 · cited 5× · OpenAlex ↗ · more like this ·

We present a very efficient variant of the (δ, α)SEQUENTIAL-SAMPLING algorithm, recently introduced by the authors, for the δ-approximate string matching problem with α-bounded gaps, which often arises in many questions on musical information retrieval and musical analysis. Though it retains the same worst-case O(mn)-time and O(mα)-space complexity of its progenitor to compute the number of distinct δ-approximate α-gapped occurrences of a pattern of length m at each position in a text of length n, our new variant achieves an average O(n)time complexity in practical cases. Extensive experimentations indicate that our algorithm is more efficient than existing solutions for the same problem, especially in the case of long patterns.

Practical Implementation of a Quantum String Matching Algorithm

Francesco Pio Marino, Simone Faro, Antonio Scardace

Artificial Intelligence · 3 Jun 2024 · cited 4× · DOI ↗ · more like this ·

String matching stands as a cornerstone problem in computer science, finding extensive application in many fields, such as data mining, text retrieval, and bioinformatics, just to cite a few. Its essence lies in identifying all occurrences of a specified pattern, typically denoted by length m, within a text of length n. Despite its seemingly straightforward formulation, the problem has sparked a plethora of solutions, stemming from diverse computational paradigms and approaches. Classical solutions exhibit a worst-case time complexity of Θ(n), contrasting with the capability of quantum computation to achieve a [EQUATION] complexity using Grover search, thereby realizing a quadratic speed-up compared to classical methods. This article presents a first practical implementation of a quantum circuit tailored to address string matching, particularly focusing on binary strings. The exposition…

Speeding Up String Matching by Weak Factor Recognition

Domenico Cantone, Simone Faro, Arianna Pavone

cs.DS · 3 Jul 2017 · cited 4× · arXiv ↗ · more like this ·

String matching is the problem of finding all the substrings of a text which match a given pattern. It is one of the most investigated problems in computer science, mainly due to its very diverse applications in several fields. Recently, much research in the string matching field has focused on the efficiency and flexibility of the searching procedure and quite effective techniques have been proposed for speeding up the existing solutions. In this context, algorithms based on factors recognition are among the best solutions. In this paper, we present a simple and very efficient algorithm for string matching based on a weak factor recognition and hashing. Our algorithm has a quadratic worst-case running time. However, despite its quadratic complexity, experimental results show that our algorithm obtains in most cases the best running times when compared, under various conditions, against…

Exact Online String Matching Bibliography

Simone Faro

cs.DS · 17 May 2016 · cited 4× · arXiv ↗ · more like this ·

In this short note we present a comprehensive bibliography for the online exact string matching problem. The problem consists in finding all occurrences of a given pattern in a text. It is an extensively studied problem in computer science, mainly due to its direct applications to such diverse areas as text, image and signal processing, speech analysis and recognition, data compression, information retrieval, computational biology and chemistry. Since 1970 more than 120 string matching algorithms have been proposed. In this note we present a comprehensive list of (almost) all string matching algorithms. The list is updated to May 2016.

Efficient Algorithms for the Order Preserving Pattern Matching Problem

Simone Faro, Oğuzhan Külekci

cs.DS · 16 Jan 2015 · cited 4× · arXiv ↗ · more like this ·

Given a pattern x of length m and a text y of length n, both over an ordered alphabet, the order-preserving pattern matching problem consists in finding all substrings of the text with the same relative order as the pattern. It is an approximate variant of the well known exact pattern matching problem which has gained attention in recent years. This interesting problem finds applications in a lot of fields as time series analysis, like share prices on stock markets, weather data analysis or to musical melody matching. In this paper we present two new filtering approaches which turn out to be much more effective in practice than the previously presented methods. From our experimental results it turns out that our proposed solutions are up to 2 times faster than the previous solutions reducing the number of false positives up to 99%

ADAPTING BOYER-MOORE-LIKE ALGORITHMS FOR SEARCHING HUFFMAN ENCODED TEXTS

Domenico Cantone, Simone Faro, Emanuele Giaquinta

Artificial Intelligence · International Journal of Foundations of Computer Science · February 2012 · cited 4× · DOI ↗ · more like this ·

In this paper we propose an efficient approach to the compressed string matching problem on Huffman encoded texts, based on the BOYER-MOORE strategy. Once a candidate valid shift has been located, a subsequent verification phase checks whether the shift is codeword aligned by taking advantage of the skeleton tree data structure. Our approach leads to algorithms that exhibit a sublinear behavior on the average, as shown by extensive experimentation.

Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations

Domenico Cantone, Simone Faro, Arianna Pavone

cs.DS · 2 Dec 2018 · cited 3× · arXiv ↗ · more like this ·

Unbalanced translocations are among the most frequent chromosomal alterations, accounted for 30\% of all losses of heterozygosity, a major genetic event causing inactivation of tumor suppressor genes. Despite of their central role in genomic sequence analysis, little attention has been devoted to the problem of matching sequences allowing for this kind of chromosomal alteration. In this paper we investigate the \emph{approximate string matching} problem when the edit operations are non-overlapping unbalanced translocations of adjacent factors. In particular, we first present a $O(nm^3)$-time and $O(m^2)$-space algorithm based on the dynamic-programming approach. Then we improve our first result by designing a second solution which makes use of the Directed Acyclic Word Graph of the pattern. In particular, we show that under the assumptions of equiprobability and independence of…

Swap Matching in Strings by Simulating Reactive Automata.

Simone Faro

Artificial Intelligence · Prague Stringology Conference · 2013 · cited 3× · OpenAlex ↗ · more like this ·

Abstract. The pattern matching problem with swaps consists in finding all occurrences of a pattern P in a text T, when disjoint local swaps in the pattern are allowed. In this paper we introduce a new theoretical approach to the problem based on a reactive au-tomaton modeled after the pattern, and provide two efficient non standard simulations of the automaton, based on bit-parallelism. The first simulation can be implemented by at least 7 bitwise operations, while the second one involves only 2 bitwise operations to simulate the automaton behavior, when the input pattern satisfies particular condi-tions. The resulting algorithms achieve O(n) worst-case time complexity with patterns whose length is comparable to the word-size of the target machine.

PATTERN MATCHING WITH SWAPS IN PRACTICE

Matteo Campanelli, Domenico Cantone, Simone Faro +1 more

Artificial Intelligence · International Journal of Foundations of Computer Science · February 2012 · cited 3× · DOI ↗ · more like this ·

The Pattern Matching problem with Swaps consists in finding all occurrences of a pattern P in a text T, when disjoint local swaps in the pattern are allowed. In the Approximate Pattern Matching problem with Swaps one seeks, for every text location with a swapped match of P, the number of swaps necessary to obtain a match at the location. In this paper we devise two general algorithms for both Standard and Approximate Pattern Matching with Swaps, named CROSS-SAMPLING and BACKWARD-CROSS-SAMPLING, with a [Formula: see text] and [Formula: see text] worst-case time complexity, respectively. Then we provide efficient implementations of them, based on bit-parallelism, which achieve [Formula: see text] and [Formula: see text] worst-case time complexity, with patterns whose length is comparable to the word-size of the target machine. From an extensive comparison with some of the most effective…

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing

Simone Faro, Francesco Pio Marino, Gabriele Messina

cs.PL · 17 Mar 2025 · cited 2× · arXiv ↗ · more like this ·

Quantum computing leverages the principles of quantum mechanics to perform computations far beyond the capabilities of classical systems, particularly in fields such as cryptography and optimization. However, current quantum programming languages often require low-level implementation, posing significant barriers for many developers due to their steep learning curve and limited abstraction. In response, we introduce \textbf{Qutes}, a high-level quantum programming language designed to simplify quantum algorithm development while maintaining the flexibility required for advanced applications. By abstracting complex quantum operations and allowing intuitive expressions through high-level constructs, Qutes enables users to write efficient quantum programs without extensive knowledge of quantum mechanics or circuit design. Built upon Qiskit, Qutes translates its syntax directly into…

Prior Polarity Lexical Resources for the Italian Language

Valeria Borzì, Simone Faro, Arianna Pavone +1 more

cs.CL · July 2015 · cited 2× · arXiv ↗ · more like this ·

In this paper we present SABRINA (Sentiment Analysis: a Broad Resource for Italian Natural language Applications) a manually annotated prior polarity lexical resource for Italian natural language applications in the field of opinion mining and sentiment induction. The resource consists in two different sets, an Italian dictionary of more than 277.000 words tagged with their prior polarity value, and a set of polarity modifiers, containing more than 200 words, which can be used in combination with non neutral terms of the dictionary in order to induce the sentiment of Italian compound terms. To the best of our knowledge this is the first prior polarity manually annotated resource which has been developed for the Italian natural language.

Towards a Very Fast Multiple String Matching Algorithm for Short Patterns.

Simone Faro, M. Oğuzhan Külekçi

Artificial Intelligence · Prague Stringology Conference · 2013 · cited 2× · OpenAlex ↗ · more like this ·

Abstract. Multiple exact string matching is one of the fundamental problems in com-puter science and finds applications in many other fields, among which computational biology and intrusion detection. It turns out that short patterns appear in many in-stances of such problems and, in most cases, sensibly affect the performances of the algorithms. Recent solutions in the field of string matching try to exploit the power of the word RAM model to speed-up the performances of classical algorithms. In this model an algorithm operates on words of length w, grouping blocks of characters, and arithmetic and logic operations on the words take one unit of time. This study presents a first preliminary attempt to develop a filter based exact multiple string matching algo-rithm for searching set of short patterns by taking benefit from Intel’s SSE (streaming SIMD extensions) technology. Our…

Improved and Self-Tuned Occurrence Heuristics.

Domenico Cantone, Simone Faro

Artificial Intelligence · Prague Stringology Conference · 2013 · cited 2× · OpenAlex ↗ · more like this ·

Abstract. In this note we present three efficient variations of the occurrence heuristic, adopted by many exact string matching algorithms and firstly introduced in the well-known Boyer-Moore algorithm. Our first heuristic, called improved-occurrence heuristic, is a simple improvement of the rule introduced by Sunday in his Quick-Search algo-rithm. Our second heuristic, called worst-occurrence heuristic, achieves its speed-up by selecting the relative position which yields the largest average advancement. Fi-nally, our third heuristic, called jumping-occurrence heuristic, uses two characters for computing the next shift, whose distance allows one to maximize the average advance-ment. The worst-occurrence and jumping-occurrence heuristics tune their parameters according to the text characters ’ distribution. Experimental results show that the new proposed heuristics achieve very good…