Example 2

menunjukkan bagaimana formulasi Stockco dapat

dimodifikasi untuk menangani kendala tambahan.
Permasalahan
Ubah formulasi Stockco untuk memperhitungkan masing-masing persyaratan
berikut::

1. Stockco dapat berinvestasi pada kebanyakan dua investasi.

2. Jika Stockco berinvestasi dalam investasi 2, mereka juga harus berinvestasi
dalam investasi 1.
3. Jika Stockco berinvestasi dalam investasi 2, mereka tidak dapat berinvestasi
dalam investasi 4.
 Solusi 1: Cukup menambahkan batasannya ke (9).
• 
Karena setiap pilihan dari tiga atau empat investasi akan memiliki , (10) tidak termasuk
dari pertimbangan semua kombinasi investasi yang melibatkan tiga atau lebihinvestasi.
Jadi, (10) mengeliminasi dari pertimbangan secara tepat kombinasi investasi yang tidak
memenuhi persyaratan pertama. Dalam hal dan , persyaratan ini menyatakan bahwa jika
, maka juga harus sama dengan 1. Jika kita menambahkan kendala ke (9),

atau (11)

maka kita akan memenuhi persyaratan kedua. Untuk menunjukkan bahwa (11)
ekuivalen dengan persyaratan 2, kita pertimbangkan dua kemungkinan: atau .
••  Kasus 1

. Jika , maka (11) menyiratkan bahwa . Karena harus sama dengan 0

atau 1, ini menyiratkan bahwa , seperti yang dipersyaratkan oleh 2.
• Kasus 2
. Dalam hal ini, (11) direduksi menjadi , yang memungkinkan atau .
Dalam pendek, jika , (11) tidak membatasi nilai dari . Hal ini juga sesuai
dengan persyaratan 2. Singkatnya, untuk setiap nilai , (11) setara dengan
persyaratan 2.
Solusi 2: Cukup menambahkan kendala ke (9)
• 
Kami sekarang menunjukkan bahwa untuk dua kasus dan , (12) setara dengan
persyaratan ketiga.
•  Kasus 1

. Dalam hal ini, kami berinvestasi dalam investasi 2, dan persyaratan 3

menyiratkan bahwa Stockco tidak dapat berinvestasi dalam investasi 4
(yaitu, harus sama dengan 0). Perhatikan bahwa jika , maka (12)
menyiratkan , atau . Jadi, jika , maka (12) konsisten dengan persyaratan
3.
• Kasus 2
. Dalam hal ini, persyaratan 3 tidak membatasi nilai . Perhatikan bahwa
jika , lalu (12) direduksi menjadi , yang juga membuat bebas sama
dengan 0 atau 1.