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...
Ada literatur besar tentang "pengujian properti" - masalah membuat sejumlah kecil permintaan kotak hitam ke fungsi untuk membedakan antara dua kasus:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff adalah anggota dari beberapa kelas fungsiCC\mathcal{C} fff adalah -far dari setiap fungsi di kelas...
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...
Dalam [1], Turan menunjukkan bahwa sensitivitas (disebut "kompleksitas kritis" di kertas) properti grafik benar-benar lebih besar dari manamadalah jumlah simpul dalam grafik. Dia melanjutkan dengan dugaan bahwa setiap properti grafik non-sepele memiliki sensitivitas≥m-1. Dia menyebutkan bahwa ini...
Alice dan Bob memiliki string n-bit, dan ingin mencari tahu apakah mereka setara saat melakukan sedikit komunikasi. Solusi acak standar adalah memperlakukan string n-bit sebagai polinomial derajat dan kemudian mengevaluasi polinomial atas beberapa elemen yang dipilih secara acak dari bidang ukuran...
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...
Saya ingin tahu (terkait dengan pertanyaan lain ini ) apakah batas bawah diketahui untuk masalah pengujian berikut: seseorang diberi akses permintaan ke urutan nomor non-negatif an≥⋯≥a1an≥⋯≥a1a_n \geq \dots\geq a_1 dan ε∈(0,1)ε∈(0,1)\varepsilon \in (0,1) , dengan janji bahwa...
Misalkan kita diberi grafik dan parameter k , ϵ . Apakah ada rentang nilai untuk k (atau itu bisa dilakukan untuk semua k ) yang dimungkinkan untuk menguji apakah G adalah ε -far dari memiliki set independen ukuran setidaknya k dalam waktu O ( n + poly ( 1 / ε ) ) ?GGGk ,
Biarkan menjadi grafik acak pada tepi. Dengan probabilitas sangat tinggi, memiliki banyak sepeda. Tujuan kami adalah untuk menghasilkan salah satu dari - sepeda ini secepat mungkin.G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2})≈n3/2≈n3/2\approx n^{3/2}GGG444444 Andaikata kita memiliki akses ke...