Sirkuit aritmatika dengan

12

Pertimbangkan rangkaian yang mengambil sebagai input angka dalam [0,1] , dan memiliki gerbang yang terdiri dari fungsi max(x,y) , min(x,y) , 1x , dan x+y2 . Output dari rangkaian kemudian juga angka dalam [0,1] .

Adakah yang tahu kalau model ini, atau model yang berkaitan erat, telah dipelajari?

Secara khusus, saya mencoba untuk memecahkan masalah kepuasan untuk sirkuit ini, yaitu menghitung nilai maksimum yang dapat dicapai oleh sirkuit ini (itu memang mencapai maksimum, karena itu merupakan fungsi kontinu dalam domain kompak).

Catatan: studi saya tentang model ini adalah melalui logika temporal tertimbang, sehingga setiap model yang berhubungan dengan yang terakhir mungkin juga berguna.

Shaull
sumber
5
Tentunya masalah ini NP-hard. (Melalui kepuasan: Anda memiliki xymax{x,y} dan ¬x1x , yang dengannya Anda dapat melakukan AND, ATAU, dan TIDAK.) Jadi, pertanyaan Anda adalah apakah atau tidak masalah ini di NP? Pertanyaan keputusan apakah rangkaian seperti itu memiliki input yang menghasilkan nilai 1 tampaknya berada di NP, karena, jika ada input seperti itu, ada satu yang 0/1.
Neal Young
3
Jika kita tidak menentukan secara pasti salah satu dari kemungkinan nilai kebenaran untuk , di mana adalah semua pasangan node sedemikian sehingga simpul atau muncul di sirkuit, ini berubah menjadi masalah pemrograman linier, yang dipecahkan dalam P. Dengan demikian, versi keputusan masalah maksimisasi asli adalah dalam NP. (Ini adalah varian dari masalah kepuasan dalam logika Łukasiewicz, jadi Anda mungkin ingin melihat bab Haniková dalam Buku Pegangan Logika Fuzzy Matematika untuk informasi terkait.)2nxyx,ymin(x,y)max(x,y)
Emil Jeřábek
5
@ Samull: Izinkan saya menggambarkannya dengan lebih rinci. Misalkan menjadi simpul dari rangkaian yang merupakan gerbang min atau maks (di sini dibatasi oleh ukuran rangkaian), dan biarkan dan menjadi simpul input gerbang . Untuk setiap , pilih kendala tambahan atau . Ada pilihan seperti itu. Ketika pilihan seperti itu diperbaiki, Anda dapat menyederhanakan sirkuit dengan mengganti dengan atau{ai:i<m}mbiciaii<mbicicibi2maibicijika sesuai, maka itu berubah menjadi sistem persamaan linear yang variabelnya adalah variabel asli dari masalah, dan variabel tambahan yang sesuai dengan ...
Emil Jeřábek
4
... node dalam rangkaian. Sertakan ketidaksetaraan yang menyatakan bahwa kendala tambahan dipenuhi, ketidaksetaraan mengikat variabel asli ke , dan ketidaksetaraan yang menyatakan bahwa simpul keluaran memiliki nilai . Maka ini adalah program linier tergantung pada pilihan kendala tambahan, dan sirkuit mendapatkan nilai iff ada pilihan kendala sehingga program linier terkait memiliki solusi. m[0,1]uu
Emil Jeřábek
5
Perhatikan juga bahwa nilai optimal dari program linier diperoleh pada titik puncak polytope. Ini berarti bahwa penyebut dari solusi optimal dapat dinyatakan sebagai penentu matriks dimensi yang entri adalah bilangan bulat ukuran konstan, dan hanya ada entri bukan nol di setiap baris, dan dengan demikian dibatasi oleh . O(n)O(1)2O(n)
Emil Jeřábek

Jawaban:

12

Masalah kepuasan untuk sirkuit ini (yaitu, diberi sirkuit dan , memutuskan apakah ada input sehingga ) berada di NP, dan karenanya NP-diisi oleh Komentar Neal Young dan jawaban Peter Shor.Cu[0,1]xC(x)u

