[bluesbassman]

By "scalable," do you mean the solution steps increase in polynomial time with increasing number of categories and items per category?

Also, can we make the following assumption:

Given any two items X and Y within a group, does

carlories(X) >= calories(Y) imply price(X) >= price(Y)?