merge sort.
longest non-increasing sequence
fix the binary_search()
LIS