1 Построение математической модели

Цель оптимизации: минимизация затрат бумажных ресурсов при выполнении установленного производственного плана печати.

Составим математическую модель задачи. Для этого сначала обозначим переменные, которые требуются в модели:

- количество книг-ого вида, изготовленных из-ого сорта бумаги.

- расход бумаги-ого сорта на одну книгу.

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

Целевая функция выглядит следующим образом:

Также необходимо учесть, что:

1. сумма выделенных ресурсов должна быть меньше либо равна общей сумме имеющихся ресурсов;

2. должен быть выполнен установленный план печати .

Ограничения будут выглядеть следующим образом:

1. 

2. 

Задача относится к классу задач целочисленного линейного программирования. Поэтому нужно записать условие целочисленности:

Обязательно также условие неотрицательности:

Для поиска оптимального целочисленного решения воспользуемся методом Гомори.

2 Теоретическая часть

2.1 Обзор численных методов решения задач лп

Рассмотрим задачу ЛП в канонической форме:

(1)

(2)

(3)

Будем предполагать, что , уравнения системы (2) линейно независимы,m<nи система (2) -(3) совместна.

При сделанных предположениях можно выбрать mнеизвестных, таких, чтобы определитель, составленный из коэффициентов при неизвестных, не обращался в ноль. Тогда задача (1)-(3) может быть приведена к виду, который называетсяспециальной формой задачи ЛП:

(4)

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

Этому решению соответствует значение целевой функции . Переменныеназываютбазисными, а переменныеназываютнебазиснымиилисвободными. Число возможных базисов в задаче размерностиnсmограничениями не превосходит величину.

Известно, что каждому допустимому базисному решению соответствует вершина многоугольника допустимых решений, и оптимальное решение задачи достигается в одной из вершин многоугольника. Поэтому оптимальное решение задачи ЛП находится среди допустимых базисных решений. Существуют рациональные способы последовательного перебора допустимых базисных решений, которые позволяют рассматривать не все допустимые базисные решения, а их минимальное число. К таким методам относится симплекс-метод. [2].

2.2 Алгоритм симплекс-метода для задачи на минимум

Шаг 0.Приводим задачу ЛП к специальной форме (4).

Шаг 1. Составляем симплекс-таблицу, соответствующую специальной форме:

	B		…		…
L			…		…
			…		…
..	..	…………
			…		…
..	..	…………
			…		…

Заметим, что этой таблице соответствует допустимое базисное решение задачи (4). Значение целевой функции на этом решении

Шаг 2. Проверка на оптимальность.

Если среди элементов индексной строки симплекс – таблицы нет ни одного положительного элемента, т. е., оптимальное решение задачи ЛП найдено:.Алгоритм завершает работу.

Шаг 3.Проверка на неразрешимость.

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

Шаг 4.Выбор ведущего столбцаq.

Среди элементов выбираем максимальный положительный элемент.Этот столбец объявляемведущим.

Шаг 5.Выбор ведущей строки p.

Среди положительных элементов столбца находим элемент, для которого выполняется равенство:

Строку pобъявляемведущей. Элемент объявляемведущим.

Шаг 6.Преобразование симплексной таблицы.

Составляем новую симплекс-таблицу, в которой:

а) вместо базисной переменной записываем, вместо небазисной переменнойзаписываем;

б) ведущий элемент заменяем на обратную величину ;

в) все элементы ведущего столбца (кроме ) умножаем на ;

г) все элементы ведущей строки (кроме ) умножаем на;

д) оставшиеся элементы симплексной таблицы преобразуются по следующей схеме «прямоугольника»: Из элемента вычитается произведение трех сомножителей:

первый - соответствующий элемент ведущего столбца;

второй - соответствующий элемент ведущей строки;

третий - обратная величина ведущего элемента .

Преобразуемый элемент и соответствующие ему три сомножителя как раз и являются вершинами «прямоугольника».

Шаг 7.Переход к следующей итерации осуществляется возвратом к шагу 2.