Dalam pengujian properti grafik, suatu algoritma meminta grafik target untuk ada atau tidaknya edge dan perlu untuk menentukan apakah target memiliki properti tertentu atau jauh dari memiliki properti. (Algoritme dapat diminta untuk berhasil dengan kesalahan 1-sisi atau 2-sisi.) Grafik adalah jauh...
Bekerja secara langsung dengan kompleksitas waktu atau batas bawah sirkuit menakutkan. Karenanya, kami mengembangkan alat seperti kompleksitas kueri (atau kompleksitas pohon keputusan) untuk menangani batasan yang lebih rendah. Karena setiap kueri mengambil setidaknya satu langkah unit, dan...
Sudah dikenal komputer kuantum benar-benar lebih kuat daripada rekan-rekan klasik mereka dalam hal kompleksitas permintaan . Apakah ada model lain (alami atau buatan) yang secara ketat antara kuantum dan klasik dalam hal kompleksitas kueri? Pemisahan bisa dimulai masalah spesifik: model X...
Misalkan adalah pohon derajat konstan yang strukturnya tidak kita ketahui. Masalahnya adalah untuk mengeluarkan pohon dengan menanyakan pertanyaan dari formulir: "Apakah simpul terletak pada jalur dari simpul ke simpul ?". Asumsikan bahwa setiap permintaan dapat dijawab dalam waktu yang konstan...
Metode musuh negatif ( A D V±SEBUAHDV±ADV^\pm ) adalah SDP yang mencirikan kompleksitas kueri kuantum. Ini adalah generalisasi dari metode permusuhan yang banyak digunakan ( A D VSEBUAHDVADV ), dan mengatasi dua penghalang yang menghalangi metode permusuhan: Hambatan pengujian properti: jika...
Latar Belakang Sebuah pohon keputusan biner TTT adalah pohon berakar di mana setiap node internal (dan akar) diberi label oleh indeks j∈{1,...,n}j∈{1,...,n}j \in \{1,..., n\} sedemikian sehingga tidak ada jalur dari root ke daun mengulangi indeks, daun diberi label oleh output di {A,B}{A,B}\{A,B\}...
Kompleksitas informasi telah menjadi alat yang sangat berguna dalam kompleksitas komunikasi, terutama digunakan untuk membatasi kompleksitas komunikasi dari masalah yang didistribusikan. Adakah analog kompleksitas informasi untuk kompleksitas kueri? Ada banyak persamaan antara kompleksitas kueri...
Algoritma pengujian distribusi untuk properti distribusi P (yang hanya sebagian dari semua distribusi di atas [n]) diizinkan mengakses sampel sesuai dengan beberapa distribusi D, dan diperlukan untuk memutuskan (whp) jika atau d ( D) , P ) > ϵ ( d di sini biasanya ℓD∈PD∈PD\in...
Latar Belakang: Kompleksitas pohon keputusan atau kompleksitas kueri adalah model perhitungan sederhana yang didefinisikan sebagai berikut. Biarkan menjadi fungsi Boolean. Kompleksitas kueri deterministik dari f , dilambangkan D ( f ) , adalah jumlah bit minimum dari input x ∈ { 0 , 1 } n yang...
Batas bawah musuh umum sekarang dikenal untuk mengkarakterisasi kompleksitas kueri kuantum karena karya terobosan oleh Reichardt et al. Garis pekerjaan yang sama juga membangun koneksi ke kerangka program rentang untuk merancang algoritma kuantum. Banyak algoritma kuantum yang menarik, termasuk...
Dana Angluin ( 1987 ; pdf ) mendefinisikan model pembelajaran dengan pertanyaan keanggotaan dan pertanyaan teori (berlawanan dengan contoh fungsi yang diusulkan). Dia menunjukkan bahwa bahasa reguler yang diwakili oleh DFA minimal negara dapat dipelajari dalam waktu polinomial (di mana fungsi yang...
Program rentang adalah cara linier-aljabar menentukan fungsi boolean yang diperkenalkan di sini . Baru-baru ini, model ini digunakan untuk menunjukkan bahwa metode musuh negatif memberikan karakterisasi yang ketat (setidaknya hingga ) dari kompleksitas kueri.catatann /
Meskipun pemisahan eksponensial antara kompleksitas kueri-kuantum kesalahan terbatas ( Q(f)Q(f)Q(f) ) dan kompleksitas kueri deterministik ( D(f)D(f)D(f) ) atau kompleksitas kueri acak terbatas ( R(f)R(f)R(f) ) diketahui, mereka hanya berlaku untuk fungsi parsial tertentu. Jika fungsi parsial...
Dalam kompleksitas pohon keputusan fungsi boolean, metode batas bawah yang sangat diketahui adalah untuk menemukan (perkiraan) polinomial yang mewakili fungsi. Paturi memberikan karakterisasi untuk fungsi simetris boolean (parsial dan total) dalam hal kuantitas yang dilambangkan :ΓΓ\Gamma...
Masalah berikut baru-baru ini muncul dari penelitian saya dan saya ingin bertanya apakah ada yang tahu apakah masalah ini dipertimbangkan sebelumnya atau telah mendengar apa pun yang mungkin terkait. Pengaturan umum adalah sebagai berikut. Kita diberi FFF , keluarga ttt -subsets dari { 1 , 2 , ....
Dalam tulisan ini , Hajnal menyatakan lemma berikut: Misalkan Gn,mGn,m\mathscr{G}_{n, m} adalah himpunan semua grafik bipartit dengan simpul di bagian kiri dan simpul di bagian kanan. Misalkan adalah nontrivial, monoton, dan invarian terkait dengan isomorfisme grafik bipartit. Pesan rangkaian...