<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>A Minimization Algorithm with Approximation of an Epigraph of the Ob jective Function and a Constraint Set</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Igor Zabotin</string-name>
          <email>iyazabotin@mail.ru</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Oksana Shulgina</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Rashid Yarullin</string-name>
          <email>yarullinrs@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Kazan (Volga Region) Federal University, Institute of Computational Mathematics and Information Technologies</institution>
          ,
          <addr-line>Kremlyovskaya str. 35, 420008 Kazan, Russian</addr-line>
        </aff>
      </contrib-group>
      <fpage>321</fpage>
      <lpage>324</lpage>
      <abstract>
        <p>An algorithm is suggested for solving a convex programming problem which belongs to a class of cutting methods. In the algorithm an epigraph of the objective function and a feasible solutions set of the problem are embedded into some auxiliary sets to construct iteration points. Since these embedded sets are constructed as polyhedral sets in the algorithm, then each iteration point is found by solving a linear programming problem independently of the type of functions which de ne the initial problem. The suggested algorithm is characterized by the following fact. Sets which approximate the epigraph of the objective function can be updated periodically on the base of discarding cutting planes.</p>
      </abstract>
      <kwd-group>
        <kwd>cutting-plane methods</kwd>
        <kwd>minimization methods</kwd>
        <kwd>approximation sets</kwd>
        <kwd>an epigraph</kwd>
        <kwd>a constraint set</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Introduction
