คุณสมบัติของโปรแกรม · ความยาวลำดับย่อยเพิ่มขึ้นอย่างเคร่งครัด

from bisect import bisect_left

def increasing_length(values):
    values = tuple(values)
    if len(values) > 1000 or any(type(v) is not int for v in values):
        raise ValueError("values.integer")
    tails = []
    for value in values:
        position = bisect_left(tails, value)
        if position == len(tails):
            tails.append(value)
        else:
            tails[position] = value
    return len(tails)