Saya ingin menulis survei tentang aplikasi Topologi dalam Ilmu Komputer. Saya berencana untuk membahas sejarah ide-ide topologi dalam Ilmu Komputer dan juga menyoroti beberapa perkembangan saat ini. Akan sangat membantu jika ada yang bisa memberi masukan tentang pertanyaan di bawah ini. Adakah...
Tujuan dari pertanyaan ini adalah untuk mengumpulkan contoh-contoh dari ilmu komputer teoretis di mana penggunaan komputer secara sistematis sangat membantu dalam membangun dugaan yang mengarah pada teorema, memalsukan pendekatan dugaan atau bukti, membangun / memverifikasi (bagian dari)...
Saat ini saya sedang menulis survei tentang teorema hierarki di TCS. Mencari makalah terkait saya perhatikan bahwa hierarki adalah konsep fundamendal tidak hanya dalam TCS dan matematika, tetapi dalam berbagai ilmu, dari teologi dan sosiologi ke biologi dan kimia. Melihat jumlah informasinya sangat...
Tampaknya Teori Kompleksitas Geometrik membutuhkan banyak pengetahuan tentang matematika murni seperti geometri aljabar, teori representasi. Walaupun saya seorang siswa CS dan TIDAK memiliki kelas matematika yang sangat abstrak dan murni, saya tertarik dengan program ini. Apakah ada daftar...
Topik TCS yang hilang di Wikipedia mana yang paling Anda sukai untuk dijadikan artikel? Mereka bisa kelalaian mencolok atau hanya topik yang menurut Anda harus memiliki artikel. Tolong, satu topik per jawaban sehingga yang paling dicari dapat dipilih. Pembaruan 5/2/2017 : Shuchi Chawla memimpin...
Saya mencari buku tentang struktur data tingkat lanjut yang melampaui apa yang dicakup dalam buku teks standar seperti Cormen, Leiserson, Rivest, dan "Pengantar Algoritma" Stein. Sebuah buku yang dapat digunakan untuk mengajar kursus tingkat pascasarjana tentang struktur data tingkat lanjut...
Memprediksi pasar saham itu sulit! Bisakah TCS menjadikan sentimen ini lebih formal? Baru-baru ini saya mulai berpikir sedikit tentang keuangan, dan bertanya-tanya bagaimana pengetahuan tentang TCS dapat membantu. Hedge fund dan perusahaan investasi tampaknya menggunakan perdagangan algoritmik,...
Apakah teorema otomatis membuktikan dan mencari bukti lebih mudah dalam linear dan logika substruktural proposisi lainnya yang kurang kontraksi? Di mana saya dapat membaca lebih banyak tentang teorema otomatis yang dibuktikan dalam logika ini dan peran kontraksi dalam pencarian
Akan menyenangkan untuk mengumpulkan daftar kondisi yang menyiratkan bahwa bahasa bebas konteks-L adalah reguler, yaitu syarat-syarat bentuk: "jika CFG / PDA yang diberikan memiliki properti P, maka bahasanya adalah reguler" Properti P tidak harus mengkarakterisasi CFG yang menghasilkan bahasa...
Saya baru-baru ini diingatkan tentang masalah vs. N P seperti dijelaskan oleh Stephen A. Cook di Clay Mathematics Institute.PP\mathsf{P}NPNP\mathsf{NP} Ini menarik minat saya dan saya ingin belajar lebih banyak tentang hal itu. Langkah pertama adalah mendapatkan pemahaman yang lebih dalam tentang...
Apakah ada survei (dari makalah, bab buku, tutorial, tautan, ...) tentang semantik dari berbagai fitur bahasa pemrograman? Saya awalnya kewalahan oleh fitur-fitur D di sini http://www.digitalmars.com/d/2.0/comparison.html Saya ingin melihat apa yang mungkin saya dapat dari sini, walaupun saya...
Biarkan menjadi fungsi boolean dengan sensitivitas s ( f ) dan sensitivitas blok b s ( f ) .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) Konjektur Sensitivitas-Blok sensitivitas menyatakan bahwa ada sehingga ∀ f , b s ( f ) ≤ s ( f ) c .c > 0c>0c>0∀ f, b s ( f ) ≤ s ( f)c∀f, bs(f)≤s(f)c\forall...
Saya mencari sumber daya (lebih disukai buku pegangan) tentang topik lanjutan dalam algoritma (topik di luar apa yang dicakup dalam buku teks algoritma seperti CLRS dan DPV). Jenis bahan yang dapat digunakan untuk mengajarkan topik dalam kursus algoritma seperti Erik Demaine dan kursus Algoritma...
Sekarang ada kumpulan hasil pada pemisah dalam grafik, dari pemisah planar, pemisah pohon, grafik lebar pohon terikat, grafik genus terikat, dll, dll, dll. Apakah ada survei yang diperbarui yang baik tentang ini, dan aplikasi
Baru-baru ini saya telah membaca sejumlah makalah CoLT yang layak. Meskipun saya tidak bergumul dengan makalah individual (setidaknya tidak lebih dari biasanya saya bergumul dengan makalah teori lainnya), saya tidak merasa memiliki pemahaman yang luas tentang bidang ini secara keseluruhan. Apakah...
Representasi paling sederhana untuk grafik menggunakan matriks / daftar adjacency, yang berarti bahwa setiap node dan edge secara eksplisit diwakili. Pentingnya representasi implisit untuk grafik yang menunjukkan keteraturan yang kuat telah lama diakui. Misalnya, Galperin & Wigderson (1983),...
Saya mencari catatan Kuliah yang tersedia online atau sumber daya lain yang memberikan pengenalan yang baik ke pemrograman paralel, seperti analog paralel dari kelas dasar dalam ilmu komputer. Fokus saya adalah sebagai berikut: sementara saya dapat berbicara tentang divide & conquer, algoritma...
Saya ingin mulai belajar tentang Pengodean Jaringan: http://en.wikipedia.org/wiki/Network_coding Apakah Anda tahu survei yang baik (misalnya dari Survei dan Tutorial IEEE) pada mata pelajaran di atas. Saya menemukan beberapa program universitas di google tetapi saya ingin beberapa rekomendasi...
Saya sedang membaca makalah seminal Les Valiant dan saya mengalami kesulitan dengan Proposisi 4.3 di halaman 10 makalah ini. Aku tidak bisa melihat mengapa kasus bahwa jika ada generator dengan nilai-nilai tertentu untuk dengan dasar { ( a 1 , b 1 ) ... ( a r , b r ) } , maka ada beberapa...