Pertimbangkan proses berikut: Ada nnn nampan yang disusun dari atas ke bawah. Awalnya, setiap nampan berisi satu bola. Di setiap langkah, kita pilih bola bbb secara acak dan seragam pindahkan semua bola dari tempat sampah yang berisi bbb ke nampan di bawahnya. Jika sudah menjadi nampan...
Misalkan Anda memiliki dua peserta kuat yang sewenang-wenang yang tidak saling mempercayai. Mereka memiliki akses ke komitmen bit (mis., Amplop tertutup berisi data yang dapat diberikan satu pemain kepada yang lain tetapi tidak dapat dibuka sampai pemain pertama memberikan kunci kedua). Bisakah...
( PEMBARUAN : pertanyaan yang terbentuk lebih baik diajukan di sini karena komentar untuk jawaban yang diterima di bawah menunjukkan bahwa pertanyaan ini tidak didefinisikan dengan baik) Bukti klasik ketidakmungkinan masalah berhenti tergantung pada menunjukkan kontradiksi ketika mencoba...
Fungsi adalah satu arah jika f dapat dihitung dengan algoritma waktu polinomial, tetapi untuk setiap algoritma waktu polinomial acak A ,f: { 0 , 1 }∗→ { 0 , 1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffSEBUAHSEBUAHA Pr [ f( A ( f( x ) ) ) = f( x ) ] < 1 / p ( n...
Diberikan seperangkat S dari matriks permutasi nxn (yang hanya sebagian kecil dari matriks permutasi n! Mungkin), bagaimana kita dapat menemukan subset ukuran-kecil T dari S sedemikian sehingga menambahkan matriks T memiliki setidaknya 1 di setiap posisi? Saya tertarik dengan masalah ini di mana S...
Ini adalah pertanyaan dalam semangat yang satu ini di mana saya menjawab bahwa penting untuk melacak apa yang telah Anda lakukan sesuatu, mengapa Anda melakukannya dan apa yang tidak berhasil. Saya pribadi menggunakan notebook untuk tujuan itu, tetapi memiliki beberapa kelemahan: pertama saya...
Kita diberi keluarga dari himpunan bagian dari {1, ..., n}. Apakah mungkin untuk menemukan batas bawah non-sepele pada kompleksitas memutuskan apakah adalah keluarga Sperner? Batas bawah sepele adalah dan saya sangat curiga bahwa itu tidak ketat. mFF\mathcal{F}mmmFF\mathcal{F}O(nm)O(nm)O(n...
Diberikan poin dalam R d dan jarak l menemukan subset terbesar dari titik-titik ini sehingga jarak Euclidian tidak ada dua dari mereka melebihi l .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll Apa kompleksitas masalah ini? Dalam grafik di atas titik-titik yang memiliki keunggulan setiap...
Sebuah pertanyaan baru-baru ini membahas algoritma pemrograman dinamis klasik sekarang untuk TSP, karena independen untuk Bellman dan Held-Karp . Algoritma secara universal dilaporkan berjalan dalam waktu O(2nn2)O(2nn2)O(2^n n^2) . Namun, seperti yang ditunjukkan oleh salah satu siswa saya...
Diberi dua pohon AVL dan dan nilai sedemikian rupa sehingga , mudah untuk membangun pohon AVL baru yang berisi dan nilai-nilai di T_1 dan T_2 dalam waktu O (1+ | h (T_1) - h (T_2) |) , di mana h (T) menunjukkan ketinggian pohon T (selama pohon menyimpan ketinggiannya).T 2 t r ∀ x ∈ T 1 , ∀ y ∈ T 2...
Misalkan menunjukkan kompleksitas Kolmogorov dari sebuah string x . Apakah ada string sedemikian rupa sehingga K ( x x ) < K ( x ) . (Di sini x x adalah gabungan x dengan dirinya sendiri). Pertanyaan serupa tetapi berbeda
sup AO PTsupSEBUAHHAIPT\sup\frac{A}{OPT}M.sayaNM.sayaNMINSEBUAHSEBUAHASEBUAHSEBUAHAO PTHAIPTOPTinf Ω - AΩ - OPTinfΩ-SEBUAHΩ-HAIPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega itu memberikan rasio perkiraan yang sama untuk masalah seperti penutup simpul minimum dan set independen maksimum yang diketahui...
Sudah diketahui bahwa rumus acak -CNF atas variabel dengan klausa tidak memuaskan (yaitu mereka kontradiksi) dengan probabilitas tinggi, untuk konstanta yang cukup besar . Dengan demikian, rumus acak -CNF (untuk cukup besar) merupakan distribusi alami atas formula Boolean yang tidak memuaskan (atau...
Setelah bekerja dengan 2-3 pohon jari cukup lama saya terkesan dengan kecepatan mereka di sebagian besar operasi. Namun, satu masalah yang saya temui adalah overhead besar yang terkait dengan penciptaan awal pohon jari besar. Karena bangunan didefinisikan sebagai urutan operasi rangkaian Anda...
Saya bertanya-tanya apakah ada bibliografi yang baik tentang upaya untuk menyelidiki dugaan Collatz sebagai tata bahasa formal? (atau upaya lain apa pun dalam komunitas CS untuk menangani kelas fenomena generatif ini & sifat "tersendat"
Apakah ada teori bahasa pemrograman yang menggambarkan antarmuka fungsi asing (FFI) dan binding beberapa bahasa? Saya telah menanyakan beberapa masalah implementasi pada stackoverflow , yang tidak cocok di sini. Tetapi saya ingin bertanya dari pandangan situs ini dan melihat apa yang bisa saya...
Salah satu hal menakjubkan tentang ilmu komputer adalah bahwa implementasi fisik dalam beberapa hal "tidak relevan". Orang-orang telah berhasil membangun komputer dari beberapa substrat yang berbeda - relay, tabung hampa udara, transistor diskrit, dll. Orang mungkin akan segera berhasil membangun...
Apakah kasus grafik sangat teratur yang paling sulit untuk pengujian GI? di mana "paling sulit" digunakan dalam beberapa arti "akal sehat", atau "rata-rata", untuk berbicara. Wolfram MathWorld menyebutkan beberapa "grafik yang sulit secara patologis". Apakah mereka? Kumpulan sampel saya yang...
Ambil grafik terarah mana tepinya didekorasi dengan bilangan alami. Kami ingin himpunan semua jalur P antara dua simpul v 1 dan v 2 sedemikian rupa sehingga setiap tepi berurutan di jalur dihiasi dengan bilangan alami yang lebih besar dari bilangan alami yang menghiasi tepi
Kita sering ingin mendefinisikan objek A∈UA∈UA \in U menurut beberapa aturan inferensi. Aturan-aturan menunjukkan suatu pembangkit fungsi yang, ketika itu monoton, menghasilkan titik setidaknya tetap . Kami mengambil menjadi "definisi induktif" dari . Selain itu, monotonitas memungkinkan kita untuk...