Mengapa SIKLUS HAMILTONIAN begitu berbeda dari PERMANEN?


23

Polinom adalah proyeksi monoton dari polinom g ( y 1 , ... , y m ) jika m = poli ( n ) , dan ada penugasan π : { y 1 , ... , y m } { x 1 , ... , x n , 0 , 1f(x1,,xn)g(y1,,ym)m(n) sedemikian rupa sehingga f ( x 1 , ... , x n ) = g ( π ( y 1 ) , ... , π ( y m ) ) . Yaitu, adalah mungkin untuk mengganti setiap variabel y j dari g dengan variabel x i atau konstanta 0 atau 1 sehingga polinomial yang dihasilkan bertepatan dengan f . π:{y1,,ym}{x1,,xn,0,1}f(x1,,xn)=g(π(y1),,π(ym))yjgxi01f

Saya tertarik (alasan) perbedaan antara PER polinomial permanen dan siklus Hamiltonian polinomial HAM: mana penjumlahan pertama adalah semua permutasi h : [

PERn(x)=hi=1nxi,h(i)    and    HAMn(x)=hi=1nxi,h(i)
, dan yang kedua hanya di atas semuapermutasisiklik h : [ n ] [ n ] . h:[n][n]h:[n][n]
Pertanyaan: Mengapa HAM bukan proyeksi monoton PER? Atau masih?
Saya tidak meminta bukti , hanya untuk alasan intuitif.

Motivasi: sirkuit monoton terbesar yang diketahui lebih rendah untuk PER (dibuktikan oleh Razborov) tetap "hanya" . Di sisi lain, hasil Valiant menyiratkan bahwa CLIQUE n  adalah proyeksi monoton HAM m di mana CLIQUE n ( x ) = S i < j S x i , j dengan penjumlahan adalah atas semua himpunan bagian S [ n ] dari ukuran | S |nΩ(logn)

CLIQUEn is a monotone projection of HAMm
CLIQUEn(x)=Si<jSxi,j
S[n] . Saya sendiri tidak bisa mendapatkan reduksi "sederhana, langsung" dari hasil-hasil umum ini, tetapiAlon dan Boppanamengklaim (dalam Bagian 5) yang sudahm=25n2sudah cukup untuk pengurangan ini. |S|=nm=25n2

Tapi tunggu: diketahui bahwa CLIQUE membutuhkan sirkuit monoton ukuran (pertama kali dibuktikan oleh Alon dan Boppana menggunakan metode Razborov). 2nΩ(1)

Jadi, jika HAM adalah proyeksi monoton PER, kita akan memiliki batas bawah juga untuk PER. 2nΩ(1)

Sebenarnya, mengapa HAM bahkan bukan proyeksi non-monoton PER? Selama semiring boolean, yang pertama adalah NP -Lengkap, sedangkan yang kedua adalah di P . Tapi kenapa? Di mana tempat siklik untuk permutasi membuatnya sangat istimewa?

PS Satu perbedaan yang jelas bisa jadi: HAM mencakup [n] hanya dengan satu siklus (panjang), sedangkan PER dapat menggunakan siklus yang terpisah untuk ini. Jadi, untuk memproyeksikan PER ke HAM arah yang sulit tampaknya adalah: memastikan bahwa tidak adanya siklus Hamiltonian menyiratkan tidak adanya tutupan dengan siklus terpisah dalam grafik baru. Apakah ini alasan HAM tidak menjadi proyeksi PER?

PPS Sebenarnya, Valiant terbukti hasil yang lebih mengesankan: setiap polinomial dengan c u{ 0 , 1 } , yang koefisien c u adalah p-waktu dihitung , adalah proyeksi (tidak harus monoton jika algo adalah non-monoton) dari HAM m untuk m = poli ( n )f(x)=u[n]cuiuxicu{0,1}cumm(n). PER juga memiliki properti ini, tetapi hanya atas bidang karakteristik . Jadi, dalam pengertian ini, HAM dan PER yang memang "mirip", kecuali kita tidak dalam GF (2) di mana, sebagai Bruno ingat, PER ternyata DETERMINAN, dan mudah.2


1
Saya punya sedikit pertanyaan di luar topik. Bolehkah saya bertanya mengapa PERMANEN dalam P lebih dari semiring boolean? Saya tidak mengetahui adanya algoritma seperti itu.
caozhu

@caozhu: Ini hanya karena PERMANEN sama dengan DETERMINAN atas semiring boolean. Algoritma tersebut kemudian adalah algoritma PENENTUAN.
Bruno

3
@ Bruno: tidak cukup. Anda benar jika kita berada di bidang GF (2); maka kita bisa menggunakan, katakanlah, Gauss. Namun, boolean sirkuit untuk PER ukuran sekitar n 5 / 2 dapat dibangun menggunakan algoritma Hopcroft-Karp untuk pencocokan maksimum, atau hanya Floyd-Fulkerson algoritma cacat maksimal. {,,¬}n5/2
Stasys

Jawaban:


9

Berikut ini adalah bukti atas setiap cincin dengan karakteristik nol bahwa polinomial siklus Hamilton bukanlah proyeksi monoton ukuran polinomial dari permanen. Ide dasarnya adalah bahwa proyeksi monoton polinomial dengan koefisien nonnegatif mengarah ke Newton polytope yang satu merupakan perumusan diperpanjang dari Newton polytope yang lain, dan kemudian menerapkan batas bawah baru-baru ini pada formulasi yang diperluas.

f(x1,,xn)g(y1,,ym)fgππgf

New(f)fNew(g)

New(f)Rmn+mn+mNew(g)

e1,,emRmNew(g)Rm(e1,,em)y1e1ymemiπ(yi)=0New(g){ei=0}yimPπLπ:RmRnLπ(P)=New(f)New(f)n+mPmLπnxi

fngmfgeijm

2nΩ(1)mLπ

fgπLπNew(f)

PNP


1
argumen yang sangat bagus. Inilah yang saya cari! Memang, formulasi LP diperpanjang mensimulasikan proyeksi Valiant (setidaknya monoton).
Stasys
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.