Ini juga diketahui bahwa grafik planar dari closed-keluarga dengan anak di bawah umur dilarang , grafik dengan treewidth dibatasi juga adalah grafik keluarga tertutup tanpa H k sebagai minor.K3,3,K5K3,3,K5K_{3,3}, K_{5}HkHkH_{k} Saya berasumsi bahwa grafik dengan max cut membentuk grafik keluarga...
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...
Lemma pemotongan (lemma penguraian sel) menyatakan bahwa diberi garis dalam bidang dimungkinkan untuk membaginya menjadi daerah (bahkan segitiga) untuk setiap sehingga interior setiap wilayah berpotongan dengan garis . Untuk lebih lanjut lihat misalnya buku Matousek's Lectures on Discrete Geometry...
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...
Meskipun sangat umum untuk melihat musisi otodidak yang sukses, pelukis, penulis dan arsitek - saya tidak akrab dengan autodidak terkenal di bidang TCS. Adakah contoh ilmuwan komputer teoretis autodidak yang berhasil (misalnya, seseorang yang menerbitkan makalah yang signifikan, tanpa pernah lulus...
Saya ditanyai oleh siswa berikut, dan tidak dapat memberikan jawaban lengkap: Apakah ada properti penutupan untuk kelas bahasa yang tidak bebas konteks? Cukup mudah untuk menemukan contoh yang menunjukkan bahwa itu tidak ditutup di bawah persimpangan dan iterasi (operator bintang Kleene), tetapi...
Misalkan ada pihak , masing-masing dengan sedikit . Saya ingin menghitung penggandaan jumlah yang kali dari nol, yaitu, .N>2N>2N>2pjpjp_jbj∈{0,1}bj∈{0,1}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R=(∑bj)×(N−∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) Perhitungan harus aman dalam arti bahwa tidak ada pihak bisa...
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...
Ini adalah pertanyaan yang agak subyektif. Saya tertarik mempelajari literatur tentang hasil multikommoditas aliran-potong, terutama hasil 'positif' yang menunjukkan bahwa aliran adalah perkiraan yang baik untuk memotong (katakanlah, dalam faktor yang konstan atau polylogaritmik dalam jumlah...
Dengan "baik", maksud saya baik algoritma menyediakan ikatan yang relatif ketat atau memiliki waktu berjalan yang relatif cepat. Setiap referensi
Saya melihat ke dalam ML untuk menghasilkan kode yang lebih efisien (yaitu mengkompilasi waktu dan menjalankan heuristik waktu). Saya memiliki phd (compiler, hpc), tetapi sangat sedikit pengalaman ML. Saya akan sangat menghargai referensi untuk pekerjaan yang ada. Lebih penting lagi, teknik...
Algoritme / teknik matematika apa yang tersedia untuk persis / kira-kira menghitung jumlah set independen? Apakah / Apakah ada referensi yang baik / referensi yang baik tentang topik ini? Saya tertarik pada grafik
Ada algoritma yang mudah untuk menghitung amplop atas dari susunan garis di pesawat. Lihat misalnya bagian 2.3 dalam survei, urutan Davenport-Schinzel dan aplikasi geometriknya . Adakah algoritma / struktur data yang diketahui untuk versi dinamis dari masalah yang sama? Artinya, kami ingin...
Saya mencoba untuk memperjelas pemahaman saya dalam contoh yang disajikan dalam Bagian 2.2 dari Quantum Finite Automata 1-arah: Kekuatan Kelemahan dan Generalisasi ( tautan alternatif ini juga mungkin berguna). Contoh ini memberikan contoh 1-QFA yang sangat terbuka dengan aturan transisi...
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...
Saya tertarik pada pointer ke algoritme (algoritme aproksimasi baik-baik saja) yang berupaya mempartisi grafik menjadi dua himpunan bagian sehingga jumlah bobot tepi dalam setiap subset sama (kurang-lebih) sama, dan jumlah bobot tepi antara keduanya himpunan bagian adalah (kurang-lebih)...
Masalah keputusan memiliki karakterisasi yang baik jika ada dalam . Banyak masalah grafik alami memiliki karakterisasi yang baik. Misalnya, Teorema Kuratuwski memberikan karakterisasi grafik planar yang baik. Teorema Konig memberikan karakterisasi grafik bipartit yang baik. Teorema Tutte memberikan...
Mengapa seseorang perlu penilaian untuk mendefinisikan semantik logika tingkat pertama? Mengapa tidak hanya mendefinisikannya untuk kalimat dan juga menentukan penggantian formula (dengan cara yang diharapkan). Itu sudah cukup: M⊨ ∀ x . ϕ⟺untuk semua d∈ d o m ( M) , M ⊨ ϕ [ x ↦ d]M⊨∀x.ϕ⟺for...
Asumsi Diffis-Hellman Decisional , atau singkatnya DDH, adalah masalah terkenal dalam kriptografi. Asumsi DDH berlaku pada kelompok siklik dari urutan (prima) , jika untuk generator , dan untuk secara acak memilih \ mathbb {Z} _q $$, pasangan berikut tidak dapat dibedakan (untuk algoritma...
Saat mempelajari masalah optimisasi, kami biasanya menganggap pemrograman linier (atau lebih umum: optimisasi cembung) sebagai contoh paling sederhana. Ini dapat dipecahkan dalam waktu polinomial, dan memiliki algoritma yang relatif mudah dipahami. Namun, versi keputusan LP adalah -lengkap. Ini...