Some modified algorithms for Dijkstra's longest upsequence problem

Robert B.K. Dewar, Susan M. Merritt, Micha Sharir

Research output: Contribution to journalArticlepeer-review

Abstract

Using the techniques of "specification and transformation by parts", algorithms are derived for the longest upsequence problem. First Dijkstra's algorithm and then two new modified merge algorithms are derived and presented in detail. The merge algorithms take advantage of natural runs in the input sequence and have a worst case O(n log n) time complexity when appropriate merging techniques are used, but can be linear if long runs are present in the sequence. The first merge algorithm is logically equivalent to Dijkstra's algorithm; the second algorithm is based on the first one but uses a different merging technique. Expository remarks describe related results which evolved out of our work in programming by transformation; in particular, parallels are drawn between algorithms for the longest upsequence problem and algorithms for sorting.

Original languageEnglish
Pages (from-to)1-15
Number of pages15
JournalActa Informatica
Volume18
Issue number1
DOIs
StatePublished - Mar 1982
Externally publishedYes

Fingerprint

Dive into the research topics of 'Some modified algorithms for Dijkstra's longest upsequence problem'. Together they form a unique fingerprint.

Cite this