Arrow Research search

Author name cluster

Livio Colussi

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

4 papers
2 author rows

Possible papers

4

TCS Journal 2011 Journal Article

The convergence classes of Collatz function

  • Livio Colussi

The Collatz conjecture, also known as the 3 x + 1 conjecture, can be stated in terms of the reduced Collatz function R ( x ) = ( 3 x + 1 ) / 2 h (where 2 h is the larger power of 2 that divides 3 x + 1 ). The conjecture is: Starting from any odd positive integer and repeating R ( x ) we eventually get to 1. G k, the k -th convergence class, is the set of odd positive integers x such that R k ( x ) = 1. In this paper an infinite sequence of binary strings s h of length 2 ⋅ 3 h − 1 (the seeds) are defined and it is shown that the binary representation of all x ∈ G k is the concatenation of k periodic strings whose periods are s k, …, s 1. More precisely x = s k, d k, 1 [ n 1 ) … s 1, d k, k [ n k ) where s k, d k, i [ n i ) is the substring of length n i that starts in position d k, i in a sufficiently long repetition of the seed s i. Finally, starting positions d k, i and lengths n i for which s k, d k, 1 [ n 1 ) … s 1, d k, k [ n k ) ∈ G k are defined, thus giving a complete characterization of classes G k.

TCS Journal 1996 Journal Article

How the character comparison order shapes the shift function of on-line pattern matching algorithms

  • Livio Colussi
  • Laura Toniolo

String matching is the problem of finding all occurrences of a string …[0… m - 1] of length m called a pattern, in a longer string …[0…n - 1] of length n called a text. Several string matching algorithms have been designed to solve the problem in linear time; most of them work in two steps, called pattern preprocessing and text search step. The paper addresses the definition and computation of the shift function in the pattern preprocessing step of on-line string matching algorithms. The shift function depends essentially on the order the pattern characters are compared with the corresponding text characters. We consider a family … of algorithms that do not change the character comparison order J during execution and we present a uniform definition of shift function δ J for such algorithms via a function iminJ. The definition allows one to compute δ J in O(m log log m) time in the worst case, given iminJ, but sufficient conditions to compute δ J in O(m) time are provided. Computing iminJ requires O(m 2) comparisons in general. We introduce the class of compact orders (which is the generalization of Knuth-Morris-Pratt, Boyer-Moore and Crochemore-Perrin character comparison orders) and we give algorithms to compute both function iminJ and shift function δ J in O(m) time for all compact orders. We show that given the order J and the pattern … there exists a set C of equivalent orders such that the function iminK can be computed in linear time given iminJ for all orders K ϵ C. Moreover, we characterize two orders in the set C that respectively minimize and maximize the values of the shift function and we show that for both those orders the shift function can be computed in linear time given iminJ.

I&C Journal 1991 Journal Article

Correctness and efficiency of pattern matching algorithms

  • Livio Colussi

A few lines pattern matching algorithm is obtained by using the correctness proof of programs as a tool to the design of efficient algorithms. The new algorithm is obtained from a brute force algorithm by three refinement steps. The first step leads to the algorithm of Knuth, Morris, and Pratt that performs 2n character comparisons in the worst case and (1 + α)n comparisons in the average case (0<α≤0. 5). Two more steps give a faster algorithm that performs 1. 5n character comparisons in the worst case and is sublinear on a random text for all patterns. Moreover, those bounds are less than the corresponding bounds of the Boyer and Moore algorithm because the Boyer and Moore algorithm performs more than 2n character comparisons in the worst case and because there exist some patterns that require more than n character comparisons on a random text. However, if we consider the average on all the patterns of a given length, then on a random text the Boyer and Moore algorithm is sublinear too, with better performance the longer the pattern gets.

FOCS Conference 1990 Conference Paper

On the Exact Complexity of String Matching (Extended Abstract)

  • Livio Colussi
  • Zvi Galil
  • Raffaele Giancarlo

The maximal number of character comparisons made by a linear-time string matching algorithm, given a text string of length n and a pattern string of length m over a general alphabet, is investigated. The number is denoted by c(n, m) or approximated by (1+C)n, where C is a universal constant. The subscript 'online' is added when attention is restricted to online algorithms, and the superscript '1' is added when algorithms that find only one occurrence of the pattern in the text are considered. It is well known that n >

v2026.09.13