Cutting methods (e. g. [1{8]) are quite often applied to solve both application tasks
and auxiliary problems of constructing iteration points in the famous methods of
constrained optimization. It can be explained, in particular, by the fact that there are
usually some possibilities to estimate proximity of the current value of the objective
function to its optimal value.</p>
      <p>Among this class of methods there are ones which use approximation both an
epigraph of the objective function and a feasible set of the initial problem to construct
iteration points (e. g. [6,9]). These methods are convenient from the practical viewpoint,
because in these ones iteration points can be obtained on the base of solving auxiliary
linear programming problems.</p>
      <p>The cutting algorithm proposed in this paper for solving a convex programming
problem also uses embedding procedures of both mentioned sets. Note that the
constraint set can be embedded partially, and, moreover, in the algorithm there are some
opportunities of periodically dropping cutting planes which form sets for approximating
the epigraph.</p>
      <p>Copyright ⃝c by the paper's authors. Copying permitted for private and academic purposes.
In: A. Kononov et al. (eds.): DOOR 2016, Vladivostok, Russia, published at http://ceur-ws.org
Let f (x), F (x) be convex functions de ned in an n-dimensional Euclidian space Rn,
and the function f (x) reaches its minimal value on the set D = fx 2 Rn : F (x) 0g:
We solve the problem</p>
      <p>minff (x) : x 2 Dg:</p>
      <p>Let f = minff (x) : x 2 Dg, X = fx 2 D : f (x) = f g, X (") = fx 2 D :
f (x) f + "g, where " 0, epi(f; Rn) = f(x; ) 2 Rn+1 : x 2 Rn; f (x)g, @f (x),
@F (x) be subdifferentails of functions f (x) and F (x) at point x 2 Rn respectively,
K = f0; 1; : : :g, x = X .
3</p>
      <p>
        The Cutting Algorithm and Discussion
The proposed algorithm for solving problem (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) constructs an auxiliary sequence of
approximations fyig, i 2 K, and a basic sequence fxkg, k 2 K, by the following rule.
A convex bounded closed set M0 Rn and a convex closed set G0 Rn+1 are formed
such that
x 2 M0; epi(f; Rn)
      </p>
      <p>G0:
Generate numbers and "k &gt; 0, k 2 K, according to conditions
x 2 M0, "k ! 0, k ! 1. Assign i = 0, k = 0.</p>
      <p>
        1. Find a point (yi; i), where yi 2 Rn, i 2 R1, as a solution of the problem
f (x) for all
minf : (x; ) 2 Gi; x 2 Mk;
g:
If yi 2 D and f (yi) = i, then yi 2 X , and minimization process is nished. If yi 2 D
and at the same time the inequality
is ful lled, then yi 2 X ("k), and the "k-solution of problem (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) is found.
2. Select an element bi 2 @f (yi). If
f (yi)
i
      </p>
      <p>"k
f (yi)
i &gt; "k;
then assign</p>
      <p>Gi+1 = Si ∩f(x; ) 2 Rn+1 : f (yi) + ⟨bi; x
yi⟩
g;
where Si = Gi, and go to Step 1, increase the value of i by one. Otherwise go to Step
3.</p>
      <p>3. Assign ik = i, and choose a point xk such that</p>
    </sec>
    <sec id="sec-2">
      <title>4. Choose a convex closed set Si</title>
    </sec>
    <sec id="sec-3">
      <title>Rn+1 in accordance with</title>
      <p>xk 2 Mk; f (xk)</p>
      <p>f (yik ):
epi(f; Rn)</p>
      <p>
        Si
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
(
        <xref ref-type="bibr" rid="ref4">4</xref>
        )
(
        <xref ref-type="bibr" rid="ref5">5</xref>
        )
(
        <xref ref-type="bibr" rid="ref6">6</xref>
        )
(
        <xref ref-type="bibr" rid="ref7">7</xref>
        )
and construct a set Gi+1 in the form of (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ).
      </p>
      <p>5. Construct a set Mk+1 by the following rule. If xk 2 D, then assign Mk+1 = Mk;
else choose ak 2 @F (xk) and assign Mk+1 = Mk ∩fx 2 Rn : F (xk) + ⟨ak; x xk⟩ 0g:
6. Increment values of i and k by one, and go to Step 1.</p>
      <p>Lets represent some remarks for the algorithm.</p>
      <p>
        It is advisable to choose the initial approximating sets M0, G0 as polyhedral sets,
because in this case on each iteration i 2 K problem (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) of constructing the auxiliary
point yi is a linear programming problem.
      </p>
      <p>
        If the set D is bounded and polyhedral, then it is not necessary to approximate D
by the sets Mk, k 2 K. In accordance with (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) it is clear to assign M0 = D in the
algorithm, and in view of Steps 3, 5 equalities Mk+1 = Mk = D will be ful lled for all
k 2 K.
      </p>
      <p>
        Condition (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) allows to assign G0 = epi(f; Rn), and this way is suitable in case of
determining the function f (x) as maximum of linear functions. At the same time for
each i 2 K inequality (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) is de ned, and using Si = epi(f; Rn) in (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) we have equalities
Gi = epi(f; Rn), i 2 K. Also note that it is possible to use G0 = Rn+1. In this case any
point (y0; 0), where y0 2 M0 and 0 = , can be a solution of problem (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) for i = 0.
      </p>
      <p>
        Note that one can assign Si = Gi for all i 2 K independently of conditions (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ),
(
        <xref ref-type="bibr" rid="ref5">5</xref>
        ). Then cutting planes formed approximating sets Gi+1 will be accumulated in nitely.
Notice that condition (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) of constructing sets Si allows to update sets that approximate
the epigraph in the process of forming Gik+1 on iterations with numbers i = ik. Namely,
there is rejection of a nite number of cutting planes f (yi) + ⟨bi; x yi⟩ = by
construction Sik , for example, on the base of any sets G0; : : : ; Gik 1 according to (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ).
In particular, if we assign Sik = G0, then we discard all planes which are constructed
to the step i = ik.
      </p>
      <p>
        Note that condition (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) of selection of the point xk allows to assign, in particular,
xk = yik for all k 2 K.
      </p>
      <p>Lets observe some properties of the proposed algorithm.</p>
      <p>
        Taking into account (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) it is easy to prove by induction that for all k 2 K and
i 2 K inclusions x 2 Mk, (x ; f ) 2 Gi are ful lled.
      </p>
      <p>
        On the base of these inclusions, the construction condition of the number and the
type of constraints in problem (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) it is not difficult to observe that the inequality
i
f
(
        <xref ref-type="bibr" rid="ref9">9</xref>
        )
is determined for the solution (yi; i) of problem (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) under any k 2 K, i 2 K.
      </p>
      <p>
        Obviously the stopping criterion represented in Step 1 of the algorithm is proved
according to condition (
        <xref ref-type="bibr" rid="ref9">9</xref>
        ). If the point (yi; i) is constructed such that yi 2 D and
condition (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) is determined, then from (
        <xref ref-type="bibr" rid="ref9">9</xref>
        ) it follows that f (yi) f + "k, and,
consequently, the approximation yi is an "k-solution of the initial problem.
      </p>
      <p>
        If the equation Si = Gi is de ned for all i 2 K in the algorithm, then taking into
account (
        <xref ref-type="bibr" rid="ref9">9</xref>
        ) it is not difficult to prove the limit expression lim (f (yi) i) = 0. On
i2K
the base of this equality and in view of the methology [10] it is clear to observe the
following
Lemma 1. If the sequence f(yi; i)g is constructed by the suggested algorithm, then
there exist a number i = ik 2 K for all k 2 K such that equality (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) is ful lled.
      </p>
      <p>Theorem 1. The inclusion x 2 X is valid for any limit point x of the sequence fxkg
constructed by the algorithm.</p>
      <p>
        Proof. This theorem is proved by the following schema. Firstly, taking into account
the approach of constructing sets Mk the inclusion x 2 D is proved, consequently, the
inequality
f (x)
f
(
        <xref ref-type="bibr" rid="ref10">10</xref>
        )
is observed too. Further, from (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ), (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ), (
        <xref ref-type="bibr" rid="ref9">9</xref>
        ) and according to the technique of establishing
f"kg it is easy to get contradiction with inequality (
        <xref ref-type="bibr" rid="ref10">10</xref>
        ).
      </p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Bulatov</surname>
            ,
            <given-names>V.P.</given-names>
          </string-name>
          :
          <article-title>Embedding Methods in Optimization Problems</article-title>
          . Nauka,
          <string-name>
            <surname>Novosibirsk</surname>
          </string-name>
          (
          <year>1977</year>
          ) [in Russian].
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Bulatov</surname>
            ,
            <given-names>V.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Khamisov</surname>
            ,
            <given-names>O.V.</given-names>
          </string-name>
          :
          <article-title>Cutting methods in En+1 for global optimization of a class of functions</article-title>
          .
          <source>Zhurn. Vychisl. Matem. i Matem. Fiz</source>
          .
          <volume>47</volume>
          (
          <issue>11</issue>
          ),
          <year>1830</year>
          {
          <year>1842</year>
          (
          <year>2007</year>
          ) [in Russian].
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Zabotin</surname>
            ,
            <given-names>I.Ya.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yarullin</surname>
            ,
            <given-names>R.S.:</given-names>
          </string-name>
          <article-title>One approach to constructing cutting algorithms with dropping of cutting planes</article-title>
          .
          <source>Russian Math. (Iz. VUZ)</source>
          .
          <volume>58</volume>
          (
          <issue>3</issue>
          ),
          <volume>60</volume>
          {
          <fpage>64</fpage>
          (
          <year>2013</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Zabotin</surname>
            ,
            <given-names>I.Ya.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yarullin</surname>
            ,
            <given-names>R.S.:</given-names>
          </string-name>
          <article-title>Cutting plane method based on epigraph approximation with discarding the cutting planes</article-title>
          .
          <source>Automation and Remote Control</source>
          .
          <volume>76</volume>
          (
          <issue>11</issue>
          ),
          <volume>1578</volume>
          {
          <fpage>1587</fpage>
          (
          <year>2015</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Kolokolov</surname>
            ,
            <given-names>A.A.</given-names>
          </string-name>
          :
          <article-title>Regular partitions and cuts in integer programming</article-title>
          .
          <source>Sib. zhurn. issled. oper. 1</source>
          (
          <issue>2</issue>
          ),
          <volume>18</volume>
          {
          <fpage>39</fpage>
          (
          <year>1994</year>
          ) [in Russian].
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Nesterov</surname>
          </string-name>
          ,
          <string-name>
            <surname>Yu</surname>
          </string-name>
          .E.: Introduction to Convex Optimization. Moscow,
          <string-name>
            <surname>MCCME</surname>
          </string-name>
          (
          <year>2010</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Nurminski</surname>
            ,
            <given-names>E.A.</given-names>
          </string-name>
          :
          <article-title>Cutting method for solving non-smooth convex optimization problem with limited memory</article-title>
          .
          <source>Vychisl. Met. i Program</source>
          .
          <volume>7</volume>
          ,
          <issue>133</issue>
          {
          <fpage>137</fpage>
          (
          <year>2006</year>
          ) [in Russian].
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Zabotin</surname>
            ,
            <given-names>I.Ya.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yarullin</surname>
            ,
            <given-names>R.S.:</given-names>
          </string-name>
          <article-title>A cutting method for nding discrete minimax with dropping of cutting planes</article-title>
          .
          <source>Lobach. Journal of Math.</source>
          ,
          <volume>35</volume>
          (
          <issue>2</issue>
          ),
          <volume>157</volume>
          {
          <fpage>163</fpage>
          (
          <year>2014</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Demyanov</surname>
            ,
            <given-names>V.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vasiliev</surname>
            ,
            <given-names>L.V.</given-names>
          </string-name>
          :
          <article-title>Nondifferentiable optimization</article-title>
          .
          <source>Mir</source>
          , Moscow (
          <year>1972</year>
          ) [in Russian].
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Zabotin</surname>
            ,
            <given-names>I.Ya.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yarullin</surname>
            ,
            <given-names>R.S.:</given-names>
          </string-name>
          <article-title>A cutting plane algorithm with an approximation of an epigraph</article-title>
          .
          <source>Uch. Zap. Kazan. Gos. Univ., Ser. Fiz.-Mat. Nauki</source>
          .
          <volume>155</volume>
          (
          <issue>4</issue>
          ),
          <volume>48</volume>
          {
          <fpage>54</fpage>
          (
          <year>2013</year>
          ) [in Russian].
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>