Pertanyaan yang diberi tag «big-list»

Apakah ada dugaan dalam ilmu komputer teoretis yang melibatkan beberapa parameter n dan terbukti untuk nilai kecil n DAN untuk bilangan prima tetapi kemudian ternyata salah? Dalam teori bilangan masalah semacam itu memang ada, misalnya. seperti yang ditunjukkan Aaron Meyerowitz tentang koefisien dari polinomial siklotomik. Dari TCS saya hanya tahu …

17 big-list  primes 

Saya seorang mahasiswa pascasarjana dalam matematika dengan latar belakang yang kuat dalam logika. Saya telah mengambil kursus pascasarjana selama setahun di bidang logika bersama-sama dengan program pascasarjana tentang teori model terbatas dan satu lagi tentang teori memaksa dan menetapkan. Sebagian besar teks CS tampaknya hanya mengasumsikan latar belakang yang sangat …

17 lo.logic  soft-question  big-list  books  formal-methods 

Apa saja contoh utama derandomisasi yang sukses atau setidaknya kemajuan dalam menunjukkan bukti konkret terhadap tujuan (bukan koneksi keacakan kekerasan)?P=BPPP=BPPP=BPP Satu-satunya contoh yang terlintas di pikiran saya adalah pengujian primitas waktu polinomial deterministik AKS (bahkan untuk ini ada metodologi asumsi GRH). Jadi apa bukti spesifik melalui contoh yang kita miliki …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

Larry Wasserman memiliki posting baru-baru ini di mana ia berbicara tentang "polisi p-value". Dia membuat poin yang menarik (semua penekanan pada saya) (premis miring yang saya tambahkan, dan jawabannya di bawah): Keluhan yang paling umum adalah bahwa fisikawan dan jurnalis menjelaskan arti nilai-p secara tidak benar. Misalnya, jika nilai-p adalah …

15 ds.algorithms  soft-question  big-list 

Ada sejumlah algoritma dan struktur data yang mengeksploitasi gagasan bahwa mendapatkan nilai minimumnya di k = \ sqrt n . Contoh umum termasukmax{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n algoritma langkah-langkah raksasa-langkah untuk menghitung logaritma diskrit di O(n−−√)O(n)O(\sqrt n) , penghitungan rentang orthogonal 2D statis dalam waktu O(n−−√)O(n)O(\sqrt n) dan memori O(n)O(n)O(n) , …

15 ds.algorithms  ds.data-structures  big-list  teaching 

Saya mencari di internet, tetapi saya tidak dapat menemukan 'daftar besar' varian masalah SAT. Terlepas dari (umum) DUDUK, k-SAT, MAX-kSAT, Setengah SAT, XOR-SAT, NAE-SAT varian apa lagi yang ada? (juga akan sangat berguna jika ada kelas kompleksitas diberikan (jika memungkinkan))

14 cc.complexity-theory  sat  big-list 

Saya memulai PhD saya musim gugur ini dan saya berencana untuk bekerja dalam teori kompleksitas untuk tesis saya. Saya menyusun daftar makalah penting yang harus diketahui oleh setiap ahli teori kompleksitas. Makalah apa yang akan Anda sarankan untuk orang seperti saya? Dan tolong jelaskan secara singkat mengapa menurut Anda kertas …

14 cc.complexity-theory  reference-request  big-list 

Apakah hasil diketahui yang mengesampingkan keberadaan struktur data "terlalu-baik-untuk-menjadi-benar"? Misalnya: dapatkah seseorang menambahkan fungsi dan J o i n ke dalam struktur data pemeliharaan pesanan (lihat Dietz dan Sleator STOC '87 ) dan masih mendapatkan operasi waktu O ( 1 ) ?Sp l i tShallsayatSplitJo i nJHaisayanJoinO ( 1 )HAI(1)\mathcal{O}(1) …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Apa jenis dugaan dan masalah terbuka utama yang paling penting dalam teori permainan algoritmik (atau teori permainan secara umum yang berkaitan dengan CS)? Sebagai contoh, resolusi NASH sebagai PPAD-lengkap akan, saya pikir, telah menjadi yang terbesar hingga diselesaikan. (Ditambahkan: menyelesaikan hubungan PPAD dengan P dan NP adalah salah satu masalah …

14 big-list  gt.game-theory 

Dua makalah yang akan saya sertakan adalah: D. Kozen, "Pengindeksan kelas subkursif" , STOC, 1978. R. Ladner, "Tentang Struktur Pengurangan Waktu Polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Saya mencari contoh hasil yang bertentangan dengan intuisi orang untuk pembicaraan khalayak umum. Hasil yang jika ditanyakan dari non-pakar "apa yang dikatakan intuisi Anda kepada Anda?", Hampir semua akan salah. Pernyataan hasil harus mudah dijelaskan kepada sarjana dalam cs / matematika. Saya terutama mencari hasil dalam ilmu komputer. Apa hasil …

14 big-list  teaching  intuition 

Misalkan Anda bertemu dengan programmer yang telah mengambil beberapa program pemrograman profesional (/ saya pikir sendiri) tetapi tidak belajar matematika tingkat universitas. Untuk menunjukkan kepada mereka keindahan TCS, saya ingin mengumpulkan beberapa hasil bagus / pertanyaan terbuka yang berasal dari TCS yang dapat dengan mudah dijelaskan. Kandidat yang baik untuk …

13 soft-question  big-list  big-picture  teaching 

Apakah ada buku terbaru tentang Algoritma Online? Saya tahu hanya dua buku tentang masalah ini. Perhitungan Online dan Analisis Kompetitif oleh Allan Borodin dan Ran El-Yaniv: Ini adalah buku klasik tapi lama, dan tidak mengandung banyak kemajuan terbaru di bidang ini. Desain Algoritma Online Kompetitif melalui Pendekatan Primal-Dual oleh Niv …

13 reference-request  big-list  online-algorithms 

Untuk merayakan ulang tahun ke-100 Alan Turing, saya ingin menonton film dokumenter tentang hidupnya. Namun, ada beberapa film dokumenter untuk dipilih. Film dokumenter apa tentang Alan Turing yang menjadi favorit Anda? Harap sertakan hanya satu film dokumenter per jawaban.

13 reference-request  soft-question  big-list  ho.history-overview 

Teori kompiler tampaknya menjadi subjek yang cukup diperiksa. Apa saja masalah terbuka atau penelitian terkini yang terjadi di lapangan?

13 soft-question  big-list  open-problem  compilers