DEVELOPMENT OF A FORMAL ALGORITHM FOR THE FORMULATION OF A DUAL LINEAR OPTIMIZATION PROBLEM (p. 28–36)

Abstract

Запропоновано строгий формальний алгоритм побудови двоїстої задачі для різних випадків запису (загальна, основна, стандартна та канонічна) прямої задачі лінійного програмування. На початку наведено означення пари двоїстих задач для стандартної форми запису прямої задачі лінійного програмування. Такий підхід обґрунтовується з тих позицій, що за часом така пара була означена першою, оскільки мала змістовну інтерпретацію. Економічною інтерпретацією стандартної задачі є максимізація прибутку при виробництві та реалізації деяких видів продукції. Такий підхід змістовно вказує на існування прямої задачі (I) та строго відповідної до неї двоїстої (спряженої) (II). Супутня до прямої задачі є задача про мінімізацію витрат. Базовим поняттям теорії двоїстості в задачах лінійного програмування є той факт, що пара задач є взаємно спряженими – отримання двоїстої від двоїстої призводить до прямої задачі. Строгий підхід до отримання алгоритму складання двоїстої задачі ґрунтується на твердженні – двоїста задача від двоїстої є прямою (вихідною) задачею. Для різних пар двоїстих задач строго доводиться виконання такого твердження. Існуючі схеми переходу від прямої задачі до двоїстої носять змістовний характер. З огляду на цей факт, запропоновано та строго доведено алгоритм загального підходу до складання пар спряжених задач. Формалізація розробленої схеми дозволяє легко отримувати пари відомих двоїстих задач. Це дозволило вперше запропонувати та довести істинність алгоритму побудови двоїстої задачі для довільної форми представлення прямої задачі

The rigorous formal algorithm for formulating a dual problem for different forms (general, basic, standard, and canonical) of a primal linear programming problem is proposed. First, definitions of a pair of dual problems for standard form of primal linear programming are given. This approach is based on the fact that such a pair was noted first, since it had substantial interpretation. The economic interpretation of the standard problem is profit maximization in the production and sale of some types of products. Such an approach substantially indicates the existence of the primal problem (I) and the strictly corresponding dual (conjugate) (II). The problem of cost minimization is accompanying to the primal problem. The basic concept of the duality theory in linear programming problems is the fact that a pair of problems are mutually conjugate — obtaining dual of dual leads to a primal problem. The rigorous approach to obtaining an algorithm for formulating a dual problem is based on the statement that the dual problem of dual is a primal (original) problem. This approach is used in the paper. For different pairs of dual problems, this statement is rigorously proved. The existing schemes of primal to dual conversion are substantial. Given this, the algorithm of the general approach to formulating pairs of conjugate problems is proposed and rigorously proved. Formalization of the developed scheme makes it easy to get pairs of known dual problems. This allowed for the first time to propose and validate the algorithm for constructing a dual problem for an arbitrary form of the primal problem.