ARTÍCULO
TITULO

Development of a formal algorithm for the formulation of a dual linear optimization problem

Lyudmila Chernova    
Sergiy Titov    
Sergii Chernov    
Kateryna Kolesnikova    
Liubava Chernova    
Viktor Gogunskii    

Resumen

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.

 Artículos similares

       
 
Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko    
Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing t... ver más
Revista: Algorithms

 
Ivan Kosyanenko,Roman Bolbakov     Pág. 53 - 59
In today's team-based software development, good commit messages - comments on changes made in natural language - are essential. The metric for evaluating a commit message is its relevance. A good commit message should not only describe the changes made,... ver más

 
John Andrew van der Poll    
The adoption of formal methods (FMs) as a software development methodology remains low. Advocates of FMs point to the advantages to be gained by producing highly dependable systems, while critics refer to the steep learning curve required to master the u... ver más

 
Eko Agus Prasetio    
Disruptive technology theory receives a lot of attention and has a significant influence on scholars and managers in approaching technology competition. Some studies have formalized the disruptive technology, investigating the mechanism and determinants ... ver más

 
Julio Cabero-Almenara, Carmen Llorente-Cejudo and Rosabel Martinez-Roig    
The incorporation of mixed, virtual, and augmented reality into the educational context takes place in this study through the development of a 3D object shaped by the artistic expressions of the Church of the Annunciation in Seville. In a study of an exp... ver más