Аналитический симплекс-метод

Аналитические методы решения задачи

Линейного программирования

Решение основной задачи линейного программирования графическим методом является наглядным в случае двух и даже трех переменных и для случаев, когда система ограничений задана в виде неравенств. Однако, такое графическое построение даже для случая трех переменных, как мы убедились, нелегко осуществимо и требует больших затрат времени, усилий воображения. Для случая же большего числа переменных графический метод становится невозможным. Для решения задач линейного программирования при большом количестве переменных удобнее пользоваться не графическими, а расчетными аналитическими методами, тем более, что для решения на вычислительных машинах эти методы более пригодны.

Для решения задач линейного программирования в общем случае разработано много методов, которые можно разделить:

1) по способу решения задачи на две группы:

Приближенные методы, которые гарантируют приближенное решение задачи. Они просты и хорошо приспособлены к обычным вычислениям (индексный метод, метод аппроксимации Фогеля и т.д.).

Конечные методы гарантируют нахождение точного решения за конечное число шагов; Конечные методы, в свою очередь, можно разделить на три группы: последовательного улучшения плана (симплекс- метод); последовательного уточнения оценок; последовательного сокращения невязок.

2) по виду решаемых задач на две группы:

универсальные, применяемые для решения широкого класса задач линейного программирования (последовательного улучшения плана; метод разрешающих множителей академика Л.В. Канторовича) и

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

При использовании вычислительных машин универсальные методы дают возможность решать задачи линейного программирования общего вида с сотнями ограничений и практически любым числом переменных, а задачи специального вида – с тысячами ограничений (способы часто не хранятся в памяти, а воспроизводятся алгоритмически).

Среди универсальных методов нахождения оптимального решения наибольшее распространение приобрел метод последовательного улучшения допустимого решения (МПУ), имеющий много вычислительных реализаций: симплексный метод Данцига, метод обратной матрицы или модифицированный симплекс-метод, мультипликативный метод, метод разложения для задач блочной структуры, метод потенциалов для транспортной задачи и др.

Аналитический симплекс-метод.

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

Пусть имеем систему линейных ограничений вида (3.2), заданных в виде равенств. Если ограничительные условия, либо часть ограничительных условий задана неравенствами, их необходимо привести к каноническому виду, то есть только к уравнениям путем введения, так называемых дополнительных (или балансовых, или выравнивающих) переменных.

Так как система (3.2) содержит m уравнений с n неизвестными величинами, то имеются r = n - m переменных (например, x₁, x₂,..., x_r), которые можно выбрать в качестве свободных, а оставшиеся m переменных (например, x_r+1, x_r+2,..., x_n) являются базисными переменными. Базисные переменные можно выразить через свободные переменные (по методу Джордана-Гаусса). Получим:

х _r+1 = a'_r+1,1 x ₁ + a'_r+1,2 · x ₂ +... + a'_r+1,p · x _p +... + a'_r+1,r · x _r + b'_r+1

x _r+2 = a'_r+2,1 · x ₁ + a'_r+2,2 · x ₂ +... + a'_r+2,p · x _p +... + a'_r+2,r · x _r + b'_r+2

....... (3.12)

x _q = a'_q,1 · x ₁ + a'_q,2 · x ₂ +... + a'_q,p x _p +... + a'_q,r · x _r + b'_q

.......

x _n = a'_n,1 x ₁ + a'_n,2 · x ₂ +... + a'_n,p · x _p +... + a' _n,r · x _r + b'_n

где b'_r+1≥ 0, b'_r+2 ≥ 0,_..., b'_q ≥ 0, _..., b'_n ≥ 0

Система ограничений вида (3.12) называется системой, приведенной к единичному базису (так как матрица коэффициентов при базисных переменных является единичной матрицей).

Подставляя в линейную функцию Ф вида (3.1) вместо базисных переменных их выражения через свободные из системы (3.12), получим

Ф = Г_o + Г₁ • x ₁ + Г₂ • x ₂ +... + Г_r • x _r (3.13)

Теперь, полагая все свободные переменные равными нулю, то есть,

x ₁ = x ₂ =... = x _r = 0, найдем значения базисных переменных:

x _r+1 = b'_r+1, x _r+2 = b'_r+2,..., x _n = b' _n

Полученное таким путем решение системы (0,..., 0, b'_r+1, b'_r+2,_..., b'_n) будет неотрицательным. Оно называется базисным решением (определение 3.2). Для полученного базисного решения значение целевой функции Ф_б = Г_o. Возникает вопрос: является ли полученное опорное решение Ф_б = Г_o минимальным?

На этот вопрос дает ответ анализ коэффициентов при свободных переменных в выражении (3.13) и в системе уравнений (3.12). При изменении значения какой-либо из свободных переменных относительно ее нулевого значения значение целевой функции Ф будет либо возрастать относительно Го (если коэффициент при свободной переменной положителен), либо убывать (если коэффициент отрицателен). При этом на величину изменения значения рассматриваемой переменной накладываются ограничения системой (3.12), исходя из условия неотрицательности переменных, входящих в систему, что определяется коэффициентами при этой переменной в данной системе.

В зависимости от значений коэффициентов при свободных переменных в системе (3.12) и в выражении целевой функции (3.13) возможны три случая:

I. Все коэффициенты при свободных переменных в выражении (3.13) неотрицательны. Тогда для любого неотрицательного решения системы (3.12) имеем значение линейной функции Ф ≥ Г_о. Следовательно, Г_о = min Ф и базисное решение системы является оптимальным, те есть задача решена.

II. Имеется свободная переменная, коэффициент при которой в выражении (3.13) отрицателен, а все коэффициенты при этой переменной в системе уравнений (3.12) - неотрицательны. То есть диапазон изменения этой переменной системой (3.12) не ограничен: она может увеличиваться до + ∞. С ростом значения этой переменной значение Ф будет неограниченно уменьшаться. В этом случае min Ф = - ∞, то есть, задача решения не имеет.

III. Имеется свободная переменная, коэффициент при которой в выражении (3.13) отрицателен, но и среди коэффициентов при этой переменной в системе уравнений (3.12) также есть отрицательные. То есть, рассматриваемая переменная может быть увеличена только до определенной величины: пока базисная переменная, в уравнение которой рассматриваемая свободная переменная входит с отрицательным коэффициентом, не станет равной нулю. (Дальнейшее увеличение свободной переменной приведет к тому, что соответствующая базисная переменная станет отрицательной, что недопустимо из условия (3.3)).

В этом случае осуществляется процедура поиска оптимального решения с применением симплексного метода. Решение задачи с помощью симплексного метода распадается на ряд шагов, заключающихся в том, что от данного базиса (б) переходим к другому базису (б') с таким расчетом, чтобы значение Ф уменьшалось или, по крайней мере, не увеличивалось, то есть, Ф_б' ≤ Ф_б. эту процедуру осуществляем до тех пор, пока не достигнем minФ.

Вычислительная процедура поиска minФ предусматривает направленный перебор угловых точек многогранника решений - области допустимых решений (ОДР) задачи линейного программирования и отыскание среди них оптимального решения за конечное число операций.

Таким образом, если задача подпадает под 3-й случай (среди коэффициентов при переменных в выражении ЦФ (3.13) есть отрицательные, но и среди коэффициентов при этой переменной в уравнениях (3.12) также есть отрицательные), выбирают другое базисное решение, то есть, в качестве свободных выбирают другой набор переменных, например, x_2, x _3,..., x _r, x _r+1, а в качестве базисных– оставшиеся x_1, x _r+2, …, x _n, которые выражают через новые свободные переменные. Получим новую систему уравнений вида (3.12).

Целевую функцию также выражают через новые свободные переменные

Ф = Г'_o + Г'₂ • x₂ + Г'₃ • x₃ +... + Г'_r • x_r + Г'_r+1 • x_r+1 (3.14)

Далее, проводят анализ коэффициентов при свободных переменных в выражении (3.14).

Если все коэффициенты при переменных в этой линейной функции положительны (случай I), то новое решение Ф = Г'_о является оптимальным. Если среди коэффициентов в (3.14) есть отрицательные, то либо задача не имеет решения (случай II), либо выбирается следующий набор свободных переменных (случай III) и повторяют цикл анализа. Процедура улучшения решения продолжается до тех пор, пока не будет найдено оптимальное решение, обращающее Ф в минимум, то есть, до тех пор, пока задача не подпадет под 1-ый случай, или пока не выяснится, что оптимального решения не существует, то есть задача не подпадет под 2-ой случаи.

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

Если задача линейного программирования подпадает под 3-ий случай, то переход к новому базису осуществляется следующим образом. Свободная переменная, входящая в выражение целевой функции (3.13) или (3.14) с отрицательным коэффициентом, переводится в базисные. Вместо нее в свободные переводится та базисная переменная, в уравнение которой в системе вида (3.12) рассматриваемая свободная переменная входит с отрицательным коэффициентом.

Если свободная переменная, переводимая в базисные, входит с отрицательными коэффициентами в несколько уравнений системы ограничений вида (3.12), то уравнение, базисная переменная которого раньше обращается в нуль, выбирается в качестве разрешающего, что определяется по величине градиента изменения свободной переменной, то есть по величине отношения b_i/a_ip. Уравнение, соответствующее наименьшему значению данного градиента, то есть min(b_i/a_ip), является разрешающим и базисная переменная, соответствующая данному уравнению, переводится в свободные.

Напомним, что мы рассматривали задачу линейного программирования, связанную с нахождением минимального значения целевой функции. В задачах, в которых требуется определить максимальное значение целевой функции, анализ сводится к определению переменных, входящих в выражения целевой функций вида (3.13) или (3.14) с положительными коэффициентами, что приводит к увеличению значения линейной функции относительно Г_о и Г’_о. В остальном подход к решению задачи сохраняется аналогичным рассмотренному.

Таким образом, условием оптимальности в задаче на maxФ является отсутствие положительных коэффициентов при свободных переменных в выражении целевой функции, в задаче на minФ – отсутствие отрицательных коэффициентов при этих переменных.

Примечания.

1. При решении задач линейного программирования симплексным методом возникает вопрос: какие переменные выбрать в качестве базисных, какие в качестве свободных?

Существует следующее правило: любые m переменных m линейных уравнений с n переменными (m<n) называются базисными (или основными), если определитель матрицы коэффициентов при них отличен от нуля, то есть, базисный минор матрицы А отличен от нуля.

Однако, при выборе базисных переменных на первом шаге (итерации) необязательно составлять определитель из их коэффициентов и проверять, равен ли он нулю. Если система ограничительных уравнений совместна и уравнения линейно независимы, достаточно воспользоваться следующим правилом: в качестве основных (базисных) переменных на первом шаге следует выбрать (по возможности) такие m переменных, каждая из которых входит только в одно из m уравнений системы ограничений, при этом нет таких уравнений системы, в которые не входит ни одна из этих переменных.

2. Первоначальное базисное решение может оказаться недопустимым, в этом случае, не проводя проверку оптимальности решения, переводим в базисные переменные одну из тех свободных переменных с положительным коэффициентом, которые находятся в уравнении с отрицательным свободным членом (разрешающее уравнение для данного случая).

Если в этом уравнении несколько свободных переменных с положительными коэффициентами, выбираем из них ту, которая делает неотрицательным базисную переменную в этом уравнении и при этом базисные переменные в остальных уравнениях сохраняют свои неотрицательные значения.

3. Если исходное базисное решение является допустимым, то в процессе применения симплексного метода недопустимых решений появиться не может. Если они появились, это свидетельствует о наличии ошибок.

4. Выбор свободной переменной, переводимой в базисные на последующих шагах, не подчиняется какому-то правилу. Рекомендуется выбирать ту свободную переменную, которая имеет больший по абсолютной величине коэффициент в выражении целевой функции.

Идею симплексного метода проследим на конкретном примере.

********************

Пример 3.6. Минимизировать линейную функцию Ф = x₁ + x₂ + x₃ → min

при ограничениях 7ּx₁ + 2ּx₂ + 9ּx₃ ≥ 1

2ּx₁ + 9ּx₂ ≥ 1

9ּx₁ + 11ּx₃ ≥ 1

******************** Р Е Ш Е Н И Е ********************

Задача дана в стандартном виде (система ограничений дана в виде неравенств). Приведем ее к каноническому виду, то есть систему ограничений представим в виде уравнений, для чего в неравенства введем фиктивные переменные z₁, z₂, z₃. Получим систему уравнений:

7ּx₁ + 2ּx₂ + 9ּx₃ - z₁ = 1,

2ּx₁ + 9ּx₂ - z₂ = 1, (3.6.1)

9ּx₁ + 11x₃ - z₃ =1.

Целевая функция Ф сохранит вид: Ф = x₁ + x₂ + x₃.

Имеем 3 уравнения с 6-ю неизвестными, 3 из них (например, x₁, x₂, x₃) выберем в качестве базисных. Оставшиеся переменные (z₁, z₂, z₃) - в качестве свободных. Базисные переменные выразим через свободные:

x₁ = 1/20 - 99/80·z₁ + 11/40·z₂ + 81/80·z₃

x₂ = 1/10 + 11/40·z₁ + 1/20·z₂ + 9/40·z₃ (3.6.2)

x₃ = 1/20 + 81/80·z₁ - 9/40·z₂ - 59/80·z₃

целевую функцию также выразим через свободные:

Ф = 1/5 + 1/20·z₁ + 1/10·z₂ + 1/2·z₃ (3.6.3)

Приравняем свободные переменные нулю, z₁=z₂=z₃=0. Получим первое базисное решение Х₁ = (1/20; 1/10; 1/20; 0; 0; 0) – оно допустимое (содержит только неотрицательные компоненты). При этом Ф₁ = 1/5.

В выражении (3.6.3) коэффициенты при всех свободных переменных положительны – условие оптимальности выполнено. Значит, любое увеличение z₁, z₂, z₃ сверх нуля может привести только к увеличению функции Ф, а мы хотим, чтобы она была минимальна. Задача подпадает под первый случай. Следовательно, первое допустимое базисное решение является оптимальным.

Ответ: minФ = 1/5 при Х_опт = (1/20; 1/10; 1/20; 0; 0; 0).

********************

Пример 3.7. Максимизировать линейную функцию Ф = x₂ + x₃ → max

при ограничениях: x₁ - x₂ + x₃ = 1,

x₂ - 2·х₃ + х₄ = 2.

******************** Р Е Ш Е Н И Е ********************

Задача дана в каноническом виде. Система уравнений - ограничений совместна, так как ранги матрицы системы уравнений и расширенной матрицы одинаковы и равны 2. Следовательно, две переменные можно принять в качестве свободных, две другие переменные - в качестве базисных.

Шаг 1. Примем: базисные - x₁, x₄, свободные - x₂ и х₃.

Выразим базисные переменные через свободные

x₁ = 1 + x₂ - x₃; (3.7.1)

x₄ = 2 - x₂ + 2·x₃;

 

Целевая функция уже выражена через x₂ и x₃, то есть, сохранит свой вид:

Ф = x₂ + x₃ (3.7.2)

Приравняем свободные переменные нулю (х₂ = х₃= 0). При этом базисные переменные будут равными х₁=1, х₄= 2. Получим первое базисное решение Х₁=(1; 0; 0; 2), оно допустимое. При этом Ф₁= 0. Обе свободные переменные в целевую функцию входят с положительными коэффициентами (задача на max). Следовательно, условие оптимальности не выполняется: увеличения Ф в выражении (3.7.2) можно достичь при увеличении, например, значения х₃, (x₂ при этом остается равным нулю). Свободную переменную х₃ переведем в базисные. Переменная x₃ входит с отрицательным коэффициентом в первое уравнение системы (3.7.1), откуда видно, что х₃ можно увеличивать до 1 (из условия х₁≥0). Во второе уравнение x₃ входит с положительным коэффициентом, то есть 2-е уравнение не ограничивает увеличение переменной x₃. Следовательно, первое уравнение является разрешающим, на базе которого осуществляем переход к новому базису: переменную x₁ переведем в свободные, х₃ - в базисные.

Шаг 2. Теперь выберем: базисные - x₃, x₄; свободные - x₁ и х₂.

Выразим новые базисные переменные х₃, x₄ через новые свободные х₁, х₂. Получим: x₃ = 1 - x₁ + x₂;

x₄ = 4 - 2·x₁ + x₂; (3.7.3)

целевая функция примет вид

Ф = х₂ + 1 - х₁ + х₂ = 1 - x₁ + 2·x₂ (3.7.4)

Как видно из (3.7.4), условие оптимальности не выполнено: увеличение Ф возможно при увеличении х₂. В оба уравнения системы (3.7.3) х₂ входит с положительными коэффициентами, то есть увеличение переменной системой уравнений (3.7.3), не ограничено. Таким образом, х₂ может принимать все большие положительные значения, то есть, х₂ → + ∞, при этом Ф → + ∞. Следовательно, maxФ = + ∞. Задача подпадает под второй случай: функция Ф не ограничена сверху, оптимального решения не существует.

Ответ: Ф_mах = + ∞. Задача решения не имеет.

********************

Пример 3.8. Минимизировать линейную функцию Ф = x₁ + x₂ + x₃ → min

при ограничениях 8·x₁ + 4·x₂ + x₃ ≥ 1

2·x₁ + 5·x₂ + 7·x₃ ≥ 1 4·x₁ + 6·x₂ + 3·x₃ ≥ 1

******************** Р Е Ш Е Н И Е ********************

Задача дана в стандартном виде. Для применения симплексного метода приведем ее к каноническому виду. Чтобы избавиться от знаков неравенств, введем фиктивные переменные z₁, z₂, z₃. Ограничительные условия запишутся в виде: 8·x₁ + 4·x₂ + x₃ - z₁ = 1

2·x₁ + 5·x₂ + 7·x₃ - z₂ = 1 (3.8.2)

4·x₁ + 6·x₂ + 3·x₃ - z₃ = 1

а целевая функция сохранит вид Ф = x₁ + x₂ + x₃.

Ранг матрицы этой системы равен 3, число переменных равно 6, количество свободных переменных равно r = n-m = 3.

Шаг 1. Выберем в качестве свободных переменные z₁, z₂, z₃, в качестве базисных - x₁, x₂, x₃, которые выразим через свободные. Получим:

x₁ = 10/136 + 27/136·z₁ + 6/136·z₂ - 23/136·z₃,

x₂ = 12/136 - 22/136·z₁ - 20/136·z₂ + 54/136·z₃, (3.8.3)

x₃ = 8/136 + 8/136·z₁ + 32/136·z₂ - 32/136·z₃,

Подставив эти выражения для x₁, x₂, x₃ в целевую функцию, получим

Ф = 30/136 + 13/136 ·z₁ + 18/136 ·z₂ - 1/136 ·z₃ (3.8.4)

Приравняем значения свободных переменных нулю z₁ = z₂ = z₃ = 0. Получим первое базисное решение Х₁ = (10/136; 12/136; 8/136; 0; 0; 0)- оно допустимое. При этом Ф₁ = 30/136.

В выражение (3.8.4) свободная переменная z₃ входит с отрицательным коэффициентом, следовательно, условие оптимальности не выполнено. Переменную z₃ переведем в базисные. В системе (3.8.3) есть уравнения (1-ое и 3-е), в которые переменная z₃ входит с отрицательными коэффициентами, ограничивающими увеличение значения z₃. Задача подпадает под третий случай. То есть, увеличение z₃ надо производить осторожно, чтобы величины x₁ и x₃, зависящие от z₃, не стали при этом отрицательными.

Определим значения градиента изменения свободной переменной z₃, который вычисляется отношением значения свободного члена уравнения к величине коэффициента при данной переменной. Так, для первого уравнения значение градиента переменной z₃ будет равно gr₁ = 10/136:23/136 = 10/23 ≈ 0,5. Для третьего уравнения - gr₃ = 8/136:32/136 = 8/32 =0,25. Третье уравнение, имеющее меньшее значение градиента, будет разрешающим. Базисную переменную x₃, соответствующую этому уравнению переведем в свободные.

Шаг 2. Переменные x₃ и z₃ меняем местами, то есть, x₃ → в свободные, z₃ → в базисные. Теперь выберем: базисные переменные - x₁, x₂, z₃ , свободные - z₁, z₂, x₃. Новые базисные переменные выразим через свободные. Получим:

x₁ = 1/32 + 5/32·z₁ - 4/32·z₂ + 23/32·x₃,

x₂ = 6/32 - 2/32·z₁ + 8/32·z₂ - 54/32·x₃, (3.8.5)

z₃ = 8/32 + 8/32·z₁ + z₂ - 136/32·x₃,

Целевая функция примет вид:

Ф = 7/32 + 3/32·z₁ + 4/32·z₂ +1/32·x₃ (3.8.6)

Приравняв нулю свободные переменные z₁,z₂, x₃ получим второе допустимое базисное решение Х₂ = (1/32; 6/32; 0; 0; 0; 8/32). При этом Ф₂ = 7/32.

В выражение (3.8.6) все свободные переменные входят с положительными коэффициентами, то есть, условие оптимальности выполнено (любое увеличение величин z₁, z₂, x₃ сверх их предполагаемых нулевых значений может только увеличить значение целевой функции Ф относительно Ф₂). Задача на минимизацию Ф подпадает под первый случай. Следовательно, оптимальное решение задачи найдено; второе допустимое решение является оптимальным.

Ответ: minФ = 7/32 при Х_опт = (1/32; 6/32; 0; 0; 0; 8/32).

Симплекс-таблицы

Оказывается, производя расчеты по симплексному методу, нет необходимости выписывать все вычисления столь подробно, как мы рассматривали в предыдущем разделе, производить громоздкие преобразования системы линейных уравнений. Весь процесс можно записать в виде последовательности однотипно заполняемых таблиц, содержащих коэффициенты при переменных, причем каждому шагу будет соответствовать переход к следующей таблице.

Переход от одного базиса к другому при этом сводится к пересчету коэффициентов в таблицах, что осуществляется по чисто формальным правилам, хорошо приспособленным к тому же для решения на ЭВМ.

Пусть имеем систему ограничений вида (3.2), в которой r = n - m переменных (x₁,..., x_r) являются свободными, а оставшиеся m переменных (x_r+1, x_r+2,..., x_n) - базисными. Выразив базисные переменные через свободные, приведем систему к единичному базису, но запишем в виде, несколько отличном от системы (3.12) в том смысле, что все переменные (и свободные, и базисные) запишем в левой части, а в правой части - только свободные члены.

То есть в виде

x _r+1 – a _r+1,1 · x₁ - a _r+1,2 · x₂ -.. - a _r+1,p · x_p -.. - a _r+1,r · x_r = b _r+1

x _r+2 – a _r+2,1 · x₁ - a _r+2,2 · x₂ -.. - a _r+2,p· x_p -.. - a _r+2,r · x_r = b _r+2

.......... (3.15)

x _q – a _q,1 · x₁ - a _q,2 · x₂ -.. - a _q,p · x_p -.. - a _q,r · x_r = b _q

..........

x _n – a _n,1 · x₁ - a _n,2 · x₂ -.. - a _n,p · x_p -.. - a _n,r · x_r = b _n

а целевую функцию - в виде:

Ф - Г₁·x₁ – Г₂·x₂ -... - Г_p·x_p -... - Г_r·x_r = Г_o (3.16)

(с целью упрощения записи значки «’» при коэффициентах и свободных членах уравнений в системе (3.15) упущены).

Системы (3.12) и (3.15) называются приведенными к единичному базису, имея в виду, что коэффициенты при базисных переменных составляют единичную матрицу Е.

Систему (3.15) и (3.16) можно представить в виде таблицы 3.1.

Таблица 3.1.

Базисные перемен- ные	Свобод- ные члены	свободные переменные	Базисные переменные
x1	· · ·	xp	· · ·	xr	x r+1	· · ·	x q	· · ·	x n
x r+1	b r+1	-ar+1,1	· · ·	-ar+1,p	· · ·	-ar+1,r		· · ·		· · ·
· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·
x q	b q	-aq,1	· · ·	- a q,p	· · ·	- a q,r		· · ·		· · ·
· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·	· · ·
x n	b n	-an,1	· · ·	- a n,p	· · ·	- a n,r		· · ·		· · ·
Ф	Гo	- Г1	· · ·	- Гp	· · ·	- Гr		· · ·		· · ·

Х_б = (0; 0;...;0; b _r+1; b _r+2;...; b _n), при этом Ф_б = Г_о

Из таблицы 3.1 определим первое базисное решение Х_б и соответствующее значение целевой функции Ф_б: значения базисных переменных и целевой функции «снимаются» из столбца свободных членов таблицы, а свободные переменные приравниваются нулю.

Здесь коэффициенты Г_j называются оценками(индексами) соответствующих переменных x_j, строка таблицы, содержащая Г_j ,- индексной строкой.

В соответствии с описанным в предыдущем разделе симплекс-методом мы должны, прежде всего, выяснить имеется ли в выражении (3.13) линейной функции Ф = Гo + Г₁∙x₁ +... + Г_j∙x_j +... + Г_r∙x_r хотя бы один отрицательный коэффициент при свободных переменных x₁,..., x_r. Поскольку при записи в виде (3.16) и при внесении в таблицу 3.1 эти коэффициенты поменяли знаки, то мы должны, следовательно, выяснить имеются ли в последней строке таблицы положительные числа, не считая свободного члена Г_о.

Если таковых нет, то базисное решение, отвечающее данному базису, то есть (0;...; br+1,...; bq;...; bn) согласно случаю I является оптимальным, а

minФ = Го. Задача решена.

Предположим, что в последней строке имеется (не считая Го) положительная оценка - Гp>0. Отмечаем столбец, в котором она находится, вертикальной стрелкой. Этот столбец называется разрешающим столбцом.

Далее просматриваем другие элементы этого столбца. Если среди них нет положительных чисел, это означает, что все a_ip ≥ 0 (i = r+1,n) и задача подпадает под случай II, следовательно, min Ф = - ∞, задача решения не имеет.

И, наконец, пусть среди чисел отмеченного столбца, кроме последнего числа Г_p, имеется хотя бы один положительный элемент, например, - a_ip > 0; Это означает, что a_ip < 0, задача подпадает под случай III, то есть, должны сделать следующий шаг по поиску оптимального решения. Для этого строку таблицы, в которой находится данный положительный элемент (- a_ip) выберем в качестве разрешающей строки. Отметим эту строку горизонтальной стрелкой.

Если в разрешающем столбце имеется несколько положительных элементов, то для соответствующих строк таблицы составим оценочные отношения b_i/a_ip и выберем q-ю разрешающую строку из условия , где s– количество строк с положительными элементами в разрешающем р-ом столбце.

Элемент таблицы, стоящий на пересечении разрешающего столбца и разрешающей строки, называется разрешающим элементом. Обведем его кружком.

С этого момента начинается перестройка таблицы, цель которой состоит в переходе к новому базису, содержащему переменную x_p базисной вместо x_q (из таблицы 3.1 видно, что p ≤ r; r+1≤q ≤ n), то есть, q из числа базисных переменных, p - из числа свободных.

Перестройка осуществляется при помощи метода Джордана-Гаусса, как и в аналитическом симплекс-методе. А именно, умножим выделенную разрешающую q-ю строку на такое число, чтобы на месте разрешающего элемента появилась единица, то есть, умножим на 1/a_qp. Это соответствует тому, что q-ое уравнение разрешается относительно новой базисной переменной x_p.

Полученную таким образом строку запишем в новую таблицу на прежнее место, то есть в виде q-ой строки, но с новой базисной переменной x_p вместо x_q. Затем к каждой из остальных строк таблицы 3.1 прибавляем разрешающую строку, умноженную на такое число, чтобы в клетке отмеченного столбца появился нуль - это соответствует исключению неизвестной x_p из остальных уравнений, а также из выражения для Ф. Преобразованные таким образом строки пишем в новую таблицу на место прежних строк.

К новой таблице применяется та же процедура. В результате или находится оптимальное решение (случай I), или обнаруживается, что minФ = - ∞ (случай II), или же производится следующий шаг по поиску оптимального решения (случай III) – переходим к новой таблице. И так далее, пока процесс не остановится, то есть, пока не придем к случаю I или случаю II.

Рассмотренная процедура решения изложена применительно к задачам линейного программирования на отыскание минимального значения целевой функции. В задачах, в которых требуется определить максимальное значение целевой функции, анализ индексной строки сводится к выяснению наличия в этой строке отрицательных (кроме Г_о) оценок, что приводит к увеличению значения целевой функции относительно Ф_б = Г_о. в остальном подход к решению задачи сохраняется аналогичным рассмотренному.

Итак, при решении задач ЛП с помощью симплексных таблиц условием оптимальности в задачах на отыскание maxФ является отсутствие отрицательных оценок в индексной строке таблицы, в задачах на отыскание minФ - отсутствие положительных оценок в этой строке.

Вышеизложенное можно записать в виде следующего алгоритма.

1. Выделим исходный допустимый базис и заполним первую таблицу.

2. Если в оценочной строке полученной таблицы нет положительных чисел, кроме Го, то базисное решение является оптимальным - задача решена.

3. Пусть в оценочной строке имеется положительное число, скажем, Г_p (в столбце x_p). Отметим столбец x_p (разрешающий столбец) вертикальной стрелкой. Просматриваем остальные числа этого столбца. Если среди них нет положительных чисел, то min Ф = -∞ - задача решения не имеет.

4. Если в разрешающем столбце имеются положительные числа, для каждого из этих чисел a_kp (k ≤ r) составляем оценочное отношение b_k/a_kp, где b_k - первое число в этой строке (свободный член). Из всех таких отношений выбираем наименьшее. Пусть оно соответствует строке для базисной переменной x_q. Отметим эту строку (разрешающую строку) горизонтальной стрелкой. Отметим кружочком число a_qp, стоящее в пересечении отмеченной строки и отмеченного столбца - разрешающий элемент таблицы.

5. Переходим к новой таблице. Для этого отмеченную строку умножаем на 1/a_qp (чтобы на месте разрешающего элемента появилась единица) и запишем ее в новой таблице на месте прежней с новой базисной переменной x_p. К каждой из остальных строк таблицы прибавляем отмеченную строку, умноженную на (-a_ip/a_qp), либо строку, полученную на месте отмеченной строки, умноженную на (-a_ip), чтобы элемент, стоящий в отмеченном столбце, обратился в 0. Полученную строку пишем на месте прежней.

6. С новой таблицей возвращаемся к выполнению пункта 2.

Примечания.

1) на практике при решении задач ЛП удобнее все переменных в столбцах симплекс-таблицы размещать в порядке возрастания их индексов (номеров), не разделяя их на базисные и свободные, как это было сделано в таблице 3.1 для удобства теоретического изложения;

2) практически удобнее все таблицы "пристыковывать" друг к другу (через строку) по вертикали, что позволяет для остальных таблиц, начиная со второй, не писать заглавную строку, то есть, "шапку" таблицы.

