Materi
Coffelt dan Hendrickson (§5.2) menyebut tiga kemungkinan solusi program linear: tidak ada solusi, tepat satu solusi optimum, atau banyak solusi optimum. Soal tidak punya solusi bila kendalanya saling bertentangan, misalnya x < 1 sekaligus x > 5, sehingga daerah layaknya kosong. Sekhon dan Bloom (§3.2) menambahkan penyebab kedua: daerah layak yang tak terbatas pada soal maksimasi, sehingga nilai tujuan bisa terus membesar.
linprog melaporkan kasus-kasus itu lewat status: 0 berarti optimum ditemukan, 2 berarti soal tampaknya tak layak, dan 3 berarti soal tampaknya tak terbatas; message memuat penjelasan dari HiGHS. Dokumentasinya juga memperingatkan bahwa tahap presolve berhenti begitu melihat tanda tak terbatas, sehingga soal yang sebenarnya tak layak kadang dilaporkan tak terbatas. Panduan pengguna SciPy memperlihatkan contoh soal tak layak yang menjadi layak setelah satu batas variabel dilonggarkan.
Solusi majemuk terjadi bila garis fungsi tujuan sejajar dengan salah satu sisi daerah layak. Dua titik sudut di ujung sisi itu memberi nilai optimum yang sama, dan menurut Coffelt dan Hendrickson setiap titik di ruas antara keduanya juga optimum. linprog tetap berstatus 0 dan hanya mengembalikan salah satu titik, jadi solusi majemuk dikenali dengan membandingkan nilai tujuan di titik-titik sudut.
from scipy.optimize import linprog
res = linprog([1, 1], A_ub=[[1, 1], [-1, -1]], b_ub=[2, -3]) # x + y <= 2 dan x + y >= 3
print(res.status) # 2
print(res.message) # The problem is infeasible. ...