Kompleksitas yang tepat dari masalah dalam


9

Biarkan untuk , dengan janji bahwa (di mana jumlahnya lebih dari ). Lalu apa kompleksitas penentuan jika ?xi{1,0,+1}i{1,,n}x=i=1nxi{0,1}Zx=1

Perhatikan bahwa secara sepele masalahnya terletak pada karena iff x = 1 . Pertanyaannya adalah: apakah masalahnya ada pada \ mathsf {AC} ^ 0 ? Jika demikian, apa sirkuit yang menyaksikan ini? Jika tidak, bagaimana orang membuktikan ini?m2AC0[m]x1modmA C 0x=1AC0


Masalah ini mungkin sepele, tetapi saya tidak tahu jawabannya dan akan sangat tertarik untuk mengetahuinya.
SamiD

Jawaban:


7

Anda dapat menggunakan argumen lemma switching yang biasa. Anda belum menjelaskan bagaimana Anda merepresentasikan input Anda dalam biner, tetapi di bawah penyandian yang masuk akal, fungsi berikut ini adalah AC sama dengan fungsi Anda: (Kami berasumsi bahwa adalah genap.) Mengikuti catatan kuliah ini , anggaplah bahwa dapat dihitung dengan kedalaman rangkaian ukuran . Kemudian pembatasan acak dari meninggalkan fungsi kompleksitas pohon keputusan f ( x 1 , , x n ) = { 0 jika  x 1 - x 2 + x 3 - x 4 + - x n = 0 , 1 jika  x 1 - x 2 + x 3 - x 4 + - x n = 1 , ? jika tidak. n f d0

f(x1,,xn)={0if x1x2+x3x4+xn=0,1if x1x2+x3x4+xn=1,?otherwise.
nfdnbnn1/2d2d(b+1)+1 dengan probabilitas setidaknya . Perhitungan mungkin akan menunjukkan bahwa ini adalah contoh lain dari (pada ukuran input yang lebih kecil) dengan probabilitas , dan ada beberapa pembatasan acak yang menghasilkan kedua instance dari pada input dan fungsi dengan kompleksitas pohon keputusan konstan, yang mengarah ke kontradiksi. Argumen yang sama harus menghasilkan batas bawah eksponensial.11/(3n)fΘ(1/n)fn1/2d

Saya pikir sensitivitas total fungsi ini juga akan menjadi , jadi Anda mungkin dapat menggunakannya untuk mendapatkan batas bawah eksponensial dalam jawaban saya. Hasil yang saya kutip di sana menggunakan teorema Linial-Mansour-Nisan, yang dengan sendirinya menggunakan lemma switching + batas sederhana pada spektrum fungsi kompleksitas pohon keputusan rendah. Θ(n)
Sasho Nikolov

7

Saya tidak berpikir ini ada di AC0 dan saya bisa menunjukkan batas bawah untuk masalah janji terkait yang membedakan antara dan , ketika . Teknik Fourier yang serupa harus diterapkan untuk masalah Anda, tetapi saya belum memverifikasi itu. Atau mungkin ada pengurangan sederhana.xi=0xi=2x{1,1}n

Misalkan ada ukuran kedalaman sirkuit yang menghitung fungsi sehingga setiap kali . Karena untuk acak , probabilitas bahwa adalah , dan untuk setiap ada koordinat yang mengubah nilai , pengaruh total adalahsdf:{1,1}n{0,1}f(x)=ixiixi{0,2}xixi=0x2n(nn/2)n1/2xf f Ω ( n 1 / 2 )n/2ffΩ(n1/2), yang kira-kira sama dengan mayoritas (karena Anda memasukkan sebagian besar input sensitif mayoritas). Dengan teorema Hastad (lihat Colorraly 2.5 dalam catatan Ryan O'Donnel ), ini menyiratkan hal itu

s2Ω(n1/(2d2)).
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.