Dalam Kompleksitas Deskriptif , Immerman memiliki Konsekuensi 7.23. Kondisi berikut ini setara: 1. P = NP. 2. Struktur yang terbatas, terurut, FO (LFP) = SO. Ini dapat dianggap sebagai "memperkuat" P = NP untuk pernyataan yang setara atas (mungkin) kelas kompleksitas yang lebih besar....
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...
Ada beberapa masalah penghitungan yang melibatkan penghitungan banyak hal secara eksponensial (relatif terhadap ukuran input), namun memiliki algoritma deterministik tepat waktu polinomial waktu yang mengejutkan. Contohnya termasuk: Menghitung kecocokan sempurna dalam grafik planar ( algoritma...
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...
Misalkan dan adalah dua grafik tidak berarah pada set simpul . isomorfik jika dan hanya jika ada permutasi sedemikian sehingga , atau lebih resmi, jika ada permutasi sedemikian sehingga adalah ujung dalam jika dan hanya jika adalah keunggulan dalam . Masalah Grafik Isomorfisme adalah masalah...
Pertimbangkan keluarga menguraikan himpunan bagian dari {1,2, ..., n}, F 1 , F 2 , ... F t .tttF1, F2, ... FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Seandainya (*) Untuk setiap dan setiap R ∈ F i , dan T ∈ F k , ada S ∈ F j yang berisi R ∩ T .saya < j < ki<j<ki \lt j \lt kR...
Dua cara menganalisis efisiensi suatu algoritma adalah untuk menempatkan batas atas asimptotik pada runtime, dan untuk menjalankannya dan mengumpulkan data eksperimental. Saya ingin tahu apakah ada kasus yang diketahui di mana ada kesenjangan yang signifikan antara (1) dan (2). Maksud saya,...
Untuk (versi pencarian) dari masalah NP- lengkap, verifikasi suatu solusi jelas lebih mudah daripada menemukannya, karena verifikasi dapat dilakukan dalam waktu polinomial, sementara menemukan saksi membutuhkan waktu (mungkin) eksponensial. Dalam P , bagaimanapun, solusinya juga dapat ditemukan...
Ph.D. saya dalam matematika murni, dan saya akui saya tidak tahu banyak (yaitu apa-apa) tentang CS teoritis. Namun, saya telah mulai mengeksplorasi pilihan non-akademik untuk karir saya dan dalam memperkenalkan diri pada pembelajaran mesin, menemukan pernyataan seperti "Tidak ada yang mengerti...
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...
Pertanyaan ini terinspirasi oleh pertanyaan lain tentang apa yang baru dalam PFDS sejak penerbitan buku Okasaki pada tahun 1998 . Saya akan mulai dengan dua pertanyaan yang saya miliki: Apakah ada struktur data set fungsional murni yang mendekati kecepatan tabel hash? Mencoba belum ada di...
Dalam makalahnya yang terkenal "Conjugate Coding" (ditulis sekitar tahun 1970), Stephen Wiesner mengusulkan skema untuk uang kuantum yang tanpa syarat mustahil untuk dipalsukan, dengan asumsi bahwa bank penerbit memiliki akses ke meja raksasa angka acak, dan bahwa uang kertas dapat dibawa kembali...
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...
Apakah ada hubungan antara Mesin Turing dan kalkulus Lambda - atau apakah mereka muncul secara
Ini mungkin pertanyaan subyektif dan bukan pertanyaan jawaban yang konkret. Dalam teori kompleksitas kita mempelajari pengertian perhitungan yang efisien. Ada kelas-kelas seperti singkatan untuk waktu polinomial , dan L berarti ruang log . Keduanya dianggap direpresentasikan sebagai semacam...
Saya memiliki tiga subquestions terkait, yang disorot oleh poin-poin di bawah ini (tidak, mereka tidak dapat dibagi, jika Anda bertanya-tanya). Andrej Bauer menulis, di sini , bahwa beberapa fungsi dapat diwujudkan melalui mesin Turing, tetapi tidak melalui lambda-calculus. Langkah utama dari...
Pertanyaan yang saya tertarik terkait dengan menghasilkan permutasi acak. Diberikan gerbang swap berpasangan probabilistik sebagai blok bangunan dasar, apa cara paling efisien untuk menghasilkan permutasi acak yang seragam dari elemen? Di sini saya mengambil "probabilistic pairwise swap gate" untuk...
Pemrograman fungsional memiliki dasar teoritis dalam kalkulus lambda dan logika kombinatorik . Sebagai seseorang yang terlibat dalam komputasi statistik, saya menemukan konsep-konsep ini sangat berguna untuk pemodelan. Apakah ada dasar matematika yang setara dengan pemrograman imperatif , atau...
Masalah-masalah tertentu diketahui tidak dapat diputuskan, tetapi masih mungkin untuk membuat beberapa kemajuan dalam memecahkannya. Misalnya, masalah penghentian tidak dapat diputuskan, tetapi kemajuan praktis dapat dibuat pada pembuatan alat untuk mendeteksi potensi loop tak terbatas dalam kode...
Saat menyandikan logika menjadi asisten bukti seperti Coq atau Isabelle, pilihan perlu dibuat antara menggunakan dangkal dan penyisipan dalam . Dalam formula logis embedding dangkal ditulis langsung dalam logika prover teorema, sedangkan dalam formula logis embedding mendalam direpresentasikan...