Lewati ke konten utama

Subbab 13.6 Solusi Bilangan Bulat untuk Masalah Pemrograman Linear

Masalah pemrograman linear adalah masalah optimisasi yang dapat dinyatakan dalam bentuk berikut: tentukan nilai maksimum dari fungsi linear
\begin{equation*} c_1x_1+c_2x_2+c_3x_3+\dots+c_n x_n \end{equation*}
dengan tunduk pada \(m\) kendala \(C_1\text{,}\) \(C_2,\dots,C_m\text{,}\) dengan setiap kendala \(C_i\) berupa persamaan linear berbentuk
\begin{equation*} C_i:\quad a_{i1}x_1+a_{i2}x_2+a_{i3}x_3+\dots+a_{in}x_n=b_i \end{equation*}
dengan semua koefisien dan konstanta berupa bilangan real.
Walaupun pokok bahasan umum pemrograman linear terlalu luas untuk mata kuliah ini, penting bagi kita untuk mencatat hal-hal berikut:
  1. Masalah pemrograman linear merupakan kelas masalah optimisasi yang sangat penting dan mempunyai banyak penerapan dalam bidang teknik, sains, dan industri.
  2. Terdapat algoritma yang relatif efisien untuk menemukan solusi masalah pemrograman linear.
  3. Masalah pemrograman linear dengan koefisien dan konstanta rasional mempunyai solusi optimal bernilai rasional—jika masalah tersebut memang mempunyai solusi optimal.
  4. Masalah pemrograman linear dengan koefisien dan konstanta bilangan bulat tidak harus mempunyai solusi optimal bernilai bilangan bulat—meskipun mempunyai solusi optimal bernilai rasional.
  5. Salah satu tema yang sangat penting dalam riset operasi ialah menentukan kapan masalah pemrograman linear yang dirumuskan dengan bilangan bulat mempunyai solusi optimal bernilai bilangan bulat. Persoalan ini halus dan sering kali sangat sulit.
  6. Masalah menemukan aliran maksimum dalam suatu jaringan merupakan kasus khusus dari masalah pemrograman linear.
  7. Masalah aliran jaringan yang semua kapasitasnya berupa bilangan bulat mempunyai aliran maksimum dengan aliran bernilai bilangan bulat pada setiap sisi. Algoritma pelabelan Ford–Fulkerson menjamin hal ini!
  8. Secara umum, algoritma pemrograman linear tidak digunakan pada jaringan. Sebagai gantinya, algoritma khusus seperti Ford–Fulkerson terbukti lebih efisien dalam praktik.