?


16

Saat membaca blog Dick Lipton, saya menemukan fakta berikut di dekat akhir posting Bourne Factor :

Jika, untuk setiap , ada hubungan bentuk mana , dan masing-masing , b_k dan c_k adalah poli (n) dengan panjang bit, kemudian anjak memiliki polinomial sirkuit berukuran.n

(2n)!=k=0m1akbkck
m=poly(n)akbkckpoly(n)

Dengan kata lain, (2n)!, yang memiliki jumlah bit eksponensial , berpotensi dapat direpresentasikan secara efisien.

Saya punya beberapa pertanyaan:

  • Bisakah seseorang memberikan bukti hubungan di atas, beri tahu saya nama dan / atau berikan referensi?
  • Jika saya memberi Anda n , m dan masing-masing ak , bk dan ck , dapatkah Anda memberikan saya algoritma waktu polinomial untuk memeriksa validitas relasi (yaitu apakah itu dalam NP )?

4
Bukankah posting blog itu benar-benar mengklaim yang sebaliknya? Artinya, jika persamaan bentuk di atas (2n)!= memiliki solusi secara umum , maka anjak piutang memiliki sirkuit berukuran polinomial.
mikero

3
Saya pikir Anda benar-benar menulis kebalikan dari apa yang ditulis Dick Lipton. Dia mengatakan bahwa jika persamaan seperti itu ada untuk setiap n , maka faktorisasi memiliki sirkuit ukuran polinomial. Jadi implikasinya adalah bahwa jika anjak adalah non-seragam keras (untuk tak terhingga banyaknya n ) maka persamaan dari bentuk di atas tidak ada (untuk tak terhingga banyaknya n ).
Sasho Nikolov

@mikero, SashoNikolov, Anda berdua benar, saya minta maaf. Saya telah mengedit pertanyaan saya.
user834

1
perhatikan bahwa "algoritma waktu polinomial" biasanya berarti algoritma yang seragam. Pos Lipton hanya menegaskan keberadaan keluarga sirkuit poliasze untuk anjak piutang.
Sasho Nikolov

1
Perhatikan bahwa agar properti ini benar, , dan harus berupa dalam ukuran bit / seperti yang dinyatakan di blog Lipton /, dan sebagai bilangan bulat. Definisi Anda tidak jelas. b k c k p o l y ( n ) p o l y ( 2 n )akbkckpoly(n)poly(2n)
Gopi

Jawaban:


8

Saya akan mengomentari mengapa hubungan seperti pada pertanyaan (untuk setiap ) membantu anjak piutang. Saya tidak bisa menyelesaikan argumen, tapi mungkin seseorang bisa. n

(2n)!=k=0m1akbkck
n

Pengamatan pertama adalah bahwa hubungan seperti di atas (dan lebih umum, keberadaan sirkuit aritmatika ukuran-poli untuk ) Memberikan sirkuit ukuran-poli untuk komputasi untuk diberikan dalam biner: cukup evaluasi jumlah modulo , menggunakan eksponensial dengan kuadrat ulang.( 2 n ) ! mod x x x(2n)!(2n)!modxxx

Sekarang, jika kita dapat menghitung untuk sewenang-wenang , kita dapat faktor : menggunakan pencarian biner, temukan terkecil sehingga (yang dapat kita hitung menggunakan ). Maka harus menjadi pembagi utama terkecil .y x y gcd ( x , y ! ) 1 gcd ( x , ( y ! mod x ) ) y xy!modxyxygcd(x,y!)1gcd(x,(y!modx))yx

Jika kita hanya dapat melakukan pangkat untuk , kita masih dapat mencoba menghitung Untuk setiap . Salah satunya akan menjadi pembagi nontrivial dari , kecuali untuk kasus yang disayangkan ketika ada sehingga adalah coprime ke, dan bagi. Ini sama dengan mengatakan bahwa bebas persegi, dan semua faktor utamanya memiliki panjang bit yang sama. Saya tidak tahu apa yang harus dilakukan dalam kasus ini (agak penting, lih. Blum integers).y gcd ( x , ( 2 n ) ! ) N log x x n x ( 2 n ) ! ( 2 n + 1 ) ! x2ygcd(x,(2n)!)nlogxxnx(2n)!(2n+1)!x


Jika relasi berlaku (untuk semua ), maka mungkin relasi itu juga berlaku (dengan pilihan , , dan ) ketika satu menggantikan dengan prime (kecil) lainnya, . Seseorang mungkin bisa mencari sampai ditemukan sedemikian rupa sehingga adalah koprime untukdan tidaknakbkck2ppx(pn)!(pn+1)!
user834
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.