Mengevaluasi polinomial simetris


10

Misalkan menjadi polinomial simetris , yaitu polinomial sehingga untuk semua dan semua permutasi . Untuk kenyamanan, kita dapat menganggap adalah bidang yang terbatas, untuk menghindari mengatasi masalah dengan model perhitungan.f:KnKf(x)=f(σ(x))xKnσSnK

Misalkan menunjukkan kompleksitas komputasiC(f) , yaitu kompleksitas algoritma yang, diberikan x , mengembalikan f ( x ) . Bisakah kita entah bagaimana mengkarakterisasi C ( f ) , berdasarkan pada properti dari f ? Misalnya, apakah kami dijamin bahwa C ( f ) adalah polinomial (dalam n ) untuk semua polinomial simetris f ?fxf(x)C(f)fC(f)nf

Sebagai kasus khusus, sepertinya (a) kita dapat menghitung jumlah daya polinomial dalam waktu , dan (b) kita dapat menghitung polinomial simetris elementer dalam waktu poli ( n ) , menggunakan identitas Newton . Sebagai konsekuensinya, jika f adalah jumlah tertimbang dari monomial di mana tidak ada variabel yang dinaikkan ke daya yang lebih tinggi dari 1 (yaitu, jika f adalah multilinear), maka f dapat dihitung dalam waktu polinomial (karena dapat dinyatakan sebagai jumlah tertimbang polinomial simetris dasar). Misalnya, ketikapoly(n)poly(n)fffK=GF(2), maka setiap polinomial simetris dapat dihitung dalam waktu polinomial. Bisakah seseorang mengatakan lebih dari ini?


1
Jika Anda tertarik pada perhitungan lebih dari Anda mungkin ingin memperjelas model perhitungan. R
Kaveh

1
@ Kaveh, ahh, titik bagus. Saya kira saya tidak super fokus pada satu bidang, jadi saya kira saya akan bertanya tentang bidang yang terbatas untuk membuat masalah itu hilang. Saya lebih tertarik tentang apakah ada hasil atau teknik sistematis untuk menentukan kompleksitas mengevaluasi polinomial simetris . f
DW

1
Bagaimana f ditentukan? Ini penting untuk kompleksitas evaluasi.
Thomas

2
@ Thomas, Seharusnya tidak masalah. Untuk tetap tunggal , C ( f ) terdefinisi dengan baik (itu adalah kompleksitas algoritma terbaik untuk komputasi f ). Ini didefinisikan dengan baik dan tidak tergantung pada bagaimana f "ditentukan". (Catat bahwa f bukan input ke algoritma, jadi perwakilannya tidak perlu didefinisikan.) Atau, dengan kata lain: jika saya memiliki fungsi simetris f yang ingin saya hitung, apakah ada teknik atau hasil untuk membantu saya menemukan algoritma yang efisien untuk menghitung f atau untuk menentukan seberapa efisien f saya dapat dihitung? fC(f)ffffff
DW

1
@ Thomas, yeah: jika ada hasil atau teknik yang berlaku ketika derajatnya tidak terlalu besar, itu terdengar berguna. (Misalnya, jika derajat wrt untuk setiap variabel, dianggap secara terpisah, paling banyak adalah konstanta kecil , dapatkah kita mengatakan sesuatu? Paragraf terakhir dari pertanyaan saya menangani kasus c = 1 ; dapatkah kita mengatakan lebih banyak? Atau, sebagai alternatif, jika tingkat total f tidak terlalu besar, dapatkah kita mengatakan sesuatu?)cc=1f
DW

Jawaban:


10

Pertanyaannya sepertinya cukup terbuka berakhir. Atau mungkin Anda ingin memiliki karakterisasi yang tepat dari kompleksitas waktu dari setiap polinomial simetris yang mungkin lebih dari bidang terbatas?

Bagaimanapun, setidak-tidaknya setahu saya, ada beberapa hasil terkenal tentang kompleksitas waktu komputasi polinomial simetris:

  1. Jika adalah polinomial simetris dasar atas lapangan terbatas maka dapat dihitung dengan polinomial-ukuran seragam T C 0 sirkuit.fTC0

  2. Jika adalah polinomial simetris elementer pada bidang karakteristik 0 , maka f dapat dihitung dengan kedalaman polinomial ukuran tiga sirkuit aljabar seragam (seperti yang telah Anda sebutkan polinomial Newton; atau dengan rumus interpolasi Lagrange); dan jadi saya percaya ini kemudian diterjemahkan ke sirkuit Boolean seragam ukuran-polinomial (meskipun mungkin tidak dengan kedalaman konstan) (tapi ini mungkin tergantung pada bidang spesifik tempat Anda bekerja; untuk kesederhanaan Anda dapat mempertimbangkan cincin bilangan bulat; meskipun untuk bilangan bulat aku nyana T C 0 cukup untuk menghitung polinomial simetris dalam hal apapun.)f0TC0

  3. Jika adalah polinomial simetris di atas bidang hingga maka ada batas bawah eksponensial pada kedalaman tiga aljabar sirkuit untuk f (oleh Grigoriev dan Razborov (2000) [mengikuti Grigoriev dan Karpinsky 1998]). Tapi, sebagaimana disebutkan dalam 1 di atas, berkorespondensi ini hanya untuk konstan mendalam Boolean sirkuit batas bawah (sementara ada seragam kecil sirkuit Boolean di T C 0 ; berarti juga bahwa polinomial yang dihitung dalam waktu polinomial). ffTC0

Mungkin ada hasil yang lebih diketahui tentang kompleksitas waktu polinomial simetris ...

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.