Skip to content
BY-NC-ND 4.0 license Open Access Published by De Gruyter Open Access October 3, 2017

Branch-delete-bound algorithm for globally solving quadratically constrained quadratic programs

  • Zhisong Hou EMAIL logo , Hongwei Jiao EMAIL logo , Lei Cai and Chunyang Bai
From the journal Open Mathematics

Abstract

This paper presents a branch-delete-bound algorithm for effectively solving the global minimum of quadratically constrained quadratic programs problem, which may be nonconvex. By utilizing the characteristics of quadratic function, we construct a new linearizing method, so that the quadratically constrained quadratic programs problem can be converted into a linear relaxed programs problem. Moreover, the established linear relaxed programs problem is embedded within a branch-and-bound framework without introducing any new variables and constrained functions, which can be easily solved by any effective linear programs algorithms. By subsequently solving a series of linear relaxed programs problems, the proposed algorithm can converge the global minimum of the initial quadratically constrained quadratic programs problem. Compared with the known methods, numerical results demonstrate that the proposed method has higher computational efficiency.

MSC 2010: 90C20; 90C26; 65K05

1 Introduction

The quadratically constrained quadratic programs problem (QCQP) has attracted a huge attention of practitioners and researchers for many years. In part, this is because the quadratically constrained quadratic programs problem finds a wide range of applications in management science and engineering, product subassembly, production programs, portfolio decision optimization, chance problem, production design, finance and economy, etc. (see [1-7]). In particular, many practical problems (such as stochastic programs problem, packing problem, 0-1 programs problem, etc. [8,9]) can be transformed into the quadratically constrained quadratic programs problem. In addition, the problem (QCQP) possess multiple local optimum points which are not globally optimum, i.e., from a research point of view, this problem (QCQP) poses significant theoretical and computational complication.

In this paper, the mathematical modelling of the investigated quadratically constrained quadratic programs problem is given as follows:

(QCQP):minG0(z)=zTA0z+(d0)Tzs.t.Gi(z)=zTAiz+(di)Tzbi,i=1,,m,zZ0={zRn:l0zu0},

where Ai=(ajki)n×nRn×n(i=0,1,,m) are all symmetric matrices, d0, diRn, biR, i = 1, …, m; l0=(l10,,ln0)T,u0=(u10,,un0)T.

Over the past decades, a variety of local optimization algorithms have been developed for effectively solving the special forms or general form of the quadratically constrained quadratic programs problem (QCQP). For instances, convexification approach [10], interval newton method [11], simplicial branch-and-bound algorithm [12], semidefinite relaxation approach [13], matrix cone decomposition and polyhedral approximation algorithm [14], duality bound algorithm [15], robust optimization algorithm [16], rectangle branch-and-bound algorithms [17-28]. However, to our knowledge, although some algorithms can be also used to solve the QCQP, due to the complication of the investigated problem, it is rather challenging to globally solve the QCQP problem.

The goal of this article is to present a branch-delete-bound algorithm for globally solving the QCQP problem by developing new linearizing technique. To this aim, by utilizing the characteristics of quadratic function, we first introduce a new linearizing method, then by using the linearizing method, we show that the initial problem (QCQP) and its sub-problems can be systematically converted into the corresponding linear relaxed programs problems, and the optimal solutions of these converted linear relaxed programs problems can infinitely approximate the global optimum of the associated quadratically constrained quadratic programs problem. Moreover, the established linear relaxed programs problems are embedded within a branch-and-bound framework without introducing any new variables and constrained functions, which can be easily solved by any effective linear programming algorithms, and which are easier to be solved than any convex relaxation programs problem. We then combine the established linear relaxed programs problem, the branching operation, deleting operation and bounding operation together, so an effective branch-delete-bound algorithm is presented for globally solving the QCQP. Finally, compared with some known algorithms, numerical experimental results show that our method has higher computational efficiency.

The rest of this paper is organized as follows. Based on the characteristics of quadratic function, Section 2 formulates a new linearizing method, and the linear relaxed programs problems of the initial problem (QCQP) and its sub-problems are established. Based on the linear relaxed programs problem derived in Section 2, Section 3 presents a branch-delete-bound algorithm, and its global convergence is discussed and proved. In Section 4, compared with some known algorithms, numerical results demonstrate the computational efficiency of the proposed algorithm. Finally some concluding remarks are drawn.

2 New linearizing method

The main operation in the proposed branch-delete-bound algorithm is computation of the lower bounds of the initial problem and its partitioned subproblems. The lower bounds for the initial problem and its partitioned subproblems can be computed by solving their corresponding linear relaxed programs problems, which are derived by the following new linearizing method.

Let Z = {zRn|lzu} ⊆ Z0. For ∀ zZ, for any j, k ∈ {1, 2, …, n}, define

