Мммм.
Ну что тут можно сказать.
Или линейное программирование — тут больших проблем нет — записать мат
модель (и "правила" по которым она конструируется) — а дальше
перемалывать и перемалывать — получится ну очень оптимально.
С другой стороны — можно взять какую-нить эверистику, которая показывает
неплохие результаты (что-нить аля "жадный алгоритм")