短完全列