魔法动物园问题涉及一个动物园，里面有狮子、狼和山羊。狮子吃了山羊后会变成狼，而狼吃了山羊会变成狮子。现需考虑初始数量，分析动物园中可能的最大稳定种群。观察表明，只有由1个物种组成的种群才是稳定的。每个物种有2个“膳食”，数量减少1，还有1种膳食使数量增加1。选择合适的膳食组合可最大化山羊、狼或狮子的数量，同时保持动物园中仅有一种动物。该问题可表述为线性规划问题，寻找最大数量的狮子时，形式为：Max startLeeuwen + WEG - LEW，需满足条件：tstartGeitentt=tWEG + LEG -。
