A growing collection of bilevel problems
b_1984_01 : Linear-Linear problem from [Bard, 1984]

| Objective values | Solution points | 
|---|---|
| F* = 3.111 | x* = 0.889 | 
| f* = -6.667 | y* = 2.222 | 
Original source:
Other sources:
AMPL formatvar x >= 0, <= 10;         # Outer variable
var y >= 0, <= 10;         # Inner variable
var l{1..6} >= 0, <= 10;   # KKT Multipliers
minimize outer_obj: x + y;  # Outer objective
subject to
# Inner objective:
    inner_obj: -5*x - y = 0;
# Inner constraints
    inner_con1:    -x - 0.5*y + 2 <= 0;
    inner_con2:    -0.25*x + y - 2 <= 0;
    inner_con3:     x + 0.5*y - 8 <= 0;
    inner_con4:     x - 2*y - 2 <= 0;
# KKT conditions:
    stationarity:    -1 - 0.5*l[1] + l[2] + 0.5*l[3] - 2*l[4] - l[5] + l[6] = 0;
    complementarity_1: l[1]*(-x - 0.5*y + 2) = 0;
    complementarity_2: l[2]*(-0.25*x + y - 2) = 0;
    complementarity_3: l[3]*(x + 0.5*y - 8) = 0;
    complementarity_4: l[4]*(x - 2*y - 2) = 0;
    complementarity_5: l[5]*y = 0;
    complementarity_6: l[6]*(y - 10) = 0;