Pertanyaan yang diberi tag «circuit-complexity»

Kompleksitas sirkuit adalah studi tentang rangkaian yang dibatasi sumber daya dan fungsi yang dihitung oleh sirkuit tersebut.

2
Status pada sirkuit batas bawah untuk sirkuit kedalaman yang dibatasi polylog
Kompleksitas rangkaian bounded depth adalah salah satu bidang penelitian utama dalam teori kompleksitas sirkuit. Topik ini memiliki asal dalam hasil seperti "fungsi paritas tidak dalam " dan "fungsi mod tidak dihitung oleh ", di mana adalah kelas bahasa yang dapat ditentukan oleh non-seragam, kedalaman konstan, ukuran polinomial, kipas-dalam tanpa batas …
1
Fungsi Boolean Dimana Sensitivitas Menyamakan Memblokir Sensitivitas
Beberapa pekerjaan pada sensitivitas vs sensitivitas blok telah ditujukan untuk memeriksa fungsi dengan kesenjangan sebesar mungkin antara s(f)s(f)s(f) dan bs(f)bs(f)bs(f) untuk menyelesaikan dugaan bahwa bs(f)bs(f)bs(f) hanya lebih besar secara polinomi dari s(f)s(f)s(f) . Bagaimana dengan arah yang berlawanan? Apa yang diketahui tentang fungsi di mana s(f)=bs(f)s(f)=bs(f)s(f) = bs(f) ? Sepele, …
5
Gagasan yang lebih kuat tentang penyeragaman?
Satu celah yang saya selalu sadar bahwa saya tidak benar-benar mengerti adalah antara kompleksitas komputasi tidak seragam dan seragam di mana kompleksitas sirkuit mewakili versi tidak seragam dan mesin Turing adalah hal-hal yang seragam. Saya kira "seragam" adalah cara untuk menahan kelas algoritma, misalnya tidak mengizinkan rangkaian yang sama sekali …
3
Yang
Gambar Dunia yang terkenal dari Neil Immerman adalah sebagai berikut (klik untuk memperbesar): Kelasnya "Benar-benar layak" tidak termasuk kelas lain; pertanyaan saya adalah: Apa masalah AC 0 yang dianggap tidak taktis, dan mengapa?
1
Pemisahan orakular antara sirkuit kuantum kedalaman pol dan log
Masalah berikut muncul dalam daftar Aaronson, Sepuluh Tantangan Semi-Grand untuk Teori Komputasi Quantum . ApakahBQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompresi menjadi kedalaman, asalkan kita ' Apakah Anda bersedia melakukan postprocessing klasik polinomial-waktu? (Ini diketahui benar untuk algoritma Shor.) Jika demikian, membangun komputer kuantum …
1
Apakah Pemrograman Dinamis tidak pernah lebih lemah daripada Serakah?
Dalam kompleksitas sirkuit, kami memiliki pemisahan antara kekuatan berbagai model rangkaian. Dalam kompleksitas bukti, kami memiliki pemisahan antara kekuatan berbagai sistem bukti. Namun dalam algoritmik, kami hanya memiliki sedikit pemisahan antara kekuatan paradigma algoritmik . Pertanyaan saya di bawah ini bertujuan untuk menyentuh masalah terakhir ini untuk dua paradigma: Pemrograman …
1
Adakah polinomial yang sulit dihitung tetapi mudah diputuskan?
Setiap rangkaian aritmatika monoton , yaitu sirkuit , menghitung beberapa polinomial F multivariat ( x 1 , … , x n ) dengan koefisien integer nonnegatif. Diberi polinom f ( x 1 , … , x n ) , sirkuit{+,×}{+,×}\{+,\times\}F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) Toedjoe menghitung jika F ( a ) = f ( …
1
Apakah
Apa yang terjadi jika kita mendefinisikan P P A DPPAD{\bf PPAD} sehingga bukan sirkuit polytime Turing-mesin / polysize, sebuah logspace Turing-mesin atau A C 0AC0{\bf AC^0} sirkuit mengkodekan masalah? Baru-baru ini memberikan algoritma cepat untuk Circuit satisfiability untuk sirkuit kecil ternyata menjadi penting, jadi saya ingin tahu apa yang terjadi …
1
Mempertahankan pesanan dalam daftar dalam dalam waktu
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …
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.