A linear space algorithm for computing a longest common increasing subsequence