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...
Latar Belakang: Dalam pembelajaran mesin, kami sering bekerja dengan model grafis untuk mewakili fungsi kepadatan probabilitas dimensi tinggi. Jika kita membuang batasan yang mengintegrasikan kepadatan (jumlah) ke 1, kita mendapatkan fungsi energi terstruktur grafik yang tidak dinormalisasi...
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...
Pertanyaan Apa yang baru dalam struktur data murni fungsional sejak Okasaki? , dan jawaban epik jbapple, disebutkan menggunakan daftar perbedaan dalam pemrograman fungsional (sebagai lawan dari pemrograman logika), yang merupakan sesuatu yang baru-baru ini saya minati. Hal ini membuat saya...
Masalah gosip dalam sistem terdistribusi adalah sebagai berikut. Kami memiliki grafik dengan n simpul. Setiap simpul v memiliki pesan m v yang harus kirim ke semua node.GGGnnnvvvmvmvm_v Sekarang, pertanyaan saya adalah dalam konteks model jaringan ad-hoc (kami berasumsi bahwa sebuah node tidak...
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...
Latar belakang saya adalah teori / logika kompleksitas (di mana hanya ada satu proses sebagian besar waktu), dan dalam komputasi terdistribusi (di mana ada proses, dan satu atau lebih mungkin gagal dari waktu ke waktu). Namun, saya sekarang ingin dapat mengatakan sesuatu tentang proses pemijahan /...
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...
Ada dua jenis utama kegagalan prosesor dalam model komputasi terdistribusi: (1) Kegagalan kerusakan: prosesor berhenti, dan tidak pernah memulai lagi. (2) Kegagalan Bizantium: prosesor berperilaku berlawanan, jahat. Pertanyaanku adalah: Apa saja jenis kegagalan prosesor yang telah dipelajari,...
Saya mengajukan pertanyaan ini dalam lintas yang divalidasi T&J tetapi tampaknya itu terkait dengan CS lebih dari Statistik. Bisakah Anda memberi saya contoh algoritma pembelajaran mesin yang belajar dari sifat statistik dataset bukan pengamatan individu itu sendiri yaitu menggunakan model...
Saya searching tentang Matrix perkalian, Jadi saya kunjungan pertama wiki perkalian matriks algoritma, Dalam referensi saya menemukan kertas yang mengklaim bahwa penggunaan algoritmaO ( n2l o g( n ) )HAI(n2lHaig(n))O(n^2 log(n)) , aku akan membaca artikel tetapi rumit dan akan terlalu banyak waktu...
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...
Ketika mengeksplorasi berbagai teknik pembuktian batas bawah untuk algoritma terdistribusi, terpikir oleh saya bahwa varian berikut dari teorema Ramsey mungkin memiliki aplikasi - jika itu benar. Parameter: kkk , KKK , nnn diberikan, dan kemudian NNN dipilih cukup besar. Terminologi: mmm -subset...
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...
Misalkan adalah kelas grafik dengan lebar klik terikat. Dalam setiap grafik di G beberapa sisi dikontrak (misalnya secara acak). Apakah sekarang klik-lebar masih terikat?GGGGGG Dalam hal ini (secara umum) tidak lagi dibatasi, saya akan sangat tertarik pada contoh