3) Если на каком-либо этапе расчета возникает неопределенность в выборе разрешающей строки (оказывается несколько равных минимальных отношений b_k/a_kp), то следует выбирать ту строку, для которой отношение элементов первого столбца свободных переменных к разрешающему столбу является наименьшим. Если при этом снова оказываются равные минимальные отношения, то составляют отношения элементов следующего столбца свободных переменных, и так до тех пор, пока разрешающая строка не определится однозначно.

***************

Пример 3.9. Найти наибольшее значение линейной функции

Ф = 7·x₁ + 5·x₂ → max

при ограничениях: 2·x₁ + 3·x₂ + x₃ = 19,

2·x₁ + x₂ + x₄ = 13,

3·x₂ + x₅ = 15,

3·x₁ + x₆ = 18.

******************** Р Е Ш Е Н И Е ********************

Задача дана в каноническом виде. Имеем систему 4 уравнений с 6 неизвестными переменными. Следовательно, m=4 переменные принять в качестве базисных, а r=n-m=2 переменные – в качестве свободных.

Шаг 1. Выберем в качестве свободных х₁ и х₂. Выразим базисные переменные х₃, х₄, х₅, х₆ через свободные, то есть, приведем систему уравнений к единичному базису и запишем в виде, удобном для применения симплекс-таблиц: x₃ + 2·x₁ + 3·x₂ = 19,

