Name:

MATP6620/ISYE6770
Integer and Combinatorial Optimization
Spring 2023.

Solutions

Midterm Exam, Tuesday, March 28, 2023.

Please do all four problems. Show all work. No books or calculators allowed. You may use any result from class, the homeworks, or the texts, except where stated. You may use one sheet of handwritten notes. The exam lasts 110 minutes.

Q1       /30



Q2       /30



Q3       /15



Q4       /25






Total      /100
  1. (30 points) We consider a fixed charge network flow problem where there are both incoming and outgoing arcs at a node D, as illustrated below.

    The flow variables satisfy the fixed charge constraints 0 x1 3y1 and 0 x2 9y2 where yj is a binary variable. The set of feasible solutions at D is given by

                2       2
T  = {x ∈ ℝ +,y ∈ B  : x2 - x1 ≤ 2,0 ≤ x1 ≤ 3y1,0 ≤  x2 ≤ 9y2}.

    A fixed charge inequality is

                                   ∑           ∑             ∑
x2 +  (9 - λ)+(1 - y2) ≤  2 +      aj +  λ     yj +              xj
                                 -           -         -   -   -
                              j∈C         j∈L       j∈N  \(C  ∪L )
    (1)

    where C- N- = {1} and L- N-\ C- are disjoint subsets and a 1 = 3 denotes the capacity of the incoming arc. The parameter λ = 9 - jC-aj - 2.

    Note: We have three choices for C- and L-: (i) C- = {1},L- = ,N-\ (C-L-) = , (ii) C- = ,L- = {1},N-\ (C-L-) = , (iii) C- = ,L- = ,N-\ (C-L-) = {1}.

    1. (10 points) Show equation (1) is satisfied by all points in T when y2 = 1, regardless of the choice of C- and L-.

      Solution: We consider the three cases: In each case, the left hand side of (1) becomes x2 when y2 = 1

      • C- = {1}: Here, the right hand side of (1) is 2 + a 1 = 5 2 + x1. So (1) is weaker than x2 - x1 2.

      • L- = {1}: Here, λ = 7. Two subcases: (α) y 1 = 0: Then x1 = 0 so from the definition of T we need x2 2, which is equivalent to (1) in this case. (β) y1 = 1: then (1) becomes x2 2 + 7 = 9, which is weaker than defined in T.

      • N- \ (C- L-) = {1}: In this case, (1) becomes x 2 2 + x1, as in the definition of T.

      Hence (1) is satisfied by all points in T with y2 = 1.

    2. (15 points) Show equation (1) is satisfied by all points in T when y2 = 0, regardless of the choice of C- and L-.

      Solution: Note that y2 = 0 implies x2 = 0, so the left hand side of (1) is (9 - λ)+. We consider the three cases:

      • C- = {1}: Here, λ = 4 so the left hand side of (1) is 5. The right hand side of (1) is 2 + a1 = 5 also, so (1) is satisfied..

      • L- = {1}: Here, λ = 7 so the left hand side of (1) is 2. The right hand side of (1) is 2 + λy2 2, so the equation is satisfied.

      • N-\ (C-L-) = {1}: In this case, λ = 7 so the left hand side of (1) is 2, and as in the previous case, the right hand side is at least as large.

      Hence (1) is satisfied by all points in T with y2 = 0.

    3. (5 points) The point x = (3, 5), y = (1,59) is in the LP relaxation of the feasible region. Show equation (1) is violated by this point, for two different choices of C- and L-.

      Solution: Two cases:

      • C- = {1},L- = : Here, λ = 4 so (1) becomes

               4
5 + 5 *-- ≤ 2 + 3
       9

        which is clearly violated.

      • C- = ,L- = : Here, λ = 7 so (1) becomes

               4-
5 + 2 * 9 ≤ 2 + x1  ≤ 2 + 3

        which is clearly violated.

  2. Let

               5
S = {x ∈  B  : 5x1 + 7x2 + 4x3 + 3x4 + 5x5 ≤ 13 }.
    1. (10 points) Show the valid inequality x2 + x4 + x5 2 has Chvatal-Gomory rank equal to one.

      Solution: We take the following nonnegative combination of the original constraints:

      1(5x  + 7x  + 4x  + 3x  + 5x    ≤  1)
7    1     2     3     4     5
                        + 47(x4   ≤  1)
                          2
                        + 7(x5   ≤  1)

      giving the valid inequality

      5          4                 19
-x1 + x2 + --x3 + x4 + x5 ≤  ---
7          7                 7

      Rounding down the left hand side then rounding down the right hand side gives the valid inequality x2 + x4 + x5 2, showing the inequality does indeed have C-G rank equal to 2.

      S = {x ∈  B5 : 5x1 + 7x2 + 4x3 + 3x4 + 5x5 ≤ 13 }.
    2. (10 points) Show that x2 + x4 + x5 2 defines a facet of conv(S).

      Solution: Note first that the knapsack polytope is full-dimensional.

      There are at least 2 methods to show the inequality defines a facet: using lifting, or finding 5 affinely independent feasible solutions on the face. We use the second approach.

      The five points are:

      (A) : x = (0,1,0,1,0)

(B ) : x = (0,1,0,0,1)
(C) : x = (0,0,0,1,1)
(D ) : x = (1,0,0,1,1 )
(E) : x = (0,0,1,1,1)

      We show these 5 vectors are linearly independent, placing them as columns of a matrix after permuting the components:

            A   B   C  D   E
     ⌊                ⌋
x2      1  1  0  0  0
x4   ||  1  0  1  1  1 ||
x5   ||  0  1  1  1  1 ||
x1   ⌈  0  0  0  1  0 ⌉
x       0  0  0  0  1
  3

      Subtracting the x2 row from the x4 row, and then adding the x4 row to the x5 row gives an upper-triangular matrix with nonzeroes on the diagonal. Hence the 5 vectors are linearly independent, so they are affinely independent, so the constraint defines a facet of S.

      S = {x ∈  B5 : 5x1 + 7x2 + 4x3 + 3x4 + 5x5 ≤ 13 }.
    3. (10 points) Strengthen the valid inequality x1 + x2 + x5 2 by lifting it.

      Solution: Lifting first on x3: We solve

      maxx   x1 + x2 + x5
s.t    x ∈  S
       x  = 1
        3
       x4 = 0

      Optimal value is ζ = 11 so lifting coefficient for x3 is α = 2 - ζ = 1.

      Now lifting on x4: We solve

      maxx   x1 + x2 + x3 + x5
s.t     x ∈ S
       x =  1
        4

      Optimal value is ζ = 2 so lifting coefficient for x4 is α = 2 - ζ = 0.

      Hence we obtain a lifted inequality of x1 + x2 + x3 + x5 2.

      Note that even if we lift in the opposite order, we obtain the same inequality.

  3. Consider the MaxCut problem on K5, the complete graph on 5 vertices. Let V and E denote the sets of vertices and edges of K5, respectively. You may assume the convex hull of feasible solutions is full-dimensional.

    1. (5 points) Show from first principles that the maximum number of edges in any cut is 6.

      Solution:

      If all 5 vertices are on the same side of the cut then 0 edges are in the cut.

      If 4 vertices are on 1 side and the last vertex on the other side, then the cut contains 4 edges. If 3 vertices are on 1 side and 2 on the other, then 6 edges are in the cut.

    2. (10 points) It follows from part 3a that the constraint eExe 6 is valid for the MaxCut problem on K5. How would you try to show that this constraint gives a facet of the convex hull of cuts? (Note: I do not want you to show that it is a facet; instead, I want you to tell me what points you might consider, and what you might try to do with those points.)

      Solution:

      It was proved in class that the convex hull of the MaxCut polytope is full-dimensional. K5 has 10 edges, so the dimension of the convex hull is 10.

      Thus, to prove our inequality is a facet, we need to find 10 affinely independent points that satisfy the constraint at equality.

      There are 10 ways to put three vertices on one side of the cut and 2 on the other, so the incidence vectors of these cuts give the candidate points.

  4. (25 points; each part is worth 5 points) For each of the following statements, determine whether it is TRUE or FALSE, and give a short justification (one or two sentences).

    1. If G = (V,E) is a perfect graph then its complement graph is also perfect.

      Solution:

      TRUE: This is a result from the notes.

    2. Let G = (V,E) be a graph. If the maximum cardinality node packing on G has the same size as the minimum cardinality clique cover on G then G is a perfect graph.

      Solution:

      FALSE: need the equality to also hold for every subgraph of G.

    3. The node-arc incidence matrix of an undirected graph is totally unimodular.

      Solution:

      FALSE: It’s true for bipartite graphs and for directed graphs. It’s not true for odd cycles; eg, the 3-cycle gives a node-arc incidence matrix of determinant 2 or -2 (the sign depends on the ordering of the columns).

    4. Assume x +n satisfies the inequalities gT x 1 and hT x 1. Then x also satisfies j=1n max{g j,hj}xj 1.

      Solution:

      TRUE: This is a result from the notes.

    5. Assume the nonnegative integer vector x satisfies x1 + 0.7x2 + 0.2x3 = 5.4. Then x also satisfies 0.2x2 + 0.2x3 0.4.

      Solution:

      TRUE: this is the strong Gomory cut from the original constraint.

      Alternatively, the constraint is equivalent for x2 + x3 2. If we look at the three nonnegative integers choices of x1 and x2 that violate this constraint, it is easy to see that none of them lead to an integer solution to the original equation.