Jika kita mempertimbangkan masalah minimalisasi , maka pengurangan berikut ini menunjukkan bahwa suatu algoritma berjalan dalam waktu untuk akan menyangkal SETH. Reformulasi membuktikan hasil yang sama untuk masalah yang dimaksudkan (versi maksimalisasi).miny{cTy:Ay≥b,y∈{0,1}n}O(2δn/2)δ<1
Diberikan instance dari CNF-SAT dengan variabel , merumuskan IP 0-1 dengan dua variabel untuk setiap variabel dalam instance SAT. Seperti biasa, klausa akan direpresentasikan sebagai . Kemudian untuk setiap variabel dalam instance SAT, tambahkan batasan . Tujuannya adalah untuk meminimalkan . Tujuan dari IP akan menjadi jika turunan SAT memuaskan.Φ=∧mi=1Ci{xj}nj=1yj,y¯¯¯jxj(x1∨x¯¯¯2∨x3)y1+y¯¯¯2+y3≥1xjyj+y¯¯¯j≥1∑nj=1(yj+y¯¯¯j)n
Terima kasih kepada Stefan Schneider untuk koreksi.
Pembaruan: pada Nyala Sekeras CNF-Sat , penulis menduga bahwa SET COVER tidak dapat diselesaikan dalam waktu , , di mana mengacu pada jumlah set. Jika benar, ini akan menunjukkan bahwa masalah saya tidak dapat diselesaikan pada waktu juga.O(2δn)δ<1nO(2δn)
Pembaruan 2. Sejauh yang saya tahu, dengan asumsi SETH, masalah saya tidak dapat diselesaikan dalam waktu , karena telah ditunjukkan bahwa Hitting Set (dengan ukuran dasar ground ) tidak dapat diselesaikan dipecahkan dalam waktu .O(2δn)nO(2δn)