fj(z)=zj2,fjl(z)=(lj+uj)zj(lj+uj)24,fju(z)=(lj+uj)zjljuj,Δj(z)=fj(z)fjl(z),j(z)=fju(z)fj(z),fjk(z)=zjZk,fjkl(z)=12[(lj+uj)zk+(lk+uk)Zj(lj+uj)24(lk+uk)24+(ljuk)(ujlk)],fjku(z)=12[(lj+uj)zk+(lk+uk)Zjljujlkuk+(ljuk+ujlk)24],Δjk(z)=fjk(z)fjkl(z),jk(z)=fjku(z)fjk(z),Δ(zjzk)=(zjzk)2[(ljuk+ujlk)(zjkz)(ljuk+ujlk)24],(zz)=[(ljuk+ujlk)(zz)(ljuk)(ujlk)](zz)2.

Theorem 2.1

For any zZ = [l, u] ⊆ Z0, for any j, k ∈{1, 2, …, n}, we have the following conclusions:

  1. fjl(z)fj(z)fju(z);

  2. fjkl(z)fjk(z)fjku(z),jk;

  3. Δj(z)→ 0, ∇j(z)→ 0, Δ(zjzk) → 0, ∇(zjzk) → 0, Δjk(z) → 0 andjk(z) → 0 asul∥ → 0.

Proof

  1. By the convex characters of the quadratic function fj(z) = zj2, we have

    fjl(z)=(lj+uj)zj(lj+uj)24zj2(lj+uj)zjljuj=fju(z), (1)

    i.e.,

    fjl(z)fj(z)fju(z).
  2. Since (zjzk)2 is a convex function about (zjzk) over the interval [(ljuk), (ujlk)], similarly by the conclusion (i), we have

    (ljuk+ujlk)(zjzk)(ljuk+ujlk)24(zjzk)2 (2)

    and

    (ljuk+ujlk)(zjzk)(ljuk)(ujlk)(zjkz)2. (3)

    By (1), (2) and (3), we have

    fjk(z)=12[zj2+zk2(zz)2]12[((lj+uj)zj(lj+uj)24+(lk+uk)zk(lk+uk)24]12[(ljuk+ujlk)(zjzk)(ljuk)(ujlk)]=12[(lj+uj)zk+(lk+uk)zj(lj+uj)24(lk+uk)24+(ljuk)(ujlk)]=fjkl(z)

    and

    fjk(z)=12[zj2+zk2(zz)2]12[(lj+uj)zjljuj+(lk+uk)zklkuk]12[(ljuk+ujlk)(zjzk)(ljuk+ujlk)24]=12[(lj+uj)Zk+(lk+uk)Zjljujlkuk+(ljuk+ujlk)24]=fjku(z),

    i.e.,

    fjkl(z)fjk(z)fjku(z).
  3. Since

    Δj(z)=fj(zj)fjl(zj)=zj2[(lj+uj)zj(lj+uj)24]

    is a convex function about zj over the interval [lj, uj]. Thus, Δj(z) can obtain the maximum value at the point lj or uj, i.e.

    maxzj[lj,uj]Δj(z)=(ujlj)24. (4)

    Similarly, since

    j(z)=fju(zj)fj(zj)=(lj+uj)zjljujzj2

    is a concave function about zj over the interval [lj, uj], therefore ∇j(z) can obtain maximum value at the point lj+uj2, i.e.,

    maxzj[lj,uj]j(z)=(ujlj)24. (5)

    By (4) and (5), we have

    maxzj[lj,uj]Δj(z)=maxzj[lj,uj]j(z)0, as ul0. (6)

    Since

    Δ(zjzk)=(zjzk)2[(ljuk+ujlk)(zjzk)(ljuk+ujlk)24]

    is a convex function about (zjzk) over the interval [(ljuk), (ujlk)]. Thus, Δ(zjzk) can obtain the maximum value at the point (ljuk) or (ujlk), i.e.,

    max(zjzk)[(ljuk),(ujlk)]Δ(zjzk)=(ujlklj+uk)24. (7)

    Similarly, since

    (zjzk)=[(ljuk+ujlk)(zjzk)(ljuk)(ujlk)](zjzk)2

    is a concave function about (zjzk) over the interval [(ljuk), (ujlk)], therefore ∇(zjzk) can obtain maximum value at the point ljuk+ujlk2, i.e.,

    max(zjzk)[(ljuk),(ujlk)](zjzk)=(ujlklj+uk)24. (8)

    By (7) and (8), we have: as ∥ ul ∥→ 0,

    max(zjzk)[(ljuk),(ujlk)]Δ(zjzk)=max(zjzk)[(ljuk),(ujlk)](zjzk)0. (9)

    Since

    Δjk(z)=fjk(z)fjkl(z)=zjzk12[(lj+uj)zk+(lk+uk)zj(lj+uj)24(lk+uk)24+(ljuk)(ujlk)]=12[zj2+zk2(zjzk)2]12[(lj+uj)zk+(lk+uk)zj(lj+uj)24(lk+uk)24+(ljuk)(ujlk)]=12[zj2+zk2(zjzk)2]12[(lj+uj)zj(lj+uj)24+(lk+uk)zk(lk+uk)24]+12[(ljuk+ujlk)(zjzk)(ljuk)(ujlk)]=12{zj2[(lj+uj)zj(lj+uj)24]}+12{zk2[(lk+uk)zk(lk+uk)24]}+12{(ljuk+ujlk)(zjzk)(ljuk)(ujlk)(zjzk)2}=12Δj(z)+12Δk(z)+12(zjzk)12maxzj[lj,uj]Δj(z)+12maxzk[lk,uk]Δk(z)+12max(zjzk)[(ljuk),(ujlk)](zjzk).

    By (6) and (9), we have Δjk(z) → 0 as ∥ul∥ → 0.

    Similarly, we can prove that ∇jk(z) → 0 as ∥ul∥→ 0. Therefore, the proof is complete. □

    For convenience, without loss of generality, for any j and k ∈ {1, …, n}, we let

    g_ki(z)=akkifkl(z),if akki0,akkifku(z),if akki<0;g_jki(z)=ajkifjkl(z),if ajki0,jk,ajkifjku(z),if ajki<0,jk,g¯ki(z)=akkifkl(z),if akki<0,akkifku(z),if akki0,g¯jki(z)=ajkifjkl(z),if ajki<0,jk,ajkifjku(z),if ajki0,jk.

    Obviously, we have

    akkizk2g_ki(z),ajkZjZkig_jki(z),akkizk2g¯ki(z),ajkZjZkig¯jki(z). (10)

    And for each i = 1, …, p, m = 1, …, M, for any zZ, define

    GiL(z)=k=1n(dkizk+g_ki(z))+j=1nk=1,kjng_jki(z),GiU(z)=k=1n(dkizk+g¯ki(z))+j=1nk=1,kjng¯jki(z).

Theorem 2.2

ForzZ = [l, u] ⊆ Z0, for each i = 1, …, p, m = 1, …, M, we have the following conclusions:

  1. GiU(z)Gi(z)GiL(z);

  2. Gi(z)GiL(z)0andGiU(z)Gi(z)0,asul0.

Proof

(i) Obviously, from (10) we can easily get that GiU(z)Gi(z)GiL(z) holds.

(ii) Considering the error Gi(z)GiL(z), we have

Gi(z)GiL(z)=k=1ndkizk+k=1nakkizk2+j=1nk=1,kjnajkizjzk[k=1n(dkizk+g_ki(z)+j=1nk=1,kjng_jki(z)]=k=1n[akkizk2g_ki(z)]+j=1nk=1,kjn[ajkizjZkg_jki(z)]=k=1,akki>0nakki[zk2fkl(z)]+k=1,akki<0nakki[zk2fku(z)]+j=1nk=1,kj,ajki>0najki[zjzkfjkl(z)]+j=1nk=1,kj,ajki<0najki[zjzkfjku(z)]=k=1,akki>0nakkiΔk(z)k=1,akki<0nakkik(z)+j=1nk=1,kj,ajki>0najkiΔjk(z)j=1nk=1,kj,ajki<0najkijk(z)

By the conclusions of Theorem 2.1, we have Δj(z), ∇j(z), Δjk(z) and ∇jk(z) → 0, as ∥ul ∥ → 0.

Therefore, Gi(z)GiL(z)0 as ∥ul∥→ 0.

Using the similar method as in the above proof, we can conclude that

GiU(z)Gj(z)0 as ul0.

The proof of the conclusion (ii) is complete. □

By Theorem 2.2, we can construct the corresponding approximation linear relaxed programs problem (LRPP) of the QCQP in Z as follows.

LRPP(Z):minG0L(z),s.t. GiL(z)bj,i=1,,m,zZ={z:lzu}Z0,

where

GiL(z)=k=1n(dkizkn+g_ki(z))+j=1nk=1,kjng_jki(z).

From the constructing method of the above linear relaxed programs, for any ZZ0, every feasible point of the QCQP in sub-rectangle Z is also feasible to the LRPP in sub-rectangle Z; and the optimum value of the LRPP in sub-rectangle Z is less than or equal to that of the QCQP in sub-rectangle Z. Thus, the LRPP in sub-rectangle Z provides a valid lower bound for the global minimum of the QCQP in sub-rectangle Z.

3 Branch-delete-bound algorithm

In this section, based on the linear relaxed programs problem derived by new linearizing method in Section 2, we will present an effective branch-delete-bound algorithm for globally solving the QCQP. In this algorithm, there are three fundamental operations: branching operation, deleting operation and bounding operation. We then introduce this three fundamental operations as follows.

3.1 Branching operation

Here, we select a standard branching operation, which is called as bisection method of rectangle maximum edge. The selected branching operation iteratively subdivides the investigated rectangle Zk into two sub-rectangles Zk,1 and Zk,2, it generates a more refined partition that cannot yet be excluded from further consideration in finding the global minimum of the QCQP in Z0. This selected branching operation is enough to ensure the global convergence of the proposed algorithm since the interval of each variable is shrank into a singleton through infinite rectangle bisection. For any identified sub-rectangle Zk = [lk, uk] ⊆ Z0. This branching operation is formulated as follows.

  1. Let ξ = arg max{ujlj : i = 1, …, n}.

  2. Let

    Zk,1={zRn|liziui,iξ;lξzξlξ+uξ2},Zk,2={zRn|liziui,jξ;lξ+uξ2zξuξ}.

So that the identified sub-rectangle Zk is divided into two sub-rectangles Zk,1 and Zk,2.

3.2 Deleting operation

Based upon the linear relaxed programs in section 2 and branch-and-bound structure, we will introduce a deleting operation to improve the convergent speed of the proposed algorithm, which is used to delete a part of the rectangle Z or the whole rectangle Z without rejecting any global optimal solution of the initial problem (QCQP) in Z0. For convenience, for any zZ = (Zj)n×1 with Zj = [lj, uj] (j = 1, …, n), without loss of generality, we rewrite the LRPP into the following linear programming problem in sub-rectangle Z:

LP(Z):minj=1nγ0jzj+η0s.t.j=1nγijzj+ηibi,i=1,,m,zZ={z:lzu}.

Let UBk be a currently known upper bound of the global optimal value for the QCQP in Z0, which is obtained after k iterations, and set

LB_i=j=1nmin{γijlj,γijuj}+ηi,i=0,1,,m;βp=UBkLB_0+min{γ0plp,γ0pup}γ0p,p=1,,n;λip=biLB_i+min{γiplp,γipup}γip,p=1,,n,i=1,,m;Z¯¯j=Zj,jp,j=1,,n,(βp,up]Zp,j=p;Z_j=Zj,jp,j=1,,n,[lp,βp)Zp,j=p;Z~j=Zj,jp,j=1,,n,(λip,up]Zp,j=p;Z^j=Zj,jp,j=1,,n,[lp,λip)Zp,j=p.

Similarly as in Theorem 3 in [23], for any sub-rectangle ZZ0, we can easily prove that the following conclusions hold:

  1. If LB0 > UBk, then the sub-rectangle Z can be deleted; else if LB0UBk, then: for each p ∈ {1, 2, …, n}, if γ0p > 0, then the sub-rectangle Z¯¯=(Z¯¯j)n×1 can be deleted; if γ0p < 0, then the sub-rectangle Z__=(Z__j)n×1 can be deleted.

  2. If LBi > bi for some i ∈ {1, …, m}, then the sub-rectangle Z can be deleted; else if LBjbj for some i ∈ {1, …, m}, then: for each p ∈ {1, 2, …, n}, if γip > 0, then the sub-rectangle Z~=(Z~j)n×1 can be deleted; if γip < 0, then the sub-rectangle Z^=(Z^j)n×1 can be deleted.

By utilizing the deleting operation to delete a part of the investigated rectangle where the global optimal solution of the QCQP in Z0 does not exist, we can improve the computational speed of the proposed branch-and-bound procedure, and accelerate the global convergence of the proposed branch-and-bound algorithm.

3.3 Bounding operation

The bounding operations are used to update the lower bounds and upper bounds of the global optimal value of the QCQP in Z0. This main computations for updating lower bounds need to solve a sequence of linear relaxed programs problems, which can be easily solved by using simplex methods. In additions, the upper bounds can be updated by computing the objective function value of the QCQP, which is corresponding to the optimal solution of each linear relaxed programs problem or midpoint of the investigated rectangle Zk, respectively.

3.4 Branch-delete-bound algorithm

Let LB(Zk) and zk = z(Zk) be the optimum value and optimum solution for the LRPP in the sub-rectangle Zk, respectively. Combining the former linear relaxed programs, the branching operation, deleting operation and bounding operation together, we can establish an effective branch-delete-bound algorithm for globally solving the problem (QCQP) as follows.

Branch-Delete-Bound Algorithm

Initializing Step

Initializing the counter of iteration k := 0, the active node set Λ0 = {Z0}, the feasible point set F = ∅, the convergence judgement error ϵ > 0, the initial upper bound UB0 = +∞. Compute the LRPP(Z0), obtain LB0 := LB(Z0) and z0 := z(Z0). If Gi(z0) ≤ bi holds for all i = 1, …, m, then we update the feasible point set F = {z0} and the upper bound UB0 = G0(z0). If UB0LB0ϵ holds, then the algorithm stops with z0 as the global ϵ-optimal solution of the QCQP in Z0; else go on the following Branching Step.

Branching Step

Select a rectangle Zk ∈ Λk to determine a branching variable zq, and employ the selected branching operation to divide the selected rectangle Zk into two new sub-rectangles, and represent the new subdivided sub-rectangles set as Žk.

Deleting Step

For any sub-rectangle ZŽk, compute LBj(i = 0, 1, …, m), βp(p = 1, …, n), λjp(i = 1, …, m, p = 1, …, n).

For each i ∈ {1, …, m}, if LBj > bj, then delete the investigated sub-rectangle Z;

else

if γip > 0 and λip < up for some p ∈ {1, …, n}, then let up = λip;

else if γip < 0 and λip > lp for some p ∈ {1, …, n}, then let lp = λip.

If LB0 > UBk, then delete the investigated sub-rectangle Z;

else

if γ0p > 0 and βp < up for some p ∈ {1, …, n}, then let up = βp;

else if γ0p < 0 and βp > lp for some p ∈ {1, …, n}, then let lp = βp.

Finally, still denote the remaining sub-rectangle by Z, and denote the remaining partition sub-rectangle set by Žk.

Bounding Step

Solve the LRPP (Z) for each sub-rectangle ZŽk to get LB(Z) and z(Z), if LB(Z) > UBk, then set Žk := Žk \ Z; else if the midpoint zmid of Zk satisfies constrained condition for the QCQP in Z0, then set F := F ∪ {zmid}, and if z(Z) satisfies constrained condition for the QCQP in Z0, then let F := F ∪ {z(Z)}, at the same time, we update the upper bound UBk := minzF G0(z). If F ≠ ∅, denote zk := argminzF G0(z) as the current best feasible point. Let Λk := (Λk \ Zk) ∪Žk, we then update the lower bound LBk := infZ∈Λk LB(Z).

Optimality Judgement Step

If UBkLBkϵ, then the algorithm stops, at the same time, we get that UBk and zk are the global ϵ-optimal value and the global ϵ-optimal solution for the initial problem (QCQP), respectively; else let k := k + 1, and select a new active node Zk satisfying Zk = argminZ∈Λk LB(Z), and return to Branching Step.

3.5 Global convergence analysis

The global convergence of the proposed branch-delete-bound algorithm is formulated as follows.

Theorem 3.1

If the proposed branch-delete-bound algorithm terminates after k iterations, then zk is a global ϵ-optimum solution for the (QCQP); else if the branch-delete-bound algorithm does not finitely terminates after k iteration, then it must generate an infinite subsequence {zkq} of iterations, which satisfies that its any accumulation point must be the global optimum solution of the QCQP.

Proof

If the proposed branch-delete-bound algorithm finitely terminates after k iterations, where k ≥ 0, then by optimality judgement step, we have UBkLBkϵ. By the bounding operation for the upper bound, this implies that there must exist a feasible point zk satisfying UBk = G0(zk), thus we can follow that G0(zk) − LBkϵ, i.e. G0(zk) − ϵLBk. Denote v* as the optimal value of the QCQP, obviously, by the structure of branch-and-bound framework, it follows that LBkv. Since zk is feasible to the QCQP, therefore, it follows that G0(zk) ≥ v, i.e. G0(zk) − ϵvϵ. Combing the above inequalities, it follows that vLBkG0(zk) − ϵvϵ, i.e. vG0(zk) ≤ v + ϵ. Therefore, zk is a global ϵ-optimum solution for the QCQP.

If the proposed algorithm does not finitely terminates after k iterations, a sufficient condition for the branch-delete-bound algorithm that is convergent to the global minimum is that the bounding operation must be consistent and the selection operation must satisfy that bound can be improved.

By the proposed branch-delete-bound algorithm, the employed branching operation is bisection, which satisfies the exhaustiveness, that is to say that any unfathomed partition can be further refined by the branching operation. Therefore, by Theorem 2.2 and the relationship between the QCQP and its linear relaxed programs problem (LRPP), it is so easy to conclude that limk→∞(UBkLBk) = 0 holds, this implies that the employed bounding operation is consistent.

By the proposed branching operation, the selected sub-rectangle Zk, which actually attained lower bound, is immediately selected for further partition in the later iteration. So that the selecting operation of the branch-delete-bound algorithm must satisfy that bound can be improved.

In general, it follows that the bounding operation is consistent and selection operation satisfy that bound can be improved. Finally, by Refs.[1, 3], we can follow that the proposed branch-delete-bound algorithm converges to the global minimum of the initial problem (QCQP). □

4 Numerical experiments

To compare the proposed branch-delete-bound algorithm with the known algorithms in computational speed and solution quality, some numerical examples in recent literature are solved on microcomputer. The solving procedure is coded in C++ software, and each linear relaxed programs problem in the solving procedure is solved by using simplex method. These test examples are listed as follows, and compared with the known methods. Numerical results are given in Tables 1-3. In Table 1 the number of algorithm iteration is denoted by “Iter.”.

Table 1

Numerical results for Examples 4.1-4.8

Example Refs. Optimal solution Optimal value Iter.
1 This paper (5.000000000, 1.000000000) −16.000000000 1
[15] (5.0, 1.0) -16.0 10
[23] (5.000000000, 1.000000000) −16.000000000 5
2 This paper (2.000000000, 1.666666667) 6.777778336 3
[17] (2.00003, 1.66665) 6.7780 44
[19] (2.000000000, 1.666666667) 6.777782016 40
[19] (2.000000000, 1.666666667) 6.777781963 32
[23] (2.000000000, 1.666666667) 6.777777779 10
3 This paper (0.500000000, 0.500000000) 0.500000361 21
[17] (0.5, 0.5) 0.5 91
[19] (0.5 0.5) 0.500004627 24
[19] (0.5, 0.5) 0.5 29
[23] (0.500000000, 0.500000000) 0.500000442 37
[24] (0.5, 0.5) 0.5 96
4 This paper (2.555730431, 3.130220581) 118.383672506 44
[22] (2.555779370, 3.130164639) 118.383756475 210
[23] (2.555745855, 3.130201688) 118.383671904 59
5 This paper (1.500000000, 1.500000000) −1.162882693 11
[23] (1.500000000, 1.500000000) −1.162882693 24
[25] (15, 1.5) −1.16288 84
6 This paper (1.177124344, 2.177124344) 1.177125181 19
[21] (1.177124327, 2.177124353) 1.177124327 432
[23] (1.177124344, 2.177124344) 1.177125051 22
7 This paper (2.000000000, 1.000000000) −1.000000000 2
[21] (2.000000, 1.000000) −1.0 24
[23] (2.000000000, 1.000000000) −0.999999410 21
8 This paper (1.0, 0.181815435, 0.983332674) −11.363551588 148
[23] (1.0, 0.181818470, 0.983332113) −11.363636364 420
[26] (0.998712, 0.196213,0.979216) −10.35 1648

Table 2

Numerical results for Example 4.9

Refs. Dimensionn Optimal value Number of iteration Time(s)
This paper 5 -25.0 1 0.00231396
10 -100.0 1 0.0153671
20 -400.0 1 0.0993256
30 -900.0 1 0.342342
40 -1600.0 1 0.919515
50 -2500.0 1 2.05164
60 -3600.0 1 3.96127
70 -4900.0 1 7.05643
80 -6400.0 1 11.7382
90 -8100.0 1 18.18
100 -10000.0 1 27.2642
200 -40000.0 1 403.016

[18] 5 -25.0 141 10.11
10 -100.0 283 21.86
20 -400.0 651 47.00
30 -900.0 965 106.33
50 -2500.0 1891 304.30

[23] 5 -25.0 12 0.0181791
10 -100.0 32 0.302157
20 -400.0 88 6.01095
30 -900.0 206 44.4965
40 -1600.0 302 98.122

[27] 5 -25.0 12 0.0187141
10 -100.0 31 0.334158
20 -400.0 86 5.93962
30 -900.0 204 44.8577

Table 3

Numerical comparisons with [27] for Example 4.10

Parameter Ref.[27] This paper

m Iter Lmax Time(s) Iter Lmax Time(s)
5 1571 300 2.92998 481 199 0.9604
10 754 171 2.56231 567 202 1.2962
20 1490 462 14.4705 381 153 1.4200
30 1829 562 36.1397 394 159 2.8441
40 1700 467 60.9473 497 178 6.2495
50 2722 429 160.367 574 205 11.5478
60 3054 518 276.695 537 221 16.4134
70 1965 521 256.028 597 234 25.568
80 2299 540 434.802 506 179 29.9703
90 1961 623 485.656 526 199 42.3564

Example 4.1

([15, 23]).

minz12+z1z2+z22+z12z2s.t.z1+z26,2z12+z22+2z1+z24,1z16,1z26.

Example 4.2

([17, 19, 23]).

minz12+z22s.t.0.3z1z21,2z1,z25.

Example 4.3

([17, 19, 23, 24]).

minz1s.t.4z24z121,z1z21,0.01z1,z215.

Example 4.4

([22, 23]).

min6z121Z22+4z2+5zs.t.6z1z248,0z1,z210.

Example 4.5

([23, 25]).

minz1+z1z20.5z2s.t.6z1+8z23,3z1z23,1z11.5,1z21.5.

Example 4.6

([21, 23]).

minz1s.t.14z1+12z2116z12116z221,114z12+114z2237z137z21,1z15.5,1z25.5.

Example 4.7

([21, 23]).

minz1z22z1+z2+1s.t.8z226z116z211,z22+3z1+2z27,1z12.5,1z22.225.

Example 4.8

([23, 26]).

min4z2+(z11)2+z2210z32s.t.z12+z22+z322,(z12)2+z22+z322,22z12,0z2,z32.

Example 4.9

([18, 23, 27]).

mini=1nzi2s.t.i=1jzjj,j{1,2,,n},zj0,i{1,2,,n}.

Compared with the known algorithms ([18, 23, 27]), the numerical results for Examples 4.1-4.9 show that the proposed algorithm can be used to globally solve the quadratically constrained quadratic programs problem with higher computational efficiency.

Example 4.10

([27]).

minG0(z)=12zTA0z+(d0)Tzs.t.Gi(z)=12zTAiz+(di)Tzbi,i=1,,m,0zj10,j=1,2,,n.

All elements of A0 and d0 are all randomly generated in [0, 1], all elements of Ai and di are all randomly generated in [−1, 0]; all bi, i = 1, 2, …, m, are randomly generated in [−300, −90], and n = 5.

The numerical comparisons of computational results for Example 4.10 are listed in the following Table 3, where n denotes the number of variables, m denotes the number of constraints. The numerical results show that our algorithm has higher computational efficiency than that of [27].

5 Concluding remarks

In this article, an effective branch-delete-bound algorithm is presented for globally solving the quadratically constrained quadratic programs problem. Based on the characteristics of quadratic function, we first introduce a new linearizing technique, by utilizing this technique the initial quadratically constrained quadratic programs problem can be converted into a linear relaxed programs problem. By utilizing the currently known upper bound and the characters of the linear relaxed programs problem of the QCQP, a deleting operation is introduced, which can be used to accelerate the convergent speed of the proposed algorithm. Next, combining the established linear relaxed programs problem with branching operation and deleting operation in a branch-and-bound framework, we formulate a branch-delete-bound algorithm for effectively solving the QCQP. By subsequently dividing the initial rectangle and subsequently solving a series of linear relaxed programs problems, the presented algorithm is convergent to the global minimum of the initial problem (QCQP). Compared with the known methods, numerical results demonstrate that the proposed branch-delete-bound method has higher computational efficiency.

  1. Competing interests

    The authors declare that they have no competing interests.

Acknowledgement

This paper is supported by the National Natural Science Foundation of China under Grant (61304061), the Natural Science Foundation of Henan Province (152300410097), the Higher School Key Scientific Research Projects of Henan Province (18A110019, 17A110021, 16A110014), the Henan Provincial Youth Backbone Teachers Training Program (2016GGJS-107), the Major Scientific Research Projects of Henan Institute of Science and Technology (2015ZD07), the Basic and Advanced Technology Research Project of Henan Province (152300410097), the High-level Scientific Research Personnel Project for Henan Institute of Science and Technology(2015037).

References

[1] Jiao H., Liu S., An efficient algorithm for quadratic sum-of-ratios fractional programs problem, Numer. Func. Anal. Opt., (in press), 10.1080/01630563.2017.1327869Search in Google Scholar

[2] Gao Y., Wei F., A new bound-and-reduce approach of nonconvex quadratic programming problems, Appl. Math. Comput., 2015, 250, 298-30810.1016/j.amc.2014.10.077Search in Google Scholar

[3] Azab A., Quadratic assignment problem mathematical modelling for process planning, Int. J. Comput. Integ. M., 2016, 29, 561- 58010.1080/0951192X.2015.1067922Search in Google Scholar

[4] Kong X., Huang G., Fan Y., Li Y., A duality theorem-based algorithm for inexact quadratic programming problems: Application to waste management under uncertainty, Eng. Optimiz., 2016, 48, 562-58110.1080/0305215X.2015.1025772Search in Google Scholar

[5] Jiao H., Chen Y., Yin J., Optimality condition and iterative thresholding algorithm for lp-regularization problems, SpringerPlus, 2016, https://doi.org/10.1186/s40064-016-3516-310.1186/s40064-016-3516-3Search in Google Scholar PubMed PubMed Central

[6] Jiao H., Wang Z., Chen Y., Global optimization algorithm for sum of generalized polynomial ratios problem, Appl. Math. Model., 2013, 37(1), 187-19710.1016/j.apm.2012.02.023Search in Google Scholar

[7] Wang Z.-J., Li K.W., Group decision making with incomplete intuitionistic preference relations based on quadratic programming models, Comput. Ind. Eng., 2016, 93, 162-17010.1016/j.cie.2016.01.001Search in Google Scholar

[8] Bose S., Gayme D.F., Chandy K.M., Low S.H., Quadratically constrained quadratic programs on acyclic graphs with application to power flow, IEEE Trans. Control Net. Syst., 2015, 2, 278-28710.1109/TCNS.2015.2401172Search in Google Scholar

[9] Jiao H., Liu S., Yin J., Zhao Y., Outcome space range reduction method for global optimization of sum of affine ratios problem, Open Math., 2016, 14, 736-74610.1515/math-2016-0058Search in Google Scholar

[10] Sherali H.D., Tuncbilek C.H., A reformulation-convexification approach for solving nonconvex quadratic programming problems, J. Glob. Optim., 1995, 7, 1-3110.1007/BF01100203Search in Google Scholar

[11] Voorhis T.V., A global optimization algorithm using lagrangian underestimates and the interval newton method, J. Glob. Optim., 2002, 24, 349-37010.1023/A:1020383700229Search in Google Scholar

[12] Linderoth J., A simplicial branch-and-bound algorithm for solving quadratically constrained quadratic programs, Math. Program., 2005, 103, 251-28210.1007/s10107-005-0582-7Search in Google Scholar

[13] Burer S., Vandenbussche D., A finite branch-and-bound algorithm for nonconvex quadratic programming via semidefinite relaxations, Math. Program., 2008, 113, 259-28210.1007/s10107-006-0080-6Search in Google Scholar

[14] Zheng X.J., Sun X.L., Li D., Convex relaxations for nonconvex quadratically constrained quadratic programming: matrix cone decomposition and polyhedral approximation, Math. Program., 2011, 129, 301-32910.1007/s10107-011-0466-ySearch in Google Scholar

[15] Thoai N.V., Duality Bound Method for the General Quadratic Programming Problem with Quadratic Constraints, J. Optim. Theory Appl., 2000, 107, 331-35410.1023/A:1026437621223Search in Google Scholar

[16] Shen P., Duan Y., Ma Y., A robust solution approach for nonconvex quadratic programs with additional multiplicative constraints, Appl. Math. Comput., 2008, 201, 514-52610.1016/j.amc.2007.12.039Search in Google Scholar

[17] Gao Y., Shang Y., Zhang L., A branch and reduce approach for solving nonconvex quadratic programming problems with quadratic constraints, OR transactions, 2005, 9, 9-20Search in Google Scholar

[18] Gao Y., Xue H., Shen P., A new rectangle branch-and-reduce approach for solving nonconvex quadratic programming problems, Appl. Math. Comput., 2005, 168, 1409-141810.1016/j.amc.2004.10.024Search in Google Scholar

[19] Shen P., Liu L., A global optimization approach for quadratic programs with nonconvex quadratic constraints, Chin. J. Eng. Math., 2008, 25, 923-926Search in Google Scholar

[20] Qu S.-J., Zhang K.-C., Ji Y., A global optimization algorithm using parametric linearization relaxation, Appl. Math. Comput., 2007, 186, 763-77110.1016/j.amc.2006.08.028Search in Google Scholar

[21] Shen P., Jiao H., A new rectangle branch-and-pruning appproach for generalized geometric programming, Appl. Math. Comput., 2006, 183, 1027-103810.1016/j.amc.2006.05.137Search in Google Scholar

[22] Wang Y., Liang Z., A deterministic global optimization algorithm for generalized geometric programming, Appl. Math. Comput., 2005, 168, 722-73710.1016/j.amc.2005.01.142Search in Google Scholar

[23] Jiao H., Chen Y., A global optimization algorithm for generalized quadratic programming, J. Appl. Math., 2013, http://dx.doi.org/10.1155/2013/21531210.1155/2013/215312Search in Google Scholar

[24] Wang Y.J., Zhang K.C., Gao Y.L., Global optimization of generalized geometric programming, Comput. Math. Appl., 2004, 48, 1505-151610.1016/j.camwa.2004.07.008Search in Google Scholar

[25] Shen P., Linearization method of global optimization for generalized geometric programming, Appl. Math. Comput., 2005, 162, 353-37010.1016/j.amc.2003.12.101Search in Google Scholar

[26] Shen P., Li X., Branch-reduction-bound algorithm for generalized geometric programming, J. Glob. Optim., 2013, 56, 1123-114210.1007/s10898-012-9933-0Search in Google Scholar

[27] Jiao H., Liu S., Lu N., A parametric linear relaxation algorithm for globally solving nonconvex quadratic programming, Appl. Math. Comput., 2015, 250, 973-98510.1016/j.amc.2014.11.032Search in Google Scholar

[28] Jiao H., Liu S., Zhao Y., Effective algorithm for solving the generalized linear multiplicative problem with generalized polynomial constraints, Appl. Math. Model., 2015, 39, 7568-758210.1016/j.apm.2015.03.025Search in Google Scholar

Received: 2017-1-21
Accepted: 2017-7-25
Published Online: 2017-10-3

© 2017 Hou et al.

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Downloaded on 18.5.2024 from https://www.degruyter.com/document/doi/10.1515/math-2017-0099/html
Scroll to top button