x₄ + 2·x₁ + x₂ = 13,

x₅ + 3·x₂ = 15,

x₆ + 3·x₁ = 18.

Целевая функция Ф = 7·x₁ + 5·x₂ уже выражена через свободные переменные, запишем ее в виде Ф - 7·x₁ - 5·x₂ = 0.

Заполним исходную таблицу (табл. 3.9.1).

Из этой таблицы определим первое базисное решение Х₁= (0; 0; 19; 13; 15; 18) – оно допустимое, и соответствующее значение целевой функции Ф₁= 0.

В индексной строке таблицы 3.9.1 имеются отрицательные оценки: -7 и –5 в столбцах х₁ и х₂. То есть, условие оптимальности не выполнено (при увеличении значений этих переменных значение Ф будет возрастать). Примем к рассмотрению, например, -5 в столбце х₂ (переведем ее в базисные) и выделим соответствующий (разрешающий) столбец стрелкой. В этом столбце имеются три положительных элемента: 3, 1, 3 в строках х₃, х₄, х₅.

Вычислим для этих строк оценочные отношения: разделим на эти числа соответствующие свободные члены, получим 19/3, 13/1, 15/3, из которых наименьшее - 15/3 - в строке для х₅. Следовательно, строка х₅ является разрешающей. Выделим ее стрелкой. Число 3, находящееся на пересечении разрешающей строке и разрешающего столбце, (обведено кружочком) является разрешающим элементом таблицы. На базе этого элемента переходим к новому базису, для чего переменные х₂ и х₅ меняем местами.

