Given a sequence of positive 32-bit integers A and an integer target, determine whether there exists a subsequence of A (each element used at most once) such that, by inserting '+' or '*' between the chosen numbers and evaluating strictly from left to right (addition and multiplication have equal precedence), the resulting expression equals target. Follow-up: propose pruning techniques to accelerate the search.