Dalam makalah berjudul "On Deniability dalam Common Reference String dan Random Oracle Model," tulis Rafael Pass: Kami mencatat bahwa ketika membuktikan keamanan sesuai dengan definisi nol-pengetahuan standar dalam model RO [Random Oracle], simulator memiliki dua keunggulan dibandingkan...
Misalkan kita memiliki seperangkat S grafik (grafik berhingga, tetapi sejumlah tak terbatas dari mereka) dan sekelompok P permutasi yang bekerja pada S. Instance: P permutasi di P. Pertanyaan: Apakah ada grafik g di S yang menerima p automorfisme? Apakah ini masalah NP-complete untuk...
Rumus Monotone-2CNF adalah formula CNF di mana setiap klausa tersusun oleh tepat 2 literal positif. Sekarang, saya memiliki Monoton-2CNF rumus . Misalkan S adalah himpunan tugas F yang memuaskan. Saya juga memiliki oracle O yang dapat memberikan informasi berikut:FFFSSSFFFOOO Kardinalitas...
Dalam suatu aplikasi yang saya pertimbangkan, saya perlu mengetahui kompleksitas komunikasi dari masalah berikut: Diberikan , misalkan S adalah himpunan bilangan bulat dari 1 ke n . Alice, Bob, dan Carol masing-masing menerima subset S , dilambangkan oleh A , B , dan C , masing-masing. Mereka...
Kelas kompleksitas PPAD biasanya didefinisikan dengan menyatakan bahwa End-Of-The-Line adalah PPAD-complete. End-Of-The-Line adalah masalah pencarian. Input terdiri dari grafik terarah di mana setiap node memiliki derajat dan derajat paling banyak 1. Grafik diberikan oleh fungsi komputasi waktu...
Pertanyaan itu muncul pada saya ketika saya mendapatkan jawaban Dana Moshkovitz untuk topik lain . Biarkan LLL menjadi NP Bahasa, dan membiarkan RLRLR_L menjadi masing- NP hubungan. Kita tahu bahwa ada beberapa polinomial ppp sehingga: ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x...
Diketahui bahwa menentukan apakah triangulasi 3-manifold yang diberikan adalah 3-bola di NP, melalui kerja oleh Saul Schleimer pada tahun 2004: "Pengenalan bola terletak pada NP" arXiv: math / 0407047v1 [math.GT] . Saya bertanya-tanya apakah ini telah ditetapkan untuk melengkapi NP dalam lima atau...
Katakanlah kita memiliki jaringan saraf maju umpan tunggal dengan input k dan satu output. Ini menghitung fungsi dari , cukup mudah untuk melihat bahwa ini memiliki setidaknya kekuatan komputasi yang sama dengan A C 0 . Hanya untuk bersenang-senang, kita akan memanggil sekumpulan fungsi yang dapat...
Biarkan p ( x 1 , ... , x n )p(x1,…,xn)p(x_1,\ldots,x_n) menjadi polinomial multi-variate dengan koefisien atas lapangan FFF . The multilinearization dari ppp , dilambangkan dengan p , merupakan hasil berulang kali mengganti setiap x d i dengan d > 1 oleh x i . Hasilnya jelas polinomial...
Banyak kelas kompleksitas yang didefinisikan dengan mesin Turing memiliki definisi dalam hal sirkuit yang seragam. Sebagai contoh, P juga dapat didefinisikan menggunakan sirkuit ukuran polinom yang seragam, dan juga BPP, NP, BQP, dll. Dapat didefinisikan dengan sirkuit yang seragam. Jadi, apakah...
The Hamiltonian Cycle Masalah (HC) terdiri dalam menemukan suatu siklus yang melewati semua simpul dalam grafik diarahkan diberikan. Masalah Travelling Salesman (TSP) terdiri dalam menemukan suatu siklus yang melewati semua simpul dalam grafik tepi-tertimbang yang diberikan dan meminimalkan total...
DLogTimeDLogTime\mathsf{DLogTime} danNLogTimeNLogTime\mathsf{NLogTime} adalah dua dari kelas kompleksitas terkecil yang kita miliki. (Perhatikan bahwa logaritma waktu hirarkiLHLH\mathsf{LH} adalah sama denganAC0AC0\mathsf{AC}^0 dan ini adalah dua tingkat pertama dariLHLH\mathsf{LH} ). Setelah...
Inilah masalahnya: Kami memiliki kotak dengan beberapa angka dari 1..N di beberapa sel. Itu diperlukan untuk menentukan apakah itu bisa diselesaikan ke kotak ajaib. Contoh: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ Apakah ini masalah...
kompleksitas komputasi melibatkan sejumlah besar Combinatorics dan teori bilangan, beberapa ilmu pengetahuan dari stokastik, dan jumlah aljabar yang muncul. Namun, sebagai seorang analis, saya bertanya-tanya apakah ada aplikasi analisis dalam bidang ini, atau mungkin ide-ide yang terinspirasi oleh...
Pengamatan yang terkait dengan kriptografi asimetris adalah bahwa beberapa fungsi (diyakini) mudah dilakukan dalam satu arah tetapi sulit untuk dibalik. Selain itu, jika ada beberapa informasi 'pintu jebakan' yang memungkinkan operasi terbalik untuk dihitung dengan cepat maka masalahnya menjadi...
Vertex Cover dapat dengan mudah direduksi menjadi Independent Set dan sebaliknya. Namun, dalam konteks kompleksitas parameter, set Independen lebih sulit daripada Penutup Vertex. Sebuah kernel dengan simpul ada untuk Vertex Cover, tapi Independen Set W 1 keras.2k2k2k Bagaimana sifat Independent...
Sudah diketahui bahwa ada algoritma optimal kasus terburuk untuk menghitung kode Huffman dalam waktu . Ini ditingkatkan dalam dua cara ortogonal:θ(nlgn)θ(nlgn)\theta(n\lg n) Kode bebas awalan yang optimal dapat dihitung lebih cepat jika rangkaian frekuensi yang berbeda kecil (misalnya ukuran ):...
Dengan asumsi NP! = CoNP, maka tidak ada sertifikat ukuran polinomial untuk masalah lengkap-TNP. Tapi bagaimana dengan sertifikat ukuran subeksponensial? Khususnya untuk coSAT, adakah bukti ukuran subeksponensial untuk membuktikan formula tidak memuaskan? Jika tidak, apa bukti negatifnya? Terima...
Parameter dan pendekatan tetap adalah pendekatan yang sama sekali berbeda untuk menyelesaikan masalah yang sulit. Mereka memiliki motivasi yang berbeda. Perkiraan mencari hasil yang lebih cepat dengan solusi perkiraan. Parameter tetap mencari solusi yang tepat dengan kompleksitas waktu dalam hal...
Setiap kali saya mengajar NP-Completeness, siswa bertanya "apakah ada masalah yang diketahui bukan milik NP?" Bagaimana Anda menjawabnya? Saya biasanya memberi mereka masalah yang tidak dapat diputuskan sebagai contoh, tetapi ini sering tidak berjalan dengan baik: (a) jika saya memberi mereka...