Mengapa gerbang mod_m menarik?


39

Ryan Williams baru saja memposting batas bawahnya pada ACC , kelas masalah yang memiliki sirkuit kedalaman konstan dengan fan-in dan gerbang tanpa batas DAN, ATAU, BUKAN dan MOD_m untuk semua kemungkinan yang ada.

Apa yang istimewa dari gerbang MOD_m?

  • Mereka memungkinkan seseorang untuk mensimulasikan aritmatika pada cincin Z_m apa pun.
  • Sebelum hasil Ryan, melemparkan gerbang MOD_m ke campuran memberi kelas pertama yang batas bawah yang diketahui tidak bekerja.

Apakah ada alasan alami lain untuk mempelajari gerbang MOD_m?

Jawaban:


39

SEBUAHCC0 adalah kelas kompleksitas alami.

1) Barrington menunjukkan bahwa perhitungan monoid yang tidak dapat dipecahkan menangkap NC1 sedangkan monoid yang dapat dipecahkan menangkap SEBUAHCC0 .

2) Baru-baru ini, Hansen dan Koucky terbukti hasil indah yang poli berukuran konstan lebar program bercabang planar yang persis SEBUAHCC0 . Tanpa syarat planaritas, kami tentu saja mendapatkan hasil Barrington yang mengkarakterisasi NC1 .

Jadi perbedaan antara dan N C 1 adalah teori grup di satu sisi dan topologi di sisi lain.SEBUAHCC0NC1

Ditambahkan: Dana, contoh sederhana dari grup yang dapat dipecahkan adalah , grup simetris di atas elemen. Tanpa merinci, setiap kelompok yang dapat dipecahkan memiliki seri yang perundingannya bersifat siklik. Struktur siklik ini akan dipantulkan sebagai gerbang mod saat membangun sirkuit untuk menyelesaikan masalah kata pada grup.S4

Pada planaritas, orang ingin percaya bahwa planaritas dapat memaksakan pembatasan / hambatan dalam arus informasi. Ini tidak selalu benar: misalnya, variasi planar 3SAT dikenal sebagai NP-complete. Namun, di kelas yang lebih kecil, pembatasan ini lebih "cenderung" berlaku.

Dalam nada yang sama, Wigderson menunjukkan NL / poli = UL / poli menggunakan lemma isolasi. Kami tidak tahu bagaimana cara derandomisasi lemma isolasi atas DAG sewenang-wenang untuk mendapatkan NL = UL, tetapi kami tahu bagaimana melakukannya untuk DAG planar.


1
Terima kasih banyak atas informasinya! Saya ingin mendengar lebih banyak tentang intuisi untuk hasil ini. Adapun pertanyaan saya: argumen Anda pada dasarnya adalah bahwa [O (log n) kedalaman, gerbang AND, ATAU, TIDAK] adalah alami, dan A C C adalah sedikit variasi (untuk monoids yang dapat dipecahkan daripada yang tidak dapat dipecahkan. , atau untuk planar daripada program percabangan non-planar). Bisakah Anda menguraikan sedikit: memberikan contoh monoids menarik untuk perhitungan, dan bagaimana solvabilitasnya penting? Apakah ada motivasi a-priori untuk menaruh minat pada apakah program percabangan itu planar atau tidak? NC1ACC
Dana Moshkovitz

7
AC0AC0

@Vinay: Apakah Anda yakin bahwa hasil NL / poli = UL / poli disebabkan oleh Wigderson?
Dai Le

17

modmmmodhal

modhalFhaln

modmm2

SEBUAHC0[mod6]


1
M.HAIDqM.HAIDhalhalqM.HAID6

14

Hanya untuk menguraikan dua poin Anda:

Jika kita berada dalam bisnis memahami komputasi, penghitungan modular adalah salah satu batas pemahaman kita. Penghitungan modular adalah salah satu fenomena paling sederhana dan paling alami dalam perhitungan, namun kita tampaknya hanya mengerti sedikit tentangnya. Kami tidak dapat mengesampingkan kemungkinan bahwa sirkuit ukuran 3 polinomial dengan hanya gerbang Mod6 dapat menghitung setiap fungsi dalam NP. Namun diduga bahwa sirkuit seperti itu hanya dapat menghitung fungsi dengan ukuran dukungan besar dan karenanya tidak dapat menghitung fungsi yang sangat sederhana seperti DAN. Pada sisi batas atas situasinya serupa, kami tidak memiliki hasil yang tidak sepele.

Pertanyaan-pertanyaan ini juga sangat menarik dari perspektif matematika murni karena mereka terkait erat dengan pertanyaan yang sangat alami tentang polinomial dan matriks lebih dari Z_m. Untuk memberikan satu contoh, kami tidak memiliki batas bawah yang baik untuk peringkat matriks codiagonal nxn di atas Z_6. Matriks codiagonal memiliki 0 pada diagonal dan nonzeros off diagonal.


Mereka yang tertarik dengan "modul utama versus modulo komposit" harus memeriksa halaman beranda Vince Grolmusz: grolmusz.pitgroup.org
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.