Sehubungan dengan Slither link puzzle, saya sudah bertanya-tanya: Misalkan bahwa saya memiliki grid sel persegi, dan saya ingin mencari siklus sederhana dari tepi kotak, seragam secara acak di antara semua siklus sederhana mungkin.n×nn×nn\times n Salah satu cara untuk melakukan ini adalah dengan...
Masalah Kepuasan , tentu saja, masalah mendasar dalam CS teoritis. Saya bermain dengan satu versi masalah dengan banyak sekali variabel. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Pengaturan Dasar. Biarkan XXX menjadi seperangkat variabel bebas dan mungkin tak terbatas ....
Karena istilah ini kelebihan beban, definisi singkat terlebih dahulu. Poset adalah himpunan dianugerahi perintah parsial . Dengan dua elemen , kita dapat mendefinisikan (gabung) sebagai batas atas paling rendah mereka di , dan dengan cara yang sama mendefinisikan (bertemu) (gabung) sebagai batas...
Saya memiliki dua partisi [1…n][1…n][1 \ldots n] dan saya mencari jarak sunting di antara mereka. Dengan ini, saya ingin menemukan jumlah minimal satu transisi dari sebuah node ke grup yang berbeda yang perlu beralih dari partisi A ke partisi B. Misalnya jarak dari {0 1} {2 3} {4}ke {0} {1} {2 3...
Pertimbangkan masalah berikut: Input : hyperplane H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , diberikan oleh vektor dan dalam representasi biner standar .a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n b ∈ Zb∈Zb \in \mathbb{Z} Output :x ∈ Z...
Saya menanyakan pertanyaan ini beberapa minggu yang lalu di mathoverflow , tetapi saya tidak mendapat jawaban. Di sini, dengan 3D-grid sidelength maksud saya grafik G = ( V , E ) dengan V = { 1 , ... , k } 3 dan E = { ( ( a , b , c ) , ( x , y , z ) ) ∣ | a - x | + | b - y | + |...
EDIT (Oleh Tara B): Saya masih tertarik pada referensi ke bukti ini, karena saya harus membuktikannya sendiri untuk makalah saya sendiri. Saya mencari bukti Teorema 4 yang muncul di makalah ini: Hierarki Infinite dari titik-temu Bahasa Bebas Konteks oleh Liu dan Weiner. Teorema 4: Sebuah...
Hiroimono adalah puzzle lengkap populer . Saya tertarik pada kompleksitas komputasi dari teka-teki terkait.NPNPNP Masalahnya adalah: Input : Diberikan satu set titik pada pada x kotak persegi dan integernnnnnnkkk Pertanyaan : Apakah ada poligon bujursangkar (sisi-sisinya sejajar dengan atau...
Pertama bertanya pada math.SE tanpa balasan. Misalkan saya memiliki grafik planar, dengan penanaman planar, bagaimana cara menemukan dekomposisi pohon? Apa dekomposisi pohon optimal dari -by- kotak persegi? Tidak sepenuhnya yakin bagaimana mendefinisikan "optimal", tetapi harus membedakan antara...
Teorema fixpoint Tarski menyatakan, bahwa fixpoint operator monoton pada kisi lengkap adalah kisi lengkap. Sebagai akibatnya, kami memiliki fixpoint terbesar yang unik dan fixpoint paling unik untuk operator monoton pada kisi lengkap. Fixpoint bisa unik tetapi secara umum bisa banyak. Pertanyaan...
Pertanyaan saya berkaitan dengan bukti teorema utama Ajtai dalam makalahnya yang inovatif pada tahun 1996, Menghasilkan contoh-contoh sulit dari masalah kisi , yang menunjukkan hubungan antara masalah kisi hard case terburuk dan hard case rata-rata. Bukti ini sulit bagi saya untuk mengerti. Apakah...