<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "https://jats.nlm.nih.gov/publishing/1.3/JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xml:lang="ru">
  <front xmlns:xlink="http://www.w3.org/1999/xlink">
    <journal-meta>
      <journal-title-group>
        <journal-title>St. Petersburg Polytechnic University Journal: Physics and Mathematics</journal-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Научно-технические ведомости СПбГПУ. Физико-математические науки</trans-title>
        </trans-title-group>
      </journal-title-group>
      <issn pub-type="epub">2304-9782, 2618-8686, 2405-7223</issn>
    </journal-meta>
    <article-meta xmlns:xlink="http://www.w3.org/1999/xlink">
      <article-id pub-id-type="publisher-id">10</article-id>
      <article-id pub-id-type="doi">10.5862/JPM.242.10</article-id>
      <title-group>
        <article-title>Principles for constructing the disjunctive cuts</article-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Принципы построения дизъюнктивных сечений</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name>
            <surname>Khokhlyuk</surname>
            <given-names>Vitaly</given-names>
          </name>
        </contrib>
      </contrib-group>
      <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2016-06-10">
        <day>10</day>
        <month>06</month>
        <year>2016</year>
      </pub-date>
      <issue>2</issue>
      <issue-id pub-id-type="publisher-id">242</issue-id>
      <fpage>87</fpage>
      <lpage>94</lpage>
      <self-uri xmlns:xlink="http://www.w3.org/1999/xlink" content-type="pdf" xlink:href="https://physmath.spbstu.ru/userfiles/files/articles/2016/2/ph_2_2016.87_94.pdf"/>
      <abstract xml:lang="en">
        <p>This article focuses on solving the disjunctive problem. Various methods of constructing the disjunctive cuts (DC) from the logical limitations on the linear inequalities have been presented. A general principle of DC and a principle making possible to strengthen these cuts were stated. 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 procedures on their basis provide the theoretical background to the elaboration of algorithms intended for the software implementation in solving the practical problems.</p>
      </abstract>
      <kwd-group xml:lang="en">
        <kwd>mathematical logic</kwd>
        <kwd>disjunctive problem</kwd>
        <kwd>convex hull</kwd>
        <kwd>closure of set</kwd>
        <kwd>strengthening of cut</kwd>
      </kwd-group>
    </article-meta>
  </front>
</article>
