Я свел свою проблему (алгоритм разметки таблицы) к следующей проблеме:

Представьте, у меня есть N переменных X1, ИКС2, ..., ИКСN, У меня также есть некоторое (неопределенное) количество неравенств, например:

X1 > = 2
x2$6, ..., ИКС7$
и т.п.

Каждое неравенство представляет собой сумму одной или нескольких переменных и всегда сравнивается с константой с помощью оператора> =. Я не могу заранее сказать, сколько неравенств у меня будет каждый раз, но все переменные должны быть неотрицательными, так что это уже одно для каждой переменной.

Как решить эту систему таким образом, чтобы значения переменных были как можно меньше?

Добавлено: Прочитав статью в Википедии, я понял, что забыл упомянуть, что переменные должны быть целыми числами. Думаю, это делает его NP-сложным, а?