Шаг 2. Базисные переменные - х₃, х₄, х₂, х₆. Для составления следующей таблицы разрешающую строку таблицы 3.9.1 умножим на 1/3, чтобы получить на месте разрешающего элемента 1, и полученную таким образом строку пишем в новую таблицу 3.9.2 на месте прежней с базисной переменной х₂.

К каждой из остальных строк прибавляем разрешающую, умноженную на такое число (коэффициент перехода), чтобы в соответствующих клетках столбца для х₂ появились нули, и преобразованные строки запишем в новую таблицу на прежние места. Этим завершается 1 итерация.

Теперь все рассуждения повторяются применительно к табл. 3.9.2. Вторым допустимым базисным решением является Х₂= (0; 5; 4; 8; 0; 18), при этом Ф₂= 25. В индексной строке таблицы 3.9.2 имеется отрицательная оценка –7 в столбце х₁ (разрешающий). Строка х₃ с наименьшим значением оценочного отношения является разрешающей строкой, элемент 2, находящийся на пересечении столбца х₁ и строки х₃, есть разрешающий элемент. На базе этого элемента переходим к новому базису, то есть, к следующей таблице 3.9.3.

Шаг 3. Базисные переменные – х₁, х₄, х₂, х₆. Из таблицы 3.9.3 находим третье допустимое базисное решение Х₃= (2; 5; 0; 4; 0; 12), при этом Ф₃= 39. В индексной строке таблицы имеется отрицательная оценка –11/6 в столбце х₅ (разрешающий столбец), в котором имеются 3 положительных элемента в строках х₄, х₂, х₆. Строка х₄ – разрешающая строка, элемент 2/3 – разрешающий элемент, на базе которого переходим к новому базису, то есть, к таблице 3.9.4.

Шаг 4. Базисные переменные – х₁, х₅, х₂, х₆. Четвертое допустимое решение Х₄= (5; 3; 0; 0; 6; 3), при этом Ф₄= 50. В индексной строке таблицы 3.9.4 нет отрицательных оценок, условие оптимальности выполнено, следовательно, получили оптимальное решение и наибольшее значение целевой функции.

Ответ: maxФ = 50 при Х_опт= (5; 3; 0; 0; 6; 3).