Diberikan fungsi submodular pada mana dan terpisah dan . Berikut dan yang submodular di dan masing-masing.Ω = X 1 ∪ X 2 X 1 X 2 f ( S ) = f 1 ( S ∩ X 1 ) + f 2 ( S ∩ X 2 ) f 1 f 2 X 1 X 2fffΩ=X1∪X2Ω=X1∪X2\Omega=X_1\cup X_2X1X1X_1X2X2X_2f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f_1(S\cap...
Saya belajar teori aljabar parsing. Masalah pertama saya adalah mengidentifikasi contoh semiring yang spesifik untuk teori bahasa formal. Berikut ini adalah upaya untuk membangun dua contoh. 1 Dengan tata bahasa CNF, elemen semiring adalah kumpulan simbol terminal dan nonterminal dengan...
Saya mencoba untuk mempelajari lebih lanjut tentang pengecekan seluruh tipe program dan sistem inferensia tipe yang menggunakan informasi dari situs pemanggilan fungsi untuk menghitung informasi jenis (selain pendekatan standar menggunakan fungsi tubuh). Sebagai contoh, algoritma seperti itu...
Saya membaca kertas tua MC Golumbic tentang grafik EPT (persimpangan jalur di pohon). Dalam makalah itu ditunjukkan bahwa jumlah klik maksimal dari instance grafik EPT adalah polinomial. Disimpulkan bahwa jika oracle melaporkan bahwa grafik adalah grafik EPT, maka dimungkinkan untuk menemukan klik...
DLOGTIME didefinisikan di http://en.wikipedia.org/wiki/DLOGTIME didefinisikan di http://en.wikipedia.org/wiki/L_%28complexity%29 NC dan NC n didefinisikan di http: // en .wikipedia.org / wiki / NC_% 28kompleksitas% 29LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME...
Asumsikan kerangka kerja dalam kompleksitas komunikasi di mana kita memiliki dua pemain A (kutu) dan B (ob) dan R (eferee). A dan B tidak berkomunikasi secara langsung satu sama lain. Dalam setiap putaran komunikasi, masing-masing dari mereka mengirim pesan ( , ) ke R. R menghitung dua fungsi dan...
(Permintaan maaf jika ini salah tempat atau terlalu luas. Saya terbuka untuk saran tentang cara merumuskannya kembali.) Saya tertarik menelusuri sejarah "kuno" algoritma max-flow, dan algoritma optimasi diskrit secara umum. Ford-Fulkerson adalah pemain inti saya dari titik awal. Apa kemajuan yang...
Teorema PCP menyatakan bahwa setiap masalah keputusan dalam NP memiliki bukti probabilistically checkable (atau setara, bahwa ada sistem bukti yang lengkap dan quasi-sound untuk teorema di NP menggunakan kompleksitas kueri konstan dan bit acak secara logaritmik). "Kebijaksanaan rakyat" yang...
Delaunay triangulasi dalam pesawat memaksimalkan sudut minimum dalam segitiga. Apakah hal yang sama berlaku untuk triangulasi poin Delaunay pada bola? (di sini "sudut" adalah sudut lokal di lingkungan sekitar titik di puncak). Terinspirasi oleh tetapi tidak terkait dengan pertanyaan ini di...
Saya mencari perangkat lunak untuk menghitung / memperkirakan volume polyhedra cembung dimensi tinggi. Lebih khusus, saya tertarik pada sebuah program, yang dapat menangani tubuh dengan simpul dalam ruang d- dimensi dengan parameter yang dibatasi kira-kira sebagai berikut: d ≤ 50 dan n ≤ 1000 ....
Menindaklanjuti pertanyaan ini ... Saya berusaha mempelajari cara menggunakan dan membuat jaringan saraf untuk penelitian saya, dan satu hal agak kabur dari saya. Saya menyadari bahwa lapisan tersembunyi adalah bagian yang perlu dilakukan, namun saya terjebak pada dua poin yang tidak dijelaskan...
Misalkan saya memiliki daftar dari himpunan bagian dari . Saya dapat melakukan preprocessing pada daftar ini jika perlu. Setelah preprocessing ini, saya diberikan satu set . Saya ingin mengidentifikasi set dengan .{ 1 , . . . , N } A ⊆ { 1 , . . . , n } B ∈ X B ⊆ AXX\cal X{1,...,n}{1,...,n}\{1,...
Saat mengartikan kunci sebagai angka alami, kita dapat menggunakan rumus berikut. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Apa yang saya kesulitan pahami adalah bagaimana kita memilih nilai A di
Saya ingin tahu mengapa untuk pengenalan bahasa bebas konteks, hanya automata push-down (DPA = NPDA) non-deterministik yang berfungsi. Mengapa deterministic push-down automata (DPDA) tidak mengenali bahasa seperti
Saya ingin mencari tahu apa saja aplikasi SGT di bidang informasi dan teori pengkodean dan mungkin komunikasi. Yang paling terkait yang terlintas dalam pikiran adalah pekerjaan pada Kode Expander Michael Sipser dan Daniel Spielman, "Kode Expander", Transaksi IEEE tentang Teori Informasi, Vol 42,...
Dalam konteks beberapa karya terbaru , kami telah mendefinisikan bahasa berdasarkan logika bernilai tiga à la Kleene, di mana berarti benar, 0 untuk salah, dan ⊥ untuk kesalahan atau tidak tahu. Untuk menunjukkan bahwa bahasa kami ekspresif, kami ingin membuktikan bahwa kami dapat membangun satu...
Mesin pencari semakin diandalkan sebagai penjaga gerbang informasi, namun kriteria yang digunakan oleh mesin pencari untuk memberi peringkat hasil tidak jelas bagi pengguna. Bagaimana pengguna dapat yakin bahwa hasil mereka tidak bias atau dirusak dengan cara tertentu untuk mendapatkan keuntungan...
Saat ini saya sedang melakukan penelitian dalam pseudorandomness, yang melibatkan kebun binatang benda-benda indah seperti generator pseudorandom, pengekstraksi acak, grafik expander, dll. Saya menemukan itu topik yang menarik, tetapi satu hal yang membuat saya gila adalah banyaknya parameter yang...
Apa kemungkinan bagi seorang ilmuwan komputer untuk mengubah bidangnya menjadi ahli matematika murni? dan apa cara paling mulus untuk melakukannya? ada contoh untuk orang yang bisa
Pertanyaan saya agak kabur. Saya bertanya-tanya apakah (dan bagaimana), kita dapat menerapkan gagasan treewidth untuk mengemas masalah dalam grafik. Saya akan senang dengan wawasan atau referensi dari penelitian sebelumnya tentang hal ini (dengan asumsi mereka ada hubungannya). Terima...