Mengingat tetap diarahkan grafik (digraf) , yang -coloring masalah keputusan menanyakan apakah digraph masukan memiliki homomorfisma untuk . (A homomorfisme ke adalah pemetaan dari ke yang mempertahankan busur, yaitu, jika adalah busur , maka adalah busur dari )D G V ( G ) V ( D ) u v G f ( u ) f (...
Makalah SODA 2 halaman Kalai memberikan algoritma yang sederhana dan efisien untuk pencocokan pola dengan tidak peduli (wildcard yang cocok dengan satu karakter). Intinya, semudah berbelit-belit. Tetapi apa yang terjadi jika kita mencari beberapa pola dengan tidak peduli? Bisakah kita masih...
Biarkan menjadi bahasa, dan mendefinisikan f L : A * × A * → { 0 , 1 } oleh f L ( x , y ) = 1 jika dan hanya jika x ⋅ y ∈ L . Saya mencari referensi untuk:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in...
Untuk bahasa tetap pada beberapa alfabet , mari kita pertimbangkan masalah berikut, yang saya sebut -INTERLEAVING :A LL.LLSEBUAHAAL.LL Input: dua katau , v ∈ A∗u,v∈A∗u, v \in A^* Output: apakah ada suatu interleaving dari dan yang di .v LkamuuuvvvL.LL Di sini, interleaving dua kata dan adalah...
Apakah ada kerangka kerja / formalisme yang mendefinisikan model komputasi berdasarkan protein selain model DNA Adleman atau ini karya Cherry dan Qian
Dalam Martin-LOF Sebuah Intuitionistic Teori Jenis: predikatif Bagian terbukti bahwa jenis memeriksa adalah decidable tunduk typeable makhluk di tempat pertama, dengan membuktikan Teorema normalisasi untuk istilah typeable tertutup. Di sisi lain, saya pernah melihatnya ditulis di banyak tempat...
Apa batas atas asimptotik yang paling dikenal pada ukuran bukti yang dapat diperiksa secara probabilistik? Idealnya, saya mencari survei kontemporer tentang pertanyaan luas ini, tetapi jika tidak ada, saya terutama tertarik pada ketidak-taksiran 3-SAT. Misalkan 7/8 + ε-3-SAT menjadi 3-SAT dengan...
Dalam [1], Garey et al. mengidentifikasi apa yang kemudian dikenal sebagai Jumlah Masalah Roots Square dalam rangka menyelesaikan NP-Euclidean TSP. Mengingat bilangan bulat a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n dan LLL , menentukan apakah a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} +...
Ketika memperkenalkan grafik dekomposisi modular , kebanyakan penulis menggunakan grafik 11-simpul, yang saya salin dari wikipedia. Pertanyaannya adalah siapa desainer asli dari itu. (Saya tidak bertanya siapa yang menggambar grafik ini untuk wikipedia, tetapi sumber aslinya). Halaman wikipedia...
Dimensi VC adalah ukuran kompleksitas kelas fungsi yang terkait erat dengan kompleksitas sampel. Dimensi penghancuran lemak adalah generalisasi yang cocok untuk domain yang lebih kaya: yaitu . Apakah ada generalisasi standar dimensi-VC yang cocok untuk fungsi dengan domain diskrit dan tidak...
Lemma berikut tidak sulit untuk dibuktikan. Lemma : Biarkan c1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] dan k∈[n]k∈[n]k \in [n] . Jika adalah bilangan bulat (beberapa di antaranya mungkin negatif) sedemikian sehingga , maka bilangan bulat memuaskan sedemikian sehingga . Di...
Apa referensi terbaik untuk belajar mandiri di DATALOG? Saya terutama tertarik pada kekuatan ekspresif, hasil kompleksitas, metode evaluasi, ekstensi DATALOG dengan negasi dll. Apakah ada buku atau makalah yang mencakup semua
Saya mencari kerja pada sistem yang mirip dengan urutan urutan tinggi K. Dosen ("Sistem Urutan untuk Modal Logika", JSL 50 ). Satu-satunya karya yang saya sadari adalah karya terbaru oleh Iemhoff dan Metcalfe ("Teori bukti aturan yang dapat diterima", Annals of Pure and Applied Logic 159 (1-2),...
Kami diberi tumpukan yang menampung "item" dengan warna berbeda dan sebuah mesin yang dapat memproses banyak item dengan warna yang sama sekaligus. Pada setiap langkah, kita dapat menghapus satu item dari bagian atas setiap tumpukan dan memasukkannya ke dalam mesin kami (sehingga secara efektif...
Penutupan leksikal adalah teknik implementasi dalam bahasa dengan fungsi kelas satu. Saya tertarik dengan deskripsi operasional sederhana dari penutupan fungsi. Adakah yang tahu deskripsi seperti
Saya baru-baru ini menghadiri Workshop tentang Pseudorandomness di Chennai Mathematical Institute on Pseudorandomness. Venkat Guruswami membuat pernyataan yang indah berikut saat berbicara (tentang teori pengkodean): Sungguh luar biasa berapa banyak seseorang dapat membuktikan menggunakan fakta...
Di kertas "tanda tangan pendek dari pasangan Weil" oleh Boneh, Lynn dan Shacham, saya akan melalui bukti keamanan sama seperti tanda tangan lainnya. Namun teknik yang digunakan dalam tulisan ini cukup unik. Alih-alih menggunakan penantang normal dan interaksi musuh, mereka membagi bukti menjadi 6...
Kami sedang mengerjakan kertas yang menyajikan beberapa algoritma untuk menemukan segitiga dan motif jaringan (subgraph ukuran konstan, juga dikenal sebagai graphlets) dalam pengaturan terdistribusi. Kami mencirikan pertukaran antara jumlah segitiga dalam grafik dan beban komunikasi yang...
Gagasan diameter dibatasi MST adalah bahwa Anda menjaga semua simpul terhubung dan dalam jarak tertentu satu sama lain. Tetapi semua kertas yang saya lihat menjaga persyaratan bahwa Anda menghasilkan pohon, ketika memungkinkan siklus dapat membantu mengurangi diameter. Adakah yang tahu makalah yang...
ini adalah penulisan ulang pertanyaan saya yang lain baru-baru ini [1] yang tidak dinyatakan dengan baik (memiliki penyederhanaan yang jelas, mea culpa) tapi saya pikir masih ada pertanyaan yang tidak penting di jantungnya. telah melihat masalah serupa dalam literatur tetapi tidak yang satu ini...