ILP'den SAT'a çoklu zaman azaltımı?


14

Dolayısıyla, bilindiği gibi, ILP'nin 0-1 karar problemi NP-tamamlanmıştır. NP'de olduğunu göstermek kolaydır ve orijinal indirgeme SAT'dan yapılmıştır; o zamandan beri, diğer birçok NP-Complete probleminin ILP formülasyonlarına (bu problemlerden ILP'ye indirgeme işlevi gören) sahip olduğu gösterilmiştir, çünkü ILP çok faydalıdır.

ILP'den gelen indirimleri kendim yapmak ya da takip etmek çok daha zor görünüyor.

Bu yüzden sorum şu: Herkes ILP'den SAT'a bir poli-zaman düşüşü biliyor mu, yani SAT kullanarak 0-1 ILP karar sorununun nasıl çözüleceğini gösteriyor?

Yanıtlar:


12

0-1 ILP aşağıdaki gibi formüle edilmiştir:

Kısıtlamalara tabi olarak bir vektörü var mı :x

a11x1+a12x2...+a1nxnb1a21x1+a22x2...+a2nxnb2...am1x1+am2x2...+amnxnbm

xjxxj{0,1}

K-sat'a indirgeme:

Önce devre oturumu azalt:

a1jxjb1

b1

a1jb1

xj

Nihai CNF tüm kısıtlamaları içerecektir.


Ah, şimdi görüyorum ... Bir şekilde oturdu devre geçme seçeneğini unuttum .... Yardımınız için çok teşekkürler.
codetaku

0

Zaten cevaplanmış ve kabul edilmiş bir soruya bir çeşit nekro cevaptır, ancak şunu belirtmek isterim ki, gerçekten daha kolay bir yol var.

Bunun gibi eşitsizliklerden birine sahip olduğunuzu düşünün:

5x1+2x2+3x36

(1,1,1)(1,1,0)(1,0,1)

(1,1,1)¬(x1x2x3)(¬x1¬x2¬x3)

(¬x1¬x2¬x3)(¬x1¬x2x3)(¬x1x2¬x3)

Tüm eşitsizliklerin üzerinden geçip yan tümceleri toplayarak sonunda CNF alacaksınız. Genellikle bu CNF kabul edilen cevap sonucu WAY SIMPLER, sonra bir olacak. Yine de, maliyet ön işlemden daha zordur.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.