Corrected decision/optimization/feasibility problem notions in the formal definition.
Added a paragraph explaining why the reduction for the (n, m, 1) case is general, and why this matters.