Counting rather than optimising

• A

  That every arrangement is produced exactly once, with no double counting

• B

  That optimal substructure holds here, exactly as it does for an optimisation problem

• C

  That the count fits in a machine integer without overflowing

• D

  That the arrangements can be listed in order, so they can be numbered