Yes, upon re-reading I see that you are correct. I think there may be overlap between activities I consider part of the formulation and activities others may consider part of the solution.
To expand on my poker suggestion. When attempting to determine the probability of a hand in poker it is necessary to determine a way to represent that hand using combinations/​permutations. I have found that for certain hands this can be rather difficult as you often miss, exclude, or double count some amount of possible hands. This process of representing the hand using mathematics is, in my mind, part of the formulation of the problem; or more accurately, part of the precise formulation of the problem. In this respect, the solution is reduced to trivial calculations once the problem is properly formulated. However, I can certainly see how one might consider this to be part of the solution rather than the formulation.
Yes, upon re-reading I see that you are correct. I think there may be overlap between activities I consider part of the formulation and activities others may consider part of the solution.
To expand on my poker suggestion. When attempting to determine the probability of a hand in poker it is necessary to determine a way to represent that hand using combinations/​permutations. I have found that for certain hands this can be rather difficult as you often miss, exclude, or double count some amount of possible hands. This process of representing the hand using mathematics is, in my mind, part of the formulation of the problem; or more accurately, part of the precise formulation of the problem. In this respect, the solution is reduced to trivial calculations once the problem is properly formulated. However, I can certainly see how one might consider this to be part of the solution rather than the formulation.
Thanks for pointing that out