Added descriptions to the formal problem definition for each of the parameters in the instances and the solutions.
Added a completely worked out example for the formal definition.