, Volume 26, Issue 2, pp 290–309

Fast Algorithms to Enumerate All Common Intervals of Two Permutations

  • T. Uno
  • M. Yagiura

DOI: 10.1007/s004539910014

Cite this article as:
Uno, T. & Yagiura, M. Algorithmica (2000) 26: 290. doi:10.1007/s004539910014


Given two permutations of n elements, a pair of intervals of these permutations consisting of the same set of elements is called a commoninterval . Some genetic algorithms based on such common intervals have been proposed for sequencing problems and have exhibited good prospects. In this paper we propose three types of fast algorithms to enumerate all common intervals: (i) a simple O(n2) time algorithm (LHP), whose expected running time becomes O(n) for two randomly generated permutations, (ii) a practically fast O(n2) time algorithm (MNG) using the reverse Monge property, and (iii) an O(n+K) time algorithm (RC), where K\((\leq {n \choose 2})\) is the number of common intervals. It will also be shown that the expected number of common intervals for two random permutations is O(1) . This result gives a reason for the phenomenon that the expected time complexity O(n) of the algorithm LHP is independent of K . Among the proposed algorithms, RC is most desirable from the theoretical point of view; however, it is quite complicated compared with LHP and MNG. Therefore, it is possible that RC is slower than the other two algorithms in some cases. For this reason, computational experiments for various types of problems with up to n=106 are conducted. The results indicate that (i) LHP and MNG are much faster than RC for two randomly generated permutations, and (ii) MNG is rather slower than LHP for random inputs; however, there are cases in which LHP requires Ω(n2) time, but MNG runs in o(n2) time and is faster than both LHP and RC.

Key words. Common intervals of permutations, Genetic algorithm, Linear time algorithm, Random permutations, Monge property, Subtour exchange crossover.

Copyright information

© 2000 Springer-Verlag New York Inc.

Authors and Affiliations

  • T. Uno
    • 1
  • M. Yagiura
    • 2
  1. 1.Department of Industrial Engineering and Management, Tokyo Institute of Technology, 2-12-1 Oh-okayama, Meguro-ku, Tokyo 152-0033, Japan.
  2. 2.Department of Applied Mathematics and Physics, Graduate School of Informatics, Kyoto University, Kyoto 606-8501, Japan.