Single-state problem formulation