Computation of Least-Conservative State-Constraint Sets for Decentralized MPC with Dynamic and Constraint Coupling