Pertanyaan ini dapat ditanyakan dalam kerangka kompleksitas sirkuit dari sirkuit Boolean, atau dalam kerangka teori kompleksitas aljabar, atau mungkin dalam banyak pengaturan lainnya. Mudah untuk menunjukkan, dengan menghitung argumen, bahwa ada fungsi Boolean pada input N yang membutuhkan banyak gerbang secara eksponensial (meskipun tentu saja kami tidak memiliki contoh eksplisit). Misalkan saya ingin mengevaluasi fungsi yang sama M kali, untuk beberapa bilangan bulat M, pada M set input yang berbeda, sehingga jumlah total input adalah MN. Yaitu, kami hanya ingin mengevaluasi untuk fungsi yang sama pada setiap waktu.
Pertanyaannya adalah: apakah diketahui bahwa ada urutan fungsi (satu fungsi untuk setiap N) sehingga, untuk setiap N, untuk setiap M, jumlah gerbang yang diperlukan setidaknya sama dengan M kali fungsi eksponensial dari N? Argumen penghitungan sederhana tampaknya tidak berfungsi karena kami ingin hasil ini berlaku untuk semua M. Seseorang dapat menghasilkan analog sederhana dari pertanyaan ini dalam teori kompleksitas aljabar dan bidang lainnya.
sumber
"Jaringan menghitung fungsi Boolean untuk beberapa nilai input"
Saya tidak dapat menemukan salinan yang tidak dikunci online, atau beranda untuk penulis, tetapi saya menemukan makalah ini dalam proses ini:
Kompleksitas Fungsi Boolean (Seri Catatan Ceramah Masyarakat Matematika London)
sumber
Mengenai kompleksitas Aljabar, saya tidak tahu contoh di mana kompleksitas eksponensial turun ke kompleksitas diamortisasi sub-eksponensial, tetapi setidaknya ada contoh sederhana bahwa kompleksitas salinan disjoint M dapat secara signifikan kurang dari M kali kompleksitas salinan tunggal. :
Untuk matriks A "acak" n * n, kompleksitas bentuk bilinear didefinisikan oleh A, (fungsi f_A (x, y) = xAy, di mana x dan y adalah 2 vektor panjang n) adalah Omega (n ^ 2 ) - ini dapat ditunjukkan oleh argumen dimensi "menghitung-seperti" karena Anda memerlukan n ^ 2 "tempat" di sirkuit untuk meletakkan konstanta. Namun, mengingat n pasangan vektor yang berbeda (x ^ 1, y ^ 1) ... (x ^ n, y ^ n), Anda dapat memasukkan x ke dalam baris matriks n * n X, dan demikian pula dengan y ke dalam kolom dari matriks Y, dan kemudian baca semua jawaban x ^ iAy ^ i dari diagonal XAY, di mana ini dihitung dalam operasi n ^ 2.3 (atau lebih) menggunakan perkalian matriks cepat, secara signifikan kurang dari n * n ^ 2.
sumber
Ini dipelajari dan diselesaikan oleh Wolfgang Paul yang pada dasarnya menunjukkan apa yang dibicarakan berlaku.
sumber