Kita dapat membangun pengurangan masalah yang tidak ditentukan untuk pemrograman linear dengan cara berikut. Biarkan menjadi semua simpul yang merupakan gerbang min atau maks (di sini , di mana adalah ukuran sirkuit), dan biarkan dan menjadi simpul input gerbang . Untuk setiap , pilih salah satu dari dua batasan tambahan atau (ada kemungkinan pilihan secara total). Ketika pilihan seperti itu diperbaiki, kita dapat menyederhanakan sirkuit dengan mengganti setiap dengan atau{ai:i<m}Cmnnbiciaii<mbicicibi2maibicisebagaimana layaknya, dan sirkuit yang dihasilkan dapat dijelaskan oleh sistem persamaan linear yang variabel-variabelnya adalah variabel input asli dari sirkuit, dan variabel tambahan yang sesuai dengan simpul-simpul sirkuit.n

Kami juga menyertakan ketidaksetaraan yang menyatakan bahwa kendala ekstra puas, ketidaksetaraan berlari variabel input asli untuk , dan ketimpangan yang menyatakan bahwa output node memiliki nilai . Maka ini adalah program linier ukuran tergantung pada pilihan kendala tambahan, dan sirkuit mencapai nilai iff jika ada pilihan kendala sehingga program linier terkait memiliki solusi. Karena pemrograman linear dalam P, ini menunjukkan bahwa masalahnya ada di NP.m[0,1]uO(n)u

Perhatikan juga bahwa nilai optimal dari program linier diperoleh pada titik puncak polytope. Ini berarti bahwa penyebut dari solusi optimal dapat dinyatakan sebagai penentu matriks kuadrat dimensi yang entri-entrinya adalah bilangan bulat ukuran konstan, dan hanya ada entri bukan nol di setiap baris, dan dengan demikian itu dibatasi oleh .O(n)O(1)2O(n)

Pengurangan semacam ini sering berguna untuk memberikan batas atas pada kompleksitas kepuasan dalam logika fuzzy proposisional (seperti logika Łukasiewicz) dan sistem terkait. (Faktanya, masalah awal adalah varian minor dari kepuasan dalam Łukasiewicz, yang akan sesuai dengan sirkuit dengan alih-alih ) Tinjauan umum hasil terkait dapat ditemukan dalam Bab X dari Buku Pegangan Matematika Fuzzy Logic, Vol. IImin(1,x+y)(x+y)/2

Emil Jeřábek
sumber
4

Masalah ini NP-hard.

Anda bisa mendapatkan 3-SAT dengan gerbang min ( x , y ), maks ( x, y ) dan 1− x .

Yang kami inginkan adalah mengurangi masalah 3-SAT ke sirkuit yang Anda bisa dapatkan 1 jika semua variabel memuaskan, dan Anda hanya bisa mencapai sesuatu yang benar-benar kurang dari 1 jika tidak.

Kami dapat memaksa semua variabel menjadi 0 atau 1 dengan mengambil minimum banyak ekspresi, dan membuat ekspresi ini termasuk maks ( x , 1− x ).

Sekarang untuk setiap klausa dalam masalah 3-SAT xyz , kami menempatkan ekspresi max ( x , y , z ) dalam minimum.

Saya tidak tahu apa nilai optimal untuk masalah 3-SAT yang tidak memuaskan, tetapi akan benar-benar kurang dari 1.

Peter Shor
sumber
2
Ya, NP-hardness adalah "arah yang mudah", seperti yang ditunjukkan dalam komentar di atas. Bahkan, jika Anda tidak menggunakan gerbang rata-rata, tetapi hanya min dan maks, mudah untuk menunjukkan bahwa nilai maksimal adalah 1 jika rangkaian Boolean yang sesuai memuaskan, dan 1/2 jika tidak (hanya dengan menghubungkan 1/2 ke semua variabelnya). Lagi pula, masalah itu diselesaikan dalam komentar di atas.
Shaull
1

Tidak persis apa yang Anda minta, tetapi konteks di mana sirkuit serupa muncul.

Jika Anda menghapus gerbang (yang bahkan tidak disebutkan dalam judul!) Maka apa yang Anda dapatkan adalah rangkaian aritmatika monoton. Sirkuit monoton klasik batas bawah Razborov telah diperluas ke sirkuit aritmatika monoton (dengan hasil yang sama) oleh Pavel Pudlák, Batas bawah untuk resolusi dan memotong bukti pesawat .1x

Yuval Filmus
sumber
3
Terima kasih. Namun dalam kasus ini, jika Anda menghapus gerbang , maka masalahnya adalah sepele - nilai maksimalnya adalah 1 dan tercapai ketika semua variabel mendapatkan nilai 1.1x
Shaull