kmp min_expression