Часть 5. Элементы линейного программирования Общая постановка задачи

Определение 1. Линейное программирование — наука о ме­тодах исследования и отыскания экстремальных (наибольших и наименьших) значений линейной функции, на неизвестные которой наложены линейные ограничения.

Эта линейная функция называется целевой, а ограничения, которые математически записываются в виде уравнений или неравенств, называются системой ограничений.

Определение 2. Математическое выражение целевой функ­ции и ее ограничений называется математической моделью экономической задачи.

В общем виде математическая модель задачи линейного программирования (ЛП) записывается как

при ограничениях:

где x_j — неизвестные; a_ij, b_i, c_j — заданные постоянные вели­чины.

Все или некоторые уравнения системы ограничений могут быть записаны в виде неравенств.

Математическая модель в более краткой записи имеет вид

при ограничениях:

Определение 3. Допустимым решением (планом) зада­чи линейного программирования называется вектор = (x₁, x₂,..., x_п), удовлетворяющий системе ограничений.

Множество допустимых решений образует область допус­тимых решений (ОДР).

Определение 4. Допустимое решение, при котором целевая функция достигает своего экстремального значения, называ­ется оптимальным решением задачи линейного программиро­вания и обозначается _опт.

Базисное допустимое решение (х₁, х₂,..., x_r, 0, …, 0) яв­ляется опорным решением, где r — ранг системы ограничений.

Виды математических моделей

Математическая модель задачи ЛП может быть каноничес­кой и неканонической.

Определение 5. Если все ограничения системы заданы урав­нениями и переменные x_j неотрицательные, то такая модель задачи называется канонической.

Если хотя бы одно ограничение является неравенством, то модель задачи ЛП является неканонической. Чтобы перейти от неканонической модели к канонической, необходимо в каждое неравенство ввести балансовую переменную x_n+i. Если знак неравенства ≤, то балансовая переменная вводится со знаком плюс, если знак неравенства ≥, то — минус. В целевую функ­цию балансовые переменные не вводятся.

Чтобы составить математическую модель задачи ЛП, не­обходимо:

— ввести обозначения переменных;

— исходя из цели экономических исследований, составить целевую функцию;

• учитывая ограничения в использовании экономических показателей задачи и их количественные закономернос­ти, записать систему ограничений.

Для рассмотрения решения задач линейного программиро­вания дадим некоторые понятия аналитической геометрии в n-мерном пространстве.

Глава 19. Элементы аналитической геометрии Вn-мерном пространстве

19.1. Основные понятия и определения

Дано n-мерное пространство, точки которого имеют коор­динаты (x₁, x₂, . . . ,x_п).

Определение 1. Множество точек n-мерного пространства, координаты которых удовлетворяют уравнению

где хотя бы одно из чисел а₁, a₂, ..., a_n отлично от нуля, на­зывается гиперплоскостью п-мерного пространства.

В векторной форме оно записывается следующим образом:

где = (a₁, a₂,..., a_n), = (x₁, x₂,..., x_n).

Даны две гиперплоскости

Определение 2. Множество точек n-мерного пространства, координаты которых одновременно удовлетворяют каждому уравнению системы, называется пересечением гиперплоскос­тей.

Дано неравенство

Эта зависимость определяет полуплоскость двухмерного про­странства, лежащую по одну сторону от прямой

которая называется граничной прямой.

Определение 3. Множество точек n-мерного пространства, координаты которых удовлетворяют неравенству

называется полупространством n-мерного пространства, рас­положенным по одну сторону от гиперплоскости

Определение 4. Множество точек n-мерного пространства, содержащее вместе с любыми двумя точками A и В и все точ­ки отрезка АВ, называется выпуклым телом (областью, фи­гурой).

Примеры плоских выпуклых фигур приведены на рис. 19.1.

Примеры невыпуклых фигур приведены на рис. 19.2.

Дадим некоторые определения выпуклой области.

Определение 5. Точка А называется внутренней точкой вы­пуклой области, если в сколь угодно малой окрестности этой точки содержатся только точки этой области.

Определение 6. Точка В называется граничной точкой вы­пуклой области, если в сколь угодно малой окрестности этой точки содержатся как точки данной области, так и не принад­лежащие ей (рис. 19.3).

Определение 7. Точка С называется угловой точкой вы­пуклой области, если она является граничной и не лежит внутри отрезка, соединяющего две другие точки этой облас­ти (рис. 19.3).

Определение 8. Если область включает все свои граничные точки, то она называется замкнутой.

Выпуклая область может быть ограниченной и неограни­ченной.

Определение 9. Ограниченной называется область, если су­ществует такое число М > 0, что радиус-вектор , соединяю­щий начало координат с любой точкой области, по абсолютной величине меньше М, т.е. || ≤ М.

Для этой области все ее точки находятся на конечном рас­стоянии от начала координат.

Определение 10. Если найдутся точки области, сколь угод­но удаленные от начала координат, то область называется не­ограниченной.

Определение 11. Выпуклая замкнутая ограниченная область, имеющая конечное число угловых точек, называется вы­пуклым п-мерным многогранником.

Определение 12. Выпуклая замкнутая неограниченная об­ласть, имеющая конечное число угловых точек, называется вы­пуклой п-мерной многогранной областью.

Определение 13. Линейная комбинация S векторов

в которой коэффициенты t_i удовлетворяют условиям

называется выпуклой линейной комбинацией.

Определение 14. Пересечением выпуклых областей называ­ется множество точек, являющееся общей частью этих облас­тей.

ТЕОРЕМА 1. Пересечение выпуклых областей есть выпуклая область.

ТЕОРЕМА 2. Множество точек выпуклого п-мерного много­гранника совпадает с множеством любых выпуклых линейных комбинаций его угловых точек.