game state validation

How can I efficiently check whether one unit arrangement can become another in a single turn?

I have a map represented as a graph of connected regions. For each region, I know how many units it contains in the starting state and in the…