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

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

 >= 2x2

 + X3 >= 13

и т.п.

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

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

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