Pertanyaan yang diberi tag «survey»

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 tulisan atau catatan yang menggambarkan kronologi penggunaan topologi …

61 reference-request  ho.history-overview  topology  survey 

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) bukti. Jika Anda memiliki contoh spesifik, tolong jelaskan bagaimana itu dilakukan. Mungkin ini …

55 proofs  survey  examples 

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 besar, saya berharap dapat meminta bantuan oleh …

42 cc.complexity-theory  reference-request  big-list  survey 

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 "pengetahuan minimum" untuk mempelajari teori ini? Daftar ini mencakup catatan kuliah departemen …

38 reference-request  big-list  survey  gct 

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 upaya untuk meningkatkan cakupan TCS di …

26 soft-question  big-list  survey 

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 seperti Erik Demaine dan kursus Struktur Data Lanjutan André Schulz …

24 soft-question  ds.data-structures  survey  books 

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, pembelajaran mesin, dan AI sepanjang waktu, tetapi hasil TCS tampaknya sedikit. Secara khusus, …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

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 bukti?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

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 reguler. Selanjutnya, P tidak harus decidable, dan P harus "entah bagaimana …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

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 …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

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 telah mengajukan pertanyaan serupa tentang stackoverflow dan memahami kedua situs ini memiliki …

12 reference-request  pl.programming-languages  survey 

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 masalah dan pemahaman tentang area secara umum. Bisakah Anda …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

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 Tingkat Lanjut David Karger . Sumber …

11 ds.algorithms  reference-request  survey  books 

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 mereka?

11 reference-request  graph-algorithms  survey 

Adakah contoh konkret (atau sumber yang kaya) dari penerapan angka-angka dalam ilmu komputer?halpp

11 survey