There isn't really anything to prove as having "best possible minimum number of division" is a matter taste. It mostly depending on the assumptions you are willing to make.
There is a tradeoff between the amount of models and individual model accuracy. This is due to the approximation-estimation error tradeoff discussed later.
Practically:
- Decide ahead of time on possible divisions of the datasets.
- Choose between the divisions by cross validation.
- A model for a division will be composed of submodels, one for each group in the division. Each submodel is trained using all training data in all the datasets of the group.
Approximation-Estimation Error Tradeoff
In general, since you are mostly interested in a specific model, I think the right way to consider your performance is by the standard decomposition of the generalization error into approximation and estimation:
$$
Err_{gen} = Err_{app} + Err_{est}
$$
Where $Err_{app}$, or approximation error, is the lower error possible in the model, as no one knows if your model is able to actually represent the data. The estimation error second error is how close can you get to the best model.
You can lower $Err_{app}$ by choosing a better model. Your intuition did take this error into account, as you tried to make the model able to capture all the data.
However, dividing the data into smaller dataset, each for a different algorithm, will cause each algorithm to be trained by less data. Usually, the probability to achieve a bad classifier, with estimation error bigger than a fixed value, shrinks exponentially with the amount of data.
So we have a tradeoff here - the more models, the less approximation error, but bigger estimation error (as we train on less data). While we could calculate the VC dimension of the different models, we can't know ${Err}_{app}$, unless we have infinite data. Thus, it seems we can't calculate which division minimizes ${Err}_{gen}$.
However, we can empirically decide which amount seems to gives the best classifier by cross validation. The possible divisions should be thought of ahead of time, as adaptive data analysis is dangerous. Finally, note that if you plan to compare many divisions, we should ensure we have enough data - either by using bootstrap or by gather more data (better).