心急的C小加 (求LDS) 证明

题目

题意: 给定n个元素，每个元素有x和y两种属性。元素A < 元素B的定义为: A.x = seq2[last].我们构造O’,O’为O将x从seq2结尾交换到seq1. |O’| = |O|.说明O’不必O差，即O’