7
где символ
называется квантором общности и заменяет слова «для всех».
Аналогично систему ограничений (1.3) можно представить в виде
njjx
i
...,,2,1,,0
. (1.5)
Соотношения (1.1), (1.2), и (1.3) представляют математическую модель
задачи поиска оптимального по прибыли плана выпуска продукции из
имеющихся ресурсов, или задачи оптимального использования ресурсов. При
этом неравенства (1.2) и (1.3) составляют систему ограничений, а выражение
(1.1) – целевая функция, служащая для оценки качества решения, –
формализует критерий эффективности.
В рассмотренной формализованной постановке задача поиска
оптимального по прибыли плана использования ресурсов формулируется так:
найти вектор, т.е. упорядоченный набор неотрицательных значений x
j
,
удовлетворяющий системе ограничений (1.2) и обеспечивающий максимальное
значение линейной функции Z (1.1).
В том случае, когда ЗЛП содержит всего две неизвестные величины x
1
и
x
2
, может использоваться простой и наглядный графический метод.
Если среди ограничений (1.2) встречаются как уравнения (равенства), так
и неравенства, задача линейного программирования называется общей. Если же
среди ограничений (1.2) имеются только неравенства, задача линейного
программирования называется стандартной. Задачу линейного
программирования называют канонической, если система ограничений (1.2)
содержит только уравнения.
Упорядоченный набор чисел α
1
,α
2
,...,α
n
называется решением системы,
содержащей n неизвестных, если в результате подстановки этих чисел на место
соответствующих неизвестных х
1
,х
2
,...,x
n
каждое уравнение системы
обращается в тождественное равенство.
Если система уравнений имеет хотя бы одно решение, она называется
совместной; она называется несовместной, если не имеет ни одного решения.
Совместная система называется определенной, если она имеет единственное
решение, если более одного решения – неопределенной. Именно с такими
системами уравнений приходится иметь дело в задачах оптимального
планирования.
Две системы линейных уравнений с одинаковым числом неизвестных
называются эквивалентными, если они обе несовместны или обе имеют одни и
те же решения.
В процессе решения систем линейных уравнений над системой
разрешается проводить преобразования, переводящие ее в эквивалентную
исходной. Во-первых, обе части любого уравнения системы можно умножать на
одно и то же число, не равное нулю; во-вторых, к обеим частям любого
уравнения системы можно прибавлять соответствующие части другого
уравнения системы, предварительно умноженные на произвольное число.