What Makes Mario NP-Hard? (Polynomial Reductions)