Saya seorang mahasiswa pascasarjana dalam ilmu komputer teoretis, dan khususnya, algoritma perkiraan. Sekarang saya menemukan bahwa saya lebih tertarik pada matematika murni (saya dapat mengatakan ini karena saya tampaknya lebih menikmati kursus matematika daripada kursus CS). Saya ingin bertanya...
Ada teori grafik algoritmik / teori bilangan / kombinatorik / teori informasi / teori permainan. Apakah ada analisis matematis algoritmik? Menurut wiki, analisis matematis mencakup teori diferensiasi, integrasi, ukuran, batas, deret tak hingga, dan fungsi analitik. Tidak masalah untuk fokus...
Adakah hasil yang diketahui pada kelas kompleksitas 1-in-3-SAT dengan jumlah kejadian variabel yang terbatas? Saya datang dengan pengurangan pelit berikut dengan Peter Nightingale, tapi saya ingin mengutip sesuatu jika ini diketahui. Inilah trik yang kami buat. Ini menunjukkan bahwa 1-in-3-SAT...
Salah satu konsekuensi paling praktis dari korespondensi "Curry-Howard-Lambek" adalah bahwa sintaks dari banyak lambda-calucli / logika dapat digunakan untuk melakukan konstruksi dalam kategori yang cukup terstruktur. Misalnya, Synthetic Differential Geometry memiliki model dalam topoi yang berisi...
Sebuah antichain dalam DAG adalah bagian A ⊆ V dari simpul yang berpasangan terjangkau, yaitu, tidak ada v ≠ v ' ∈ A sehingga v dapat dicapai dari v ' di E . Dari teorema Dilworth dalam teori urutan parsial, diketahui bahwa jika DAG tidak memiliki ukuran antik dari ukuran k ∈ N , maka dapat...
Biarkan menjadi bahasa dan fungsi pada dua parameter dengan properti yang untuk semua dan , mengembalikan elemen dari jika dan hanya jika keduanya dan adalah elemen :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LL.LLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon
Monadic First Order Logic, juga dikenal sebagai Monadic Class of Decision Problem, adalah tempat semua predikat mengambil satu argumen. Itu terbukti decidable oleh Ackermann, dan NEXPTIME-complete . Namun, masalah seperti SAT dan SMT memiliki algoritme cepat untuk menyelesaikannya, meskipun ada...
Saya memiliki satu set vektor biner S = { s 1 , … , s n } ⊆ { 0 , 1 } k ∖ { 1 k } dan vektor target t = 1 k yang merupakan vektor semua-yang.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Dugaan: Jika dapat ditulis...
Saya tertarik dengan masalah klasik REGULAR LANGUAGE INCLUSION. Diberi ekspresi reguler , kami menunjukkan oleh L ( E ) bahasa reguler yang terkait dengannya. (Ekspresi reguler menggunakan alfabet tetap Σ , dengan gabungan operasi, bintang Kleene dan gabungan.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: Dua...
Saya telah membaca tentang substitusi turun-temurun untuk Kalkulus Lambda Sederhana dan untuk Kerangka Kerja Logis dengan istilah dan tipe yang berbeda. Saya bertanya-tanya, apakah ada contoh penggantian herediter dalam sistem yang diketik dependen dengan hierarki semesta? yaitu di mana dll.Tr u e...
Secara khusus, saya meminta sumber daya untuk mempelajari tentang sistem pembelajaran mesin yang dapat memperbarui jaringan kepercayaan masing-masing (atau yang setara) selama operasi. Saya bahkan telah menemukan beberapa, meskipun saya gagal untuk membookmark mereka. Seperti yang Anda bayangkan,...
Makalah apa tentang penanganan kesalahan dalam sistem terdistribusi yang Anda
Pertama-tama, saya masih tidak yakin apakah cerita ini disesuaikan dengan baik untuk pertanyaan ini, jadi saya tidak akan tersinggung jika orang banyak berpikir itu tidak terjadi ... Dalam pemasaran mesin pencari, beberapa masalah menarik. Desain mekanisme lelang yang adil (dan menguntungkan) dan...
Pertanyaan ini sama dengan pembicaraan inspirasional untuk siswa sekolah menengah akhir . Ph.D. saya penasihat meminta saya untuk memberikan ceramah inspirasional untuk M.Sc. baru siswa. Subjeknya adalah dasar-dasar kriptografi , yang paling baik diilustrasikan oleh buku Goldreich . Pembicaraan...
Saya tertarik pada contoh konstruksi dalam teori kompleksitas yang lebih baik daripada konstruksi acak. Satu-satunya contoh konstruksi yang saya tahu adalah di bidang kode koreksi kesalahan. Kode aljabar-geometri lebih baik dalam beberapa rentang parameter daripada kode acak. Orang dapat dengan...
Program rentang adalah cara linier-aljabar menentukan fungsi boolean yang diperkenalkan di sini . Baru-baru ini, model ini digunakan untuk menunjukkan bahwa metode musuh negatif memberikan karakterisasi yang ketat (setidaknya hingga ) dari kompleksitas kueri.catatann /
Meskipun pemisahan eksponensial antara kompleksitas kueri-kuantum kesalahan terbatas ( Q(f)Q(f)Q(f) ) dan kompleksitas kueri deterministik ( D(f)D(f)D(f) ) atau kompleksitas kueri acak terbatas ( R(f)R(f)R(f) ) diketahui, mereka hanya berlaku untuk fungsi parsial tertentu. Jika fungsi parsial...
Ada cukup banyak pekerjaan pada masalah komputasi untuk pesanan parsial (misalnya, pengakuan, nomor lompatan, pengakuan grafik komparatif, dll ...). Saya ingin tahu apa pekerjaan khusus untuk kisi telah dilakukan. Saya telah mencari-cari dan tidak menemukan banyak pekerjaan serupa untuk...
Saya ingin tahu apakah seseorang dapat merekomendasikan beberapa bahan pelengkap untuk mendapatkan pemahaman yang lebih dalam tentang makalah ini: " Beberapa Hasil dan Masalah Ketidaksetaraan Tipe-Bell Quantum - Tsirelson ". Khususnya sesuatu yang mungkin menguraikan sedikit lebih banyak tentang...
Inilah pertanyaan "trek B" jika ada. Ringkasan: hal pertama yang saya pikirkan ketika saya mencoba memberikan semantik untuk program-program non-deterministik menghasilkan semantik di mana saya tidak dapat membuktikan hal-hal tentang loop yang hanya mengakhiri non-deterministik. Tentunya seseorang...