Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Прикладная математика. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
1 Мб
Скачать

ными значениями матрицы А. Если матрица А – симметричная, то все решения действительные и различные.

3-й этап. Подставив в систему (1.26) вместо неизвестного найденное во втором этапе значение λ , решают эту систему например методом Гаусса и находят таким образом компоненты искомого собственного вектора, соответствующего собственному значению λ . При это ввиду однородности системы (1.26) фиксируют какую-либо компоненту собственного вектора, полагая например 1 (так как определяются с точностью до 1), и отбрасывают одно из уравнений как лишнее.

Рассмотрим это. Распишем систему (1.23) в развернутом виде:

λ

 

0;

λ

 

0;

…………………………………………………..

λ 0 .

Последнее уравнение здесь вычеркиваем и получаем (n – 1) неизвестных и (n – 1) уравнений. Записываем

λ

 

;

(1.28)

λ

 

;

 

…………………………………………………..

 

.

 

λ

 

Решив систему (1.28), то найдем i-й собственный вектор. Пример. Найдем собственные значения и собственные векторы

матрицы

А= 12 23 .

Здесь система (1.26) имеет вид

1 λ

2

0 ;

(1.29)

2

3 λ

0.

 

1-й этап. Раскрывая определитель

1

2

λ

3

2

λ 0,

получаем квадратное уравнение

λ 4λ 1 0 .

21

2-й этап. Решая это квадратное уравнение, находим собственные

значения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3-й этап. Полагаяλ

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

в

(1.29)

 

 

 

λ

 

2

√5

 

и отбрасывая

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

√5

 

 

 

 

 

 

1

второе уравнение как лишнее, имеемλ λ

2

 

√5 ,

 

откуда

1

2

√5

 

 

 

 

 

 

2

0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

для

 

 

 

 

 

 

 

 

собственным вектором является

 

 

 

 

 

 

 

 

 

 

λ

2

 

 

 

 

√5

вектор

 

 

 

 

 

1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично определяется второй собственный вектор.

1.3.Переопределенные

инеопределенные системы

Рассмотрим систему линейных алгебраических уравнений

;

; (1.30)

…………………………………………………..

.

Если матрица системы (1.30) квадратная, т.е. m = n и определитель этой системы отличен от нуля, то система (1.30) имеет единственное решение, которое можно найти по формулам Крамера.

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

В 1806 г. Лежандр сформулировал следующий принцип: наи-

лучшим обобщенным решением системы (1.30) при

является

то решение, для которого функция

 

22

, ,…,

 

(1.31)

принимает наименьшее значение.

Необходимое условие минимума функции (1.31) приводит к системе

0,

1,2,…, ,

(1.32)

что можно записать также в виде

;

; (1.33)

………………………………………..

,

где

,

.

 

 

 

Система линейных алгебраических уравнений (1.33), в отличие от переопределенной системы (1.30), есть уже система с квадратной матрицей, причем симметричной (так как ). Поэтому ее ре-

шение можно найти по формулам Крамера и методом Гаусса. Описанный метод решения переопределенной системы (1.30) называется методом наименьших квадратов.

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

… … … … ,

В= … … … …

совпадали. Пусть ранг матрицы А равен m, т.е. в этой матрице имеется, по крайней мере, один минор m-го порядка, отличный от нуля. Допустим, что это будет минор, состоящий из первых m столбцов матрицы А.

23

Тогда, используя формулы Крамера или метод Гаусса, систему (1.30) можно разрешить относительно первых m неизвестых: x1, x2 , … , xm. Витоге получим

β

,

 

,

;

(1.34)

β

,

 

,

;

 

…………………………………………….

 

Переменные

, …,

,

 

,

 

 

в системе (1.34) называют свободными,

 

β

 

 

 

.

а переменные

, …,

 

базисными. Придав конкретные зна-

чения свободным,

переменным, по формулам (1.34) можно найти со-

ответствующие значения базисных переменных, что в совокупности составляет частное решение системы (1.30). Например, полагая все свободные переменные равными нулю, получим

Это

β ,…,

β ,…,

β ,

0 ,… ,

0.

 

частное решение системы (1.30) является базисным. Система

(1.30) может иметь до

разных базисных решений.

 

1.4. Постановка основной задачи линейного программирования

Пусть имеем недоопределенную совместную (m < n) систему уравнений (1.30). Задана функция

, ,…,

 

̅∙ ̅ (1.35)

и условия неотрицательности переменных

0 ,

0 ,… ,

0.

(1.36)

Система недоопределенных уравнений (1.30) и условия (1.36) называются системой ограничений, а функция (1.35) – целевой функцией, причем F – линейная формула, так как xi входят в первой форме.

Основная задача линейного программирования формулируется так: требуется найти неотрицательные значения переменных , , …, , удовлетворяющие системе ограничений (1.30) и доставляющие экстремум функции (1.35). В классическом варианте нас интересует минимум функции F. Если надо найти ее максимум, достаточно рассмотреть функцию (–F), т.е. задачу сводят к рассмотрению минимума от функции (–F). Поставленная задача (1.30), (1.35), (1.36) носит название основной задачи линейного программирования, которую в

24

1944 г. в США впервые поставили в данном виде. Функция F может быть задана в другом виде

Это уже нелинейная функция.

Задачи, возникающие при этом, на-

 

.

зываются выпуклыми или нелинейными задачами. Если решение

задачи (1.30), (1.35), (1.36) ищется при целых

, …,

, то это

задача целочисленного программирования. Если

,будет дробный от-

вет, то его надо округлить. Оптимальное решение получить нельзя.

Числовой набор неизвестных

…, ), удовлетворяющий сис-

теме ограничений (1.30) и (1.36), называется,

допустимым решением

задачи (1.30), (1.35), (1.36). Допустимое решение, доставляющее минимум целевой функции (1.35), называется оптимальным допустимым решением. Задача линейного программирования – отыскание оптимального допустимого решения:

1)может существовать решение и притом единственное;

2)решений может существовать бесчисленное множество;

3)решений может не существовать вовсе.

Множество допустимых решений задачи (1.30), (1.35), (1.36) в общей постановке образует выпуклое множество. Если оптимальное допустимое решение существует, то оно достигается в одной из вершин выпуклого множества, порождаемого системой ограничений.

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

 

 

 

,

1,2.

 

(1.37)

Однако, введя

дополнительные

неотрицательные

переменные

от неравенства (1.37), всегда можно перейти к класси-

ческим,…равенствам,

 

 

,

1,2,…,

(1.38)

Если же система

 

 

 

 

неравенств имеет вид

1,2,…,

 

 

то вместо (1.37) получим

 

,

 

(1.39)

 

 

 

,

1,2,…,

 

. (1.40)

Если ограничения заданы в виде неравенств (1.37) или (1.39), то уже необязательно выполнение условия m < n. При переходе к равенствам (1.38) или (1.40) оно будет выполнено, так как всегда m < n + m.

25

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

0 , 1,2,…, ,

т.е. функция (1.35) не имеет точек безусловного экстремума.

1.5. Симплекс-метод Данцига

Эквивалентная математическая формулировка предыдущей задачи может быть представлена в виде

,

1,2,…, ,

;

(1.41)

(1.42)

 

0

;

 

(1.43)

 

,

1,2,…,

 

 

Поскольку система (1.41) содержит m уравнений, то первые m неизвестных можно выразить через остальные. Тогда систему (1.41) можно записать в виде

β ∑

α , 1,2,…, .

(1.44)

В базисном решении

β ,

β ,…,

β ,

0 ,…,

0 (1.45)

свободные переменные (независимые переменные) всегда равны нулю. Потребовав выполнения условий

β

0 ,β

0 ,…,β

0 ,

(1.46)

говорят о допустимом базисном решении.

Исключая базисные переменные из целевой функции (1.42) при помощи равенств (1.44), получаем функцию, в которой остались лишь свободные переменные:

 

γ ∑

β ;γ

α .

(1.47)

где

(1.48)

 

 

γ

γ ,

26

Здесь возможны три взаимоисключающих случая.

Случай 1. Все коэффициенты при переменных в выражении (1.47) положительные, т.е.

γ

0 ,γ

0 ,…,γ

0 .

(1.49)

В этом случае допустимое базисное решение (1.45) дает минимум функции (1.47) и, следовательно, является оптимальным решением. При этом γ при 0 ,… , 0 . Действительно, в (1.47) только свободные переменные. В силу (1.49) любое увеличение равных нулю в базисном решении свободных переменных

,,… , приводит к увеличению, а не уменьшению целе-

вой функции (1.47), а

min

 

 

γ .

 

 

 

 

 

 

 

 

 

Случай 2. По

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

крайней мере, один из коэффициентов, например,

γ

,где

 

1,2,…,

 

 

 

 

при переменных в (1.47) отрицателен, и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

предполагается, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полагая вα(1.44) и

0 ,α

 

 

 

0 ,… ,α

 

.

 

 

(1.50)

 

 

,

 

,

0

 

 

,

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.47) все свободные переменные, кроме

 

равными нулю, получим

 

γ

γ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

β

 

α

,

 

,

;

 

 

 

 

(1.51)

 

Так как

 

 

 

 

 

 

 

 

 

(1.52)

 

 

 

 

 

 

 

 

 

1 ,2,… ,

 

 

 

 

 

 

 

 

 

 

 

 

то при увеличении равной нулю в базисном

решении

(1.45) переменной

 

функция (1.51) монотонно умень-

 

γ

 

 

0 ,

 

 

 

 

 

 

будут оставаться положитель-

шается. Причем из (1.52) видно, что

 

ными, так как

 

 

переменную

,

 

 

. Поэтому в силу (1.50) из

(1.52) следует,αчто

0 β

можно увеличивать неограни-

 

 

0 ,

 

 

 

0

 

 

 

 

 

ченно. При этом функция (1.51) минимума не имеет

 

). Итак,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

Задача нераз-

условиями второго случая являются (1.50) и

→ ∞

 

 

.

 

 

решима, т.е. решения нет.

Случай 3. Примем допущение, что, по крайней мере, один из коэффициентов, например γ , при переменных в функции (1.47) отрица-

телен. Если имеется несколько таких отрицательных коэффициентов, то обычно выбирают среди них «наиболее отрицательный». В то же время пусть, по крайнеймере, одноизm неравенств(1.50) невыполняется.

Пусть, например,

α ,

0 ,α ,

0 ,α ,

0 .

(1.53)

27

В этом случае минимум функции F будет существовать и можно найти новое допустимое базисное решение с меньшим значением целевой функции.

Убедимся в этом. Можно ввести новые базисные решения

 

Пусть cнова

 

 

, а остальные свободные перемен-

ные,

положим, .

равными нулю.

Тогда имеем

 

 

 

 

0

 

β

α ,

,

 

 

 

β

α ,

β

, ,

(1.54)

Начнем увеличивать

тогда при большом

 

базисные

α

 

 

.

 

 

переменные

(1.54)

станут отрицательными,

. Ясно,

что

минимум

функции (1.51) найдется. Так же, как и в случае 2, в силу условия при увеличении целевая функция (1.51) монотонно

уменьшается. И через какое-то время какая-то базисная переменная

γ

0 станет равной нулю. Нужно при этом переставить неиз-

вестные, ,

(исходные свободные и базисные переменные) местами. При

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

Таким образом, в отличие от случая 2 в случае 3 уже нельзя неог-

раниченно увеличивать переменную

, так как нарушатся усло-

вия неотрицательности базисных переменных

, для которых

выполняются условия (1.53). Поэтому свободную,

переменную,

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

Пусть при увеличен в системе (1.52) первой обратилась в нуль переменная . Это означает, что наименьшей из величин

 

 

,

 

 

 

,

 

 

 

,

 

,

 

,

 

 

 

 

 

 

 

является первая. Коэффициент

α

,

 

 

называется ведущим коэффи-

циентом системы (1.44).

 

 

 

α ,

В общем случае для опеределения ведущего коэффициента

находят

 

 

 

 

 

 

min

 

 

,

 

(1.55)

 

,

 

 

где i относится только к тем переменным, у которых отрицательные значения α , .

28

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

ной переменной

в свободную,

а свободной переменной

в

базисную. С этой целью из (1.44) выразим неизвестную

через

переменную :

 

 

 

 

 

.

 

 

 

 

 

 

 

(1.56)

 

,

,

,

 

 

 

 

Исключим с помощью формулы (1.56) независимую переменную из остальных уравнений системы (1.44) и функции (1.47). Для

этого подставим выражение (1.56) в (1.44) и (1.47). Получим

β β

,

 

α

α

,

 

 

 

,

 

 

,

 

,

;

 

,

 

 

γ ∑

 

1,2,… ,

1,

1 ,… ,

 

 

 

 

γ

 

γ

 

 

 

 

 

 

 

 

,

 

,

,

 

Преобразуем это выражение:

(1.57)

.

γ β

 

γ γ

 

 

 

. (1.58)

,

,

,

Вместо (1.44) имеем (1.57), а вместо (1.47) получаем (1.58). Это в новых базисных переменных. Поскольку все зависимые переменные есть числовые величины, а все независимые переменные равны нулю, то базисное решение новой системы (1.56), (1.57) имеет вид:

β β

,

 

, 1,2,…,

1, 1,…, ,

 

,

 

(1.59)

 

 

,

,

 

 

 

0 , 0 .

 

Покажем, что новое базисное решение является допустимым.

Действительно, в силу условий

α ,

 

 

0

и (1.46) имеем

0

.

По той же причине в случае

α ,

0

 

 

 

 

случае

,

0

 

,

 

,

(1.46) и (1.55) имеем

 

 

 

 

в силу условий

 

,

0

 

 

0

 

 

 

 

β β

 

 

α ,

 

 

 

 

 

 

0 ,

 

 

 

 

,

 

 

 

 

,

,

 

 

29

где – наименьший из всех коэффициентов в силу выбора ве-

,

дущего коэффициента.

Итак, базисное решение (1.59) является допустимым. При этом решении целевая функция (1.58) будет принимать меньшее значение.

Раньше значение функции F было равно . Надо показать, что при

(1.59) значение целевой функции будет меньше

. Если

β

0

, то

для (1.59) из (1.58) находим

 

 

 

 

 

 

 

 

γ β

 

 

γ

или

γ,

 

 

 

 

β

 

 

,

 

 

 

где

 

0.

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

С

 

 

 

 

 

 

 

 

 

системой (1.56), (1.57) и целевой функцией (1.58) поступаем так

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

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

Пример. Требуется найти значения переменных

и , удовле-

творяющие ограничениям

28;

 

 

4

(1.60)

 

3

10;

 

 

24;

 

 

0,

0,

 

для которых функция

 

2

 

 

значение.

(1.61)

принимает наибольшее

 

3

 

30

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]