Pertanyaan yang diberi tag «soft-question»

Selama bertahun-tahun saya telah terbiasa melihat banyak teorema TCS terbukti menggunakan analisis Fourier diskrit. Transformasi Walsh-Fourier (Hadamard) berguna di hampir setiap subbidang TCS, termasuk pengujian properti, pseudorandomness, kompleksitas komunikasi, dan komputasi kuantum. Sementara saya merasa nyaman menggunakan analisis Fourier dari fungsi Boolean sebagai alat yang sangat berguna ketika saya menangani …

60 soft-question  boolean-functions  fourier-analysis 

Setelah mempelajari deterministic finite state automata (DFA) di tingkat sarjana, saya merasa mereka sangat dipahami. Pertanyaan saya adalah apakah ada sesuatu yang masih belum kita mengerti tentang mereka. Maksud saya bukan generalisasi DFA tetapi DFA asli yang tidak dimodifikasi yang kami pelajari di tingkat sarjana. Ini adalah pertanyaan yang tidak …

59 soft-question  open-problem  dfa 

Apa pedoman umum untuk memeriksa bukti Anda? Saya percaya ini penting bagi mahasiswa pascasarjana seperti saya. Saya sudah tahu apa yang perlu kita lakukan untuk membuktikan sesuatu, tetapi Anda harus selalu memeriksa semuanya sebelum mengirimkannya. Bahkan kepada penasihat Anda sendiri. Saya telah mengembangkan sendiri beberapa strategi melalui coba-coba, dan mendapat …

59 soft-question  research-practice  writing 

Pertanyaan ini adalah sesuatu yang sudah lama saya tanyakan. Ketika orang menggambarkan masalah P vs NP, mereka sering membandingkan NP kelas dengan kreativitas. Mereka mencatat bahwa menyusun simfoni kualitas Mozart (analog dengan tugas NP) tampaknya jauh lebih sulit daripada memverifikasi bahwa simfoni yang sudah dikomposisikan adalah kualitas Mozart (yang dianalogikan …

59 cc.complexity-theory  complexity-classes  soft-question 

Saya baru di situs ini. Pada mathoverflow ini adalah wiki komunitas, tapi saya tidak melihat cara mengaturnya di sini. Bukan pertanyaan penelitian, tapi semoga menarik bagi para ilmuwan komputer teoretis profesional. Saya seorang mahasiswa tahun ke-2 dalam teori, dan saya bertanya-tanya apa saran masyarakat untuk apa yang harus saya lakukan …

59 soft-question  career  advice-request 

Dengan munculnya internet (dan akal sehat) ada semakin banyak permintaan untuk penelitian akses terbuka. Beberapa peneliti (termasuk saya) merasa frustasi karena artikel-artikel penelitian yang diterbitkan oleh rekan sejawat berada di belakang paywalls. Saya mencari jurnal dan konferensi (terkait dengan ilmu komputer teoritis, teori grafik, kombinatorik, optimasi kombinatorial) yang membuat semua …

58 soft-question  conferences  journals 

Alat apa yang Anda gunakan untuk menulis makalah? Dari sedikit pengalaman yang saya miliki, para ahli teori menghabiskan banyak waktu untuk menulis dan memperbaiki makalah, selain benar-benar menjadi kreatif. Yaitu, mengomunikasikan pekerjaan mereka kepada orang lain. Mungkin makalah bukan cara yang tepat untuk melakukannya, tetapi itu harus dibiarkan untuk diskusi …

55 soft-question  big-list  research-practice  writing 

Ini adalah pertanyaan pertama saya di situs ini. Saya mengambil kursus master tentang teori perhitungan. Bagaimana Anda akan menjelaskan masalah P = NP kepada seorang anak berusia 10 tahun dan mengapa ia memiliki imbalan uang seperti itu? Anda menerima? Saya akan memperbarui pertanyaan karena kepalaku sudah mengerti.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Banyak peneliti ilmu komputer dan kelompok penelitian terkemuka) memelihara blog aktif yang membuat kami terus diperbarui tentang penelitian terbaru di bidang yang diminati penulis. Dalam kebanyakan kasus, posting blog lebih mudah dipahami daripada makalah formal, karena mereka mengabaikan sebagian besar detail teknis berdarah dan menekankan intuisi (yang umumnya dihilangkan makalah). …

53 soft-question 

Saya sering ditanya apa yang dilakukan ilmuwan komputer teoretis. Akan lebih baik memiliki beberapa tanggapan yang bagus untuk pertanyaan ini. Saya cenderung untuk kembali ke jargon teknis dan mata orang biasanya berkaca-kaca pada titik ini. Apa yang dilakukan ilmuwan komputer teoretis, dalam istilah yang dapat dipahami oleh orang-orang yang bukan …

51 big-list  soft-question 

Mengikuti pertanyaan yang bermanfaat di MO , saya pikir akan bermanfaat untuk membahas beberapa nama kertas terkenal di CS. Cukup jelas bahwa kebanyakan dari kita mungkin tertarik untuk membaca (atau setidaknya melirik) sebuah makalah dengan judul yang menarik (setidaknya saya melakukannya setiap kali saya memeriksa daftar makalah dalam sebuah konferensi), …

50 soft-question  big-list 

Saya ingat saya mungkin menemukan referensi untuk masalah yang telah terbukti dapat dipecahkan dengan kompleksitas tertentu, tetapi tanpa algoritma yang dikenal untuk benar-benar mencapai kompleksitas ini. Saya berjuang membungkus pikiran saya di sekitar bagaimana ini bisa terjadi; bagaimana bukti non-konstruktif untuk keberadaan suatu algoritma akan terlihat seperti. Apakah memang ada …

47 ds.algorithms  soft-question  lo.logic  proofs 

Teori kompleksitas adalah minat sekunder saya yang kuat tetapi itu bukan minat penelitian utama saya, jadi tidak ada harapan bagi saya untuk menghadiri semua konferensi, membaca semua blog, dan memastikan bahwa kerumunan "dalam" cc: saya di setiap bagian berita hangat. Saya mencoba melakukan beberapa dari ini, tetapi saya bertanya-tanya metode …

47 cc.complexity-theory  soft-question  research-practice 

Saya sedang mengedit naskah siswa. Mahasiswa itu berkomentar bahwa akan menyenangkan melihat contoh-contoh tulisan berkualitas dalam karya yang diterbitkan, dan saya menyadari bahwa saya tidak dapat benar-benar menghasilkan contoh-contoh bagus dari atas kepala saya. Apa contoh terbaik dari penulisan matematika berkualitas yang pernah Anda lihat? Aturan: Saya lebih suka kertas …

46 soft-question  writing 

Hari ini Ryan Williams memposting artikel di arXiv (sebelumnya muncul di SIGACT News) berisi versi yang kurang teknis dari teknik batas bawah ACC baru-baru ini. Pertanyaan saya bukan tentang teknik itu sendiri (tentu saja layak pujian yang sangat besar), tetapi tentang gaya kertas. Dalam abstrak, ia menulis: Buktinya akan dijelaskan …

44 soft-question  big-list