Ilmu Komputer Teoritis

Di utas lain , Joe Fitzsimons bertanya tentang "batas bawah terbaik saat ini pada 3SAT." Saya ingin pergi ke arah lain: Apa batas atas terbaik saat ini di 3SAT? Dengan kata lain, apa kompleksitas waktu dari pemecah SAT yang paling efisien? Secara khusus, apakah mungkin untuk menemukan algoritma sub-eksponensial (namun …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

Penjelasan teoretis apa yang ada untuk keberhasilan praktis pemecah SAT, dan dapatkah seseorang memberikan ikhtisar dan penjelasan "gaya-wikipedia" yang mengikat semuanya? Secara analogi, analisis yang dihaluskan ( versi arXiv )) untuk algoritme simpleks melakukan pekerjaan yang hebat menjelaskan mengapa ia bekerja dengan sangat baik dalam praktiknya, terlepas dari kenyataan bahwa …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Saya memikirkan masalah berikut: Saya ingin menemukan ekspresi reguler yang cocok dengan serangkaian string tertentu (misalnya, alamat email yang valid) dan tidak cocok dengan yang lain (alamat email yang tidak valid). Misalkan dengan ekspresi reguler yang kami maksud adalah mesin negara terbatas yang terdefinisi dengan baik, saya tidak akrab dengan …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

Terinspirasi oleh pertanyaan ini dan khususnya paragraf terakhir dari jawaban Or, saya memiliki pertanyaan berikut: Apakah Anda tahu ada aplikasi dari teori representasi kelompok simetris di TCS? Grup simetris adalah grup dari semua permutasi dari dengan komposisi operasi grup. Representasi adalah homomorfisme dari ke grup linear umum matriks kompleks. Representasi …

42 co.combinatorics  permutations  fourier-analysis  gr.group-theory 

Tampak jelas bahwa sejumlah subbidang ilmu komputer teoretis telah secara signifikan dipengaruhi oleh hasil-hasil dari teori fisika. Dua contohnya adalah Perhitungan kuantum Hasil mekanika statistik digunakan dalam analisis kompleksitas / algoritma heuristik. Jadi pertanyaan saya, adakah bidang utama yang saya lewatkan? Motivasi saya sangat sederhana: Saya seorang fisikawan teoretis yang …

42 soft-question  quantum-computing  statistical-physics  physics 

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 

Komputer nyata memiliki memori yang terbatas dan hanya sejumlah negara terbatas. Jadi mereka pada dasarnya automata terbatas. Mengapa ilmuwan komputer teoretis menggunakan mesin Turing (dan model lain yang setara) untuk mempelajari komputer? Apa gunanya mempelajari model yang jauh lebih kuat ini sehubungan dengan komputer nyata? Mengapa model automata terbatas tidak …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Saya seorang mahasiswa tahun ke 2 dalam teori. Saya telah mengerjakan masalah selama setahun terakhir (dalam teori graf / algoritma). Sampai kemarin saya pikir saya baik-baik saja (saya memperpanjang teorema dari kertas). Hari ini saya menyadari bahwa saya telah membuat kesalahan sederhana. Saya menyadari bahwa itu akan jauh lebih sulit …

41 soft-question  research-practice 

Adakah yang tahu aplikasi menarik dari basis Gröbner untuk ilmu komputer teoretis? Basis Gröbner digunakan untuk menyelesaikan persamaan polinomial multi-variate, masalah NP-hard secara umum. Saya bertanya-tanya apakah beberapa case khusus yang dapat ditelusuri digunakan untuk menyediakan algoritma / konstruksi / bukti yang efisien dalam area terkait TCS atau TCS (kombinatorik, …

41 cc.complexity-theory  reference-request  algebra  polynomials 

Pada 1937 Turing menggambarkan mesin Turing. Sejak itu banyak model komputasi telah diuraikan dalam upaya untuk menemukan model yang seperti komputer nyata tetapi masih cukup sederhana untuk merancang dan menganalisis algoritma. Akibatnya, kami memiliki selusin algoritma untuk, misalnya, masalah SORT untuk model komputasi yang berbeda. Sayangnya, kami bahkan tidak dapat …

41 ds.algorithms  reference-request  soft-question  machine-models 

Bidang komputasi terdistribusi telah gagal dalam mengembangkan teori matematika tunggal untuk menggambarkan algoritma terdistribusi. Ada beberapa 'model' dan kerangka kerja komputasi terdistribusi yang sama sekali tidak kompatibel satu sama lain. Ledakan semata-mata dari berbagai sifat temporal (asinkron, sinkron, sinkron parsial), berbagai komunikasi primitif (passing pesan vs memori bersama, siaran vs. …

41 big-picture  dc.distributed-comp 

Di MathOverflow, Timothy Gowers mengajukan pertanyaan berjudul " Mendemonstrasikan kekakuan itu penting ". Sebagian besar diskusi di sana tentang kasus-kasus yang menunjukkan pentingnya pembuktian, yang mungkin tidak perlu diyakinkan oleh orang-orang di CSTheory. Dalam pengalaman saya bukti perlu lebih ketat dalam ilmu komputer teoretis daripada di banyak bagian matematika kontinu, …

41 big-list  soft-question  proofs 

Saya mahasiswa PhD tahun keempat dalam ilmu komputer teoretis. Saya ingin tetap di dunia akademis, jadi saya memikirkan cara terbaik untuk memajukan karir saya. Jelas cara terbaik untuk melakukannya adalah menulis banyak makalah yang bagus, tetapi pertanyaan lain adalah apakah saya harus mencoba membuat lebih dari kertas-kertas itu menjadi penulis …

40 soft-question  career 

Meskipun sudah beberapa tahun kuliah, saya masih bingung memilih topik penelitian. Saya telah mencari kertas dari berbagai daerah dan berbicara dengan profesor, dan saya mulai berpikir ini adalah pendekatan yang salah. Saya pernah membaca bahwa ini membantu untuk menemukan masalah yang menarik (jangankan area) dan untuk kemudian bekerja pada itu. …

40 soft-question  research-practice  advice-request  career 

Saya ingin memahami Applicativedalam hal teori kategori. The dokumentasi untuk Applicativemengatakan bahwa itu functor longgar monoidal kuat . Pertama, Wikipedia halaman tentang functors monoidal mengatakan bahwa functor monoidal adalah baik longgar atau kuat . Jadi menurut saya salah satu sumber salah, atau mereka menggunakan istilah secara berbeda. Adakah yang bisa …

40 lo.logic  type-theory  functional-programming  ct.category-theory