Mip Part-2
Mip Part-2
safarina@its.ac.id
Overview
Kemudian, Branch and bound diusulkan pada tahun 1960 oleh Land dan Dong.
Metode ini berdasarkan pada pembagian masalah menjadi sejumlah masalah
yang lebih kecil (branching ) dan mengevaluasi kualitasnya berdasarkan
penyelesaian program linear dasar (bounding ). Branch and bound telah
menjadi teknik yang paling efektif untuk menyelesaikan MILP selama sekian
puluh tahun berikutnya atau lebih.
(MILP) minimumkan cT x
dengan kendala Ax ≥ b,
x ≥ 0,
xj integer untuk j = 1, . . . , p.
(R) minimumkan cT x
dengan kendala Ax ≥ b,
x ≥0
Ketika solusi optimal x ∗ dari program linear yang diperkuat adalah valid untuk
(MILP), maka x ∗ juga merupakan solusi optimal dari (MILP). Bahkan ketika
hal ini tidak terjadi, program linear yang diperkuat dapat memberikan batasan
bawah yang lebih baik dalam konteks algoritma branch-and-bound. Bagaimana
kita menghasilkan pertidaksamaan yang valid untuk (MILP)?
Cutting Planes - Bagian 2
X X X
fj xj + (fj − 1)xj + aj xj = k + f0
j∈I :fj ≤f0 j∈I :fj ≥f0 j∈C
atau
X fj X 1 − fj X aj
− xj + xj − xj ≥ 1
1 − f0 1 − f0 1 − f0
j∈I :fj ≤f0 j∈I :fj ≥f0 j∈C
1
aj2 xj ≥ 1 yang
P P
Pertidaksamaan di atas merupakan bentuk ≥ 1 atau j aj xj j
max(aj1 , aj2 )xj ≥ 1 untuk x = 0.
P
meingimplikasikan
Cutting Planes: Gomory Cuts - Bagian 4
X fj X 1 − fj X aj X aj
xj − xj + xj − xj ≥ 1.
f0 1 − f0 f0 1 − f0
j∈I :fj ≤f0 j∈I :fj ≥f0 j∈C j∈C
memaksimumkan z = x1 + x2
dengan kendala − x1 + x2 ≤ 2
8x1 + 2x2 ≤ 19
x1 , x2 ≥ 0
x1 , x2 integer
z − x1 − x2 = 0
−x1 + x2 + x3 = 2
8x1 + 2x2 + x4 = 19
x1 , x2 ≥ 0
x1 , x2 integer
Cutting Planes: Gomory Cuts - Contoh (lanjutan)
Menggunakan simplex tableu atau xB = B −1 b − B −1 NxN diperoleh
z + 0.6x3 + 0.2x4 = 5
x2 + 0.8x3 + 0.1x4 = 3.5
x1 − 0.2x3 + 0.1x4 = 1.5
x1 , x2 , x3 , x4 ≥ 0.
Solusi yang berkaitan adalah x3 = x4 = 0, x1 = 1.5, x2 = 3.5 dan z = 5. Tapi,
solusi ini tidak integer.