, Using a beam aims to reduce complexity to O(K|A|(3n − 1)) ≈ O(n) and makes inference computationally tractable in practice.
it makes inference incomplete (the parser may fail to find a solution even if it exists) and does not guarantee the solution to be optimal.