{"title":"构造析取切割的原则","authors":"Vitaly I. Khokhlyuk","doi":"10.1016/j.spjpm.2016.05.002","DOIUrl":null,"url":null,"abstract":"<div><p>This article focuses on solving the disjunctive problem. Various methods of constructing disjunctive cuts (DC) from the logical limitations on linear inequalities have been presented. A general principle of DC and a principle allowing to strengthen these cuts were established. By virtue of the stated principles, solving the problems of optimization with a great number of limitations can be simplified. Two theorems were formulated and proved. Four examples illustrated various theoretical statements.</p><p>The suggested principles and the procedures based on them provide the theoretical background to the elaboration of algorithms intended for software implementation in solving practical problems.</p></div>","PeriodicalId":41808,"journal":{"name":"St Petersburg Polytechnic University Journal-Physics and Mathematics","volume":null,"pages":null},"PeriodicalIF":0.2000,"publicationDate":"2016-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.spjpm.2016.05.002","citationCount":"0","resultStr":"{\"title\":\"Principles to construct disjunctive cuts\",\"authors\":\"Vitaly I. Khokhlyuk\",\"doi\":\"10.1016/j.spjpm.2016.05.002\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>This article focuses on solving the disjunctive problem. Various methods of constructing disjunctive cuts (DC) from the logical limitations on linear inequalities have been presented. A general principle of DC and a principle allowing to strengthen these cuts were established. By virtue of the stated principles, solving the problems of optimization with a great number of limitations can be simplified. Two theorems were formulated and proved. Four examples illustrated various theoretical statements.</p><p>The suggested principles and the procedures based on them provide the theoretical background to the elaboration of algorithms intended for software implementation in solving practical problems.</p></div>\",\"PeriodicalId\":41808,\"journal\":{\"name\":\"St Petersburg Polytechnic University Journal-Physics and Mathematics\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.2000,\"publicationDate\":\"2016-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/j.spjpm.2016.05.002\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"St Petersburg Polytechnic University Journal-Physics and Mathematics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S240572231630055X\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"PHYSICS, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"St Petersburg Polytechnic University Journal-Physics and Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S240572231630055X","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"PHYSICS, MULTIDISCIPLINARY","Score":null,"Total":0}
This article focuses on solving the disjunctive problem. Various methods of constructing disjunctive cuts (DC) from the logical limitations on linear inequalities have been presented. A general principle of DC and a principle allowing to strengthen these cuts were established. By virtue of the stated principles, solving the problems of optimization with a great number of limitations can be simplified. Two theorems were formulated and proved. Four examples illustrated various theoretical statements.
The suggested principles and the procedures based on them provide the theoretical background to the elaboration of algorithms intended for software implementation in solving practical problems.