Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

4
Kapan lebih banyak publikasi kurang?
Apakah ada kasus di mana publikasi tambahan dapat merusak catatan Anda? Ini menghindari kasus yang jelas di mana Anda mempublikasikan hasil yang salah, atau kontroversial. Juga menghindari kasus terbatas-waktu: Anda hanya memiliki begitu banyak waktu untuk berpikir dan menulis, sehingga menulis makalah mungkin menyebabkan Anda waktu kehilangan pada proyek lain. …
2
Paradigma untuk analisis kompleksitas algoritma
Analisis kasus terburuk dan rata-rata adalah ukuran yang terkenal untuk kompleksitas suatu algoritma. Baru-baru ini analisis yang lebih lancar telah muncul sebagai paradigma lain untuk menjelaskan mengapa beberapa algoritma yang eksponensial dalam kasus terburuk bekerja dengan sangat baik dalam praktiknya, misalnya algoritma simpleks. Pertanyaan saya adalah - apakah ada paradigma …
1
Algoritma untuk mengoptimalkan pohon keputusan
Latar Belakang Sebuah pohon keputusan biner TTT adalah pohon berakar di mana setiap node internal (dan akar) diberi label oleh indeks j∈{1,...,n}j∈{1,...,n}j \in \{1,..., n\} sedemikian sehingga tidak ada jalur dari root ke daun mengulangi indeks, daun diberi label oleh output di {A,B}{A,B}\{A,B\} , dan setiap tepi diberi label oleh …
1
Mencari kertas LCF asli Scott
Apakah naskah berikut tersedia untuk umum? Dana Scott, 1969, Sebuah teori fungsi yang dikomputasi dari tipe yang lebih tinggi . Catatan seminar yang tidak diterbitkan, 7 halaman, University of Oxford. Ada diskusi dari makalah ini di bagian 8.1.2, Jenis sebagai set , di Cardone & Hindley, 2006 Sejarah Lambda-calculus dan …
1
Rangkaian DFA yang efisien?
Ada bukti teoretis bahwa konstruksi produk-kartesian naif untuk persimpangan DFA adalah "yang terbaik yang bisa kita lakukan". Bagaimana dengan gabungan dua DFA? Konstruksi sepele melibatkan konversi setiap DFA menjadi NFA, menambahkan transisi epsilon dan menentukan NFA yang dihasilkan. Bisakah kita berbuat lebih baik? Apakah ada batasan yang diketahui pada ukuran …
3
Apakah ada teori bahasa pemrograman yang menggambarkan antarmuka fungsi asing (FFI) dan binding beberapa bahasa?
Apakah ada teori bahasa pemrograman yang menggambarkan antarmuka fungsi asing (FFI) dan binding beberapa bahasa? Saya telah menanyakan beberapa masalah implementasi pada stackoverflow , yang tidak cocok di sini. Tetapi saya ingin bertanya dari pandangan situs ini dan melihat apa yang bisa saya dapatkan dari sini. Sangat menghargai balasan Anda! …
3
Apa peran predicativity dalam definisi induktif dalam teori tipe?
Kita sering ingin mendefinisikan objek A∈UA∈UA \in U menurut beberapa aturan inferensi. Aturan-aturan menunjukkan suatu pembangkit fungsi yang, ketika itu monoton, menghasilkan titik setidaknya tetap . Kami mengambil menjadi "definisi induktif" dari . Selain itu, monotonitas memungkinkan kita untuk bernalar dengan "prinsip induksi" untuk menentukan kapan suatu set berisi (yaitu …
3
Apakah ada nama untuk "hal-hal fisik dari mana seseorang dapat membangun mesin Turing"?
Salah satu hal menakjubkan tentang ilmu komputer adalah bahwa implementasi fisik dalam beberapa hal "tidak relevan". Orang-orang telah berhasil membangun komputer dari beberapa substrat yang berbeda - relay, tabung hampa udara, transistor diskrit, dll. Orang mungkin akan segera berhasil membangun komputer lengkap Turing dari bahan optik non-linear, berbagai biomolekul, dan …
1
Tautologi / kontradiksi kasus rata-rata, di luar model k-CNF acak
Sudah diketahui bahwa rumus acak -CNF atas variabel dengan klausa tidak memuaskan (yaitu mereka kontradiksi) dengan probabilitas tinggi, untuk konstanta yang cukup besar . Dengan demikian, rumus acak -CNF (untuk cukup besar) merupakan distribusi alami atas formula Boolean yang tidak memuaskan (atau setiap akhir, lebih dari tautologi, yaitu negasi kontradiksi). …
3
Apakah ada x sedemikian rupa sehingga K (xx) <K (x), di mana K adalah kompleksitas Kolmogorov.
Misalkan menunjukkan kompleksitas Kolmogorov dari sebuah string x . Apakah ada string sedemikian rupa sehingga K ( x x ) &lt; K ( x ) . (Di sini x x adalah gabungan x dengan dirinya sendiri). Pertanyaan serupa tetapi berbeda diajukanK(x)K(x)K(x)xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx sini , tetapi contoh tandingan yang diberikan dalam jawaban …
3
Mengapa rasio aproksimasi diferensial tidak dipelajari dengan baik dibandingkan dengan yang standar meskipun manfaatnya diklaim?
sup AO PTsupSEBUAHHAIPT\sup\frac{A}{OPT}M.sayaNM.sayaNMINSEBUAHSEBUAHASEBUAHSEBUAHAO PTHAIPTOPTinf Ω - AΩ - OPTinfΩ-SEBUAHΩ-HAIPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega itu memberikan rasio perkiraan yang sama untuk masalah seperti penutup simpul minimum dan set independen maksimum yang diketahui hanya realisasi berbeda dari masalah yang sama; ini memberikan rasio yang sama untuk versi max dan min dari masalah yang sama. Pada saat …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.