Pertanyaan yang diberi tag «reference-request»

Ini pemahaman saya bahwa model Turing telah menjadi "standar" ketika menjelaskan perhitungan. Saya tertarik untuk mengetahui mengapa hal ini terjadi - yaitu, mengapa model TM menjadi lebih banyak digunakan daripada model lain yang setara secara teori (sepengetahuan saya), misalnya urs-Rekursi Kleene atau Kalkulus Lambda (saya mengerti bahwa yang pertama tidak …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

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 

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 

Ini adalah pos-silang dari math.stackexchange. Biarkan FACT menunjukkan masalah anjak bilangan bulat: diberikan cari bilangan prima dan bilangan bulat sehinggap i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},halsaya∈ N ,pi∈N,p_i \in \mathbb{N},esaya∈ …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Saya mencari jawaban pasti untuk apakah generasi angka "benar-benar acak" Turing dapat dihitung. Saya tidak tahu bagaimana mengucapkannya dengan tepat. Pertanyaan StackExchange tentang "algoritma efisien untuk pembuatan angka acak" ini hampir menjawab pertanyaan saya. Charles Stewart mengatakan dalam jawabannya, "itu [Martin-Löf keacakan] tidak dapat dihasilkan oleh mesin." Ross Snider mengatakan, …

39 reference-request  computability  turing-machines  randomness 

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 

Apakah ada referensi (daring atau dalam bentuk buku) yang mengatur dan mendiskusikan teorema TCS dengan teknik bukti? Garey dan Johnson melakukan ini untuk berbagai jenis konstruksi widget yang diperlukan untuk bukti kelengkapan NP (terutama dalam bab 3 buku mereka), tetapi saya bertanya-tanya apakah ada sesuatu yang memperlakukan teknik bukti dalam …

38 reference-request  proof-techniques 

Sejumlah masalah geometris mudah ketika dipertimbangkan dalam , tetapi NP-lengkap dalam R d untuk d ≥ 2R1R1R^1RdRdR^dd≥ 2d≥2d\geq2 (termasuk salah satu masalah favorit saya, unit kap disk). Adakah yang tahu masalah yang bisa dipecahkan dengan polytime untuk dan R 2 , tetapi NP-complete untuk R d , d ≥ 3R1R1R^1R2R2R^2Rd, …

37 cc.complexity-theory  reference-request  cg.comp-geom 

Saya akan mengajukan pertanyaan yang cukup samar, karena batas antara ilmu komputer teoretis dan matematika tidak selalu mudah dibedakan. PERTANYAAN: Apakah Anda mengetahui adanya hasil menarik dalam CS yang tidak tergantung pada ZFC (yaitu teori himpunan standar), atau yang awalnya terbukti dalam ZFC (+ beberapa aksioma lainnya) dan baru kemudian …

37 reference-request  lo.logic  set-theory 

Semakin kompleksnya program komputer dan semakin pentingnya posisi komputer dalam masyarakat kita membuat saya bertanya-tanya mengapa kita masih belum secara kolektif menggunakan bahasa pemrograman di mana Anda harus memberikan bukti formal bahwa kode Anda berfungsi dengan benar. Saya percaya istilah ini adalah 'kompiler sertifikasi' (saya menemukannya di sini ): kompiler …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Ini adalah pertanyaan non-teknis, tetapi tentu relevan untuk komunitas TCS. Jika dianggap tidak pantas, silakan tutup. Halaman web Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) tentu saja sangat bermanfaat bagi komunitas TCS selama bertahun-tahun. Ternyata sudah turun cukup lama. Saya bertanya-tanya, apakah seseorang masih mempertahankannya, apakah sudah pindah, apakah ada server cadangan, atau apakah …

36 cc.complexity-theory  reference-request  soft-question 

Secara umum kita tahu bahwa kompleksitas pengujian apakah suatu fungsi mengambil nilai tertentu pada input yang diberikan lebih mudah daripada mengevaluasi fungsi pada input tersebut. Sebagai contoh: Mengevaluasi permanen dari matriks integer nonnegatif adalah # P-hard, namun mengatakan apakah permanen itu nol atau bukan nol dalam P (pencocokan bipartit) Ada …

36 cc.complexity-theory  reference-request  algebraic-complexity 

Masalahnya adalah menghitung polinomial . Asumsikan bahwa semua koefisien cocok dengan kata mesin, yaitu dapat dimanipulasi dalam satuan waktu.( a1x + b1) × ⋯ × ( anx + bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Anda dapat melakukan waktu dengan menerapkan FFT dalam mode pohon. Bisakah …

35 ds.algorithms  reference-request  open-problem  polynomials 

Pertimbangkan masalah penghitungan berikut (atau masalah keputusan terkait): Diberi dua bilangan bulat positif yang dikodekan dalam biner, hitung pembagi bersama terbesarnya (gcd). Apa kelas kompleksitas terkecil dari masalah ini? Bisakah Anda memberikan referensi? Dalam pertanyaan ini saya terutama tidak tertarik pada batas asimptotik pada waktu berjalan, tetapi lebih pada kelas …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory