Kesetaraan pengecekan kelayakan dan optimisasi untuk sistem linier


15

Salah satu cara untuk menunjukkan bahwa memeriksa kelayakan sistem linear ketidaksetaraan sama sulitnya dengan pemrograman linear adalah melalui pengurangan yang diberikan oleh metode ellipsoid. Cara yang lebih mudah adalah menebak solusi optimal dan memperkenalkannya sebagai kendala melalui pencarian biner.

Kedua pengurangan ini polinomial, tetapi tidak sangat polinomial (yaitu mereka bergantung pada jumlah bit dalam koefisien ketidaksetaraan).

Apakah ada pengurangan polinomial dari optimasi LP ke kelayakan LP?


1
sebenarnya tidak. Seperti yang Anda katakan. Saya menyadari bahwa optimasi LP memecahkan kelayakan LP. Saya meminta pengurangan sebaliknya.
Suresh Venkat

3
Nah, output untuk optimasi dapat memiliki bit sebanyak "jumlah bit dalam koefisien", sedangkan kelayakannya adalah ya / tidak. Dengan demikian, jika dengan reduksi berarti sesuatu "kotak hitam" -ya maka jawabannya pasti negatif.
Noam

1
Tetapi, jika pemeriksaan kelayakan tidak hanya memberikan jawaban ya / tidak seperti yang dibahas oleh Noam di atas, tetapi dalam kasus kelayakan memberikan solusi yang layak, maka jawabannya adalah ya, oleh dualitas LP.
Kristoffer Arnsfelt Hansen

2
@ SureshVenkat: Misalkan primal adalah program maksimalisasi dalam variabel , dengan dual kemudian menjadi program minimisasi dalam variabel y . Kemudian membentuk sistem ketidaksetaraan dalam variabel x , y , dengan mengambil kendala dari kedua primal dan ganda, bersama dengan ketidaksetaraan yang menyatakan bahwa nilai solusi primal setidaknya nilai dari solusi ganda. Kasus-kasus LP yang tidak layak dan tidak terikat juga dapat ditangani. xyx,y
Kristoffer Arnsfelt Hansen

1
Bagaimana dengan polytopes / polyhedra yang didefinisikan oleh kendala implisit?
Chandra Chekuri

Jawaban:


8

Jawabannya adalah ya, dan pada kenyataannya orang bahkan dapat mengurangi masalah keputusan kelayakan linear ketidaksetaraan!

Kita sebagai input diberikan instance LP P: .maxcTx s.t. Axb ; x0

Kami juga memiliki akses ke oracle yang memberikan sistem ketidaksetaraan mengembalikan ya / tidak, apakah sistem tersebut layak atau tidak.S={Bzd}

Pengurangan sekarang menghasilkan sebagai berikut:

  1. Tes jika layak. Jika tidak, kami dapat melaporkan bahwa P INFEASIBLE.S1={Axb ; x0}
  2. Bentuk program dual D: .minbTy s.t. ATyc ; y0
  3. Tes jika layak. Jika tidak, kami dapat melaporkan bahwa P TIDAK DIUNDANG.S2={Axb ; x0 ; ATyc ; y0 ; bTycTx}
  4. Iterasi atas ketidaksetaraan dan coba tambahkan satu per satu sebagai persamaan (yaitu, tambahkan ketidaksetaraan terbalik) ke sistem S 2 . Jika sistem tetap layak kami menjaga kendala di S 2 , dan jika tidak menghapusnya lagi. Biarkan S 3 menjadi sistem kendala (persamaan linear) yang ditambahkan dengan cara ini. Sistem S 3 sekarang akan sepenuhnya menentukan solusi dasar yang optimal untuk P.S1S2S2S3S3
  5. Menggunakan Gaussian Elimination pada sistem menghitung solusi optimal x to P.S3x

S2P

@ Hengxin. Itu menulis di baris pertama dari jawaban saya bahwa jawabannya adalah ya bahkan ketika mempertimbangkan untuk mengurangi masalah keputusan. Di bawah ini saya jelas membuat asumsi itu, dan karenanya langkah 4 dan 5 diperlukan.
Kristoffer Arnsfelt Hansen
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.