Mark Dominus mengumpulkan beberapa contoh pengurangan polinomial-waktu dari berbagai masalah NP-hard untuk pencocokan "ekspresi reguler" . Membayangkan verifikasi polinomial-waktu bukanlah lompatan besar. Bagaimana Anda menggambarkan NP-lengkap kelas untuk sarjana atau teman-teman di bidang lain...
Mengira itu tidak mungkin pertanyaan umum, tetapi bertanya-tanya apakah ada yang melihat materi yang jelas dibuat untuk mengatasi audiensi ini dengan cara yang
Dalam karir akademis saya, saya telah membaca beberapa makalah akademik tentang berbagai topik ilmu komputer. Banyak yang melibatkan implementasi dan beberapa penilaian implementasi itu, namun saya telah menemukan bahwa sangat sedikit dari mereka yang benar-benar menerbitkan kode yang mereka...
Kita sering mendengar tentang penelitian klasik dan publikasi di bidang kompleksitas komputasi (Turing, Cook, Karp, Hartmanis, Razborov dll). Saya bertanya-tanya apakah ada makalah yang diterbitkan baru-baru ini dianggap mani dan harus dibaca. Maksud saya baru-baru ini dalam 5/10 tahun...
Masalahnya, tentu saja, penghitungan ganda. Cukup mudah dilakukan untuk kelas DAGs tertentu = pohon, atau bahkan pohon paralel serial. Satu-satunya algoritma yang saya temukan yang bekerja pada DAG umum dalam waktu yang wajar adalah perkiraan (Synopsis difusion), tetapi meningkatkan ketepatannya...
Masalah bandwidth minimum adalah menemukan urutan node grafik pada garis integer yang meminimalkan jarak terbesar antara dua node yang berdekatan. Sebuah -caterpillar adalah pohon dibentuk dari jalan utama dengan pertumbuhan jalan tepi-menguraikan panjang paling k dari node-nya ( k disebut panjang...
Apakah ada struktur data yang mengambil array yang tidak berurutan dari item, melakukan preprocessing di O ( n ) dan menjawab pertanyaan: apakah ada beberapa elemen x dalam daftar, setiap query dalam waktu terburuk O ( log n ) ?nnnO ( n )O(n)O(n)xxxO ( logn )O(logn)O(\log n) Saya benar-benar...
Saya pernah mengikuti kelas Computability and Logic. Materi termasuk korelasi antara kelas kompleksitas / komputabilitas (R, RE, co-RE, P, NP, Logspace, ...) dan Logika (Predikat kalkulus, logika urutan pertama, ...). Korelasi mencakup beberapa hasil dalam satu bidang, yang diperoleh dengan...
Kami tahu bahwa jika Anda memiliki mesin PSPACE, itu cukup kuat untuk memberikan bukti interaktif dari level apa pun hierarki polinomial. (Dan jika saya ingat benar, semua yang Anda butuhkan adalah #P.) Tetapi misalkan Anda ingin memberikan bukti keanggotaan interaktif dalam Σ2Σ2\Sigma_2 bahasa....
Beberapa tahun yang lalu, ada beberapa karya Joel Friedman yang menghubungkan batas bawah dengan kohomologi Grothendieck (lihat makalah: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ). Apakah garis pemikiran ini membawa wawasan baru ke dalam kompleksitas boolean, atau apakah...
Saya memiliki basis aljabar yang sangat kuat, yaitu aljabar komutatif, aljabar homologis, teori medan, teori kategori, dan saya sedang belajar geometri aljabar. Saya seorang jurusan matematika dengan kecenderungan untuk beralih ke ilmu komputer teoretis. Mempertahankan bidang yang disebutkan...
Dari sudut akal sehat pandang, mudah untuk percaya bahwa menambahkan non-determinisme ke secara signifikan memperluas kekuasaannya, yaitu, N P jauh lebih besar dari P . Bagaimanapun juga, non-determinisme memungkinkan paralelisme eksponensial, yang nampaknya sangat kuat. PP\mathsf{P}N...
Saya rasa saya tidak mengerti kelas tipe. Saya pernah membaca di suatu tempat bahwa memikirkan kelas tipe sebagai "antarmuka" (dari OO) yang mengimplementasikan tipe adalah salah dan menyesatkan. Masalahnya adalah, saya mengalami masalah melihat mereka sebagai sesuatu yang berbeda dan bagaimana itu...
Saya bertanya-tanya, apa yang (saat ini) merupakan angka terbesar , sehingga masalah alami diketahui dengan sifat-sifat berikut:kkk Sebuah algoritma telah sudah ditemukan masalah.O(nk)O(nk)O(n^k) Untuk setiap algoritma no O ( n k - ϵ ) yang diperbaiki dikenal untuk masalah yang sama. (Perhatikan...
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...
Kita "tahu" bahwa dinamai Steve Cook dan dinamai untuk Nick Pippenger. Jika saya tidak salah, Steve Cook memberi nama NC untuk menghormati Nick Pippenger, dan saya diberitahu bahwa kebalikannya juga benar. Namun, saya tidak dapat menemukan bukti dari fakta terakhir ini baik di makalah Steve Cook di...
Pada 1995, Russell Impagliazzo mengusulkan lima dunia kompleksitas: 1- Algorithmica: dengan semua konsekuensi luar biasa.P= NPP=NPP=NP 2- Heuristica: Masalah lengkap sulit pada kasus terburuk ( ) tetapi dipecahkan secara efisien dalam kasus rata-rata.NPNPNPP≠ NPP≠NPP \ne NP 3- Pessiland: Ada...
Jika seseorang membatasi Mesin Turing ke pita hingga (yaitu, untuk menggunakan ruang terbatas ), maka masalah penghentian dapat ditentukan, pada dasarnya karena setelah sejumlah langkah (yang dapat dihitung dari jumlah negara , dan , dan ukuran alfabet), konfigurasi harus diulang.SSSQQQSSS...
Pertanyaan ini diajukan kepada Jeannette Wing setelah presentasi PCAST tentang ilmu komputer. "Dari perspektif fisika, apakah ada volume maksimum informasi yang dapat kita miliki?" (Pertanyaan tantangan yang bagus untuk komunitas ilmu komputer teoretis karena saya pikir itu menimbulkan...
Saya punya pertanyaan historis. Saya mencoba menentukan referensi untuk fakta bahwa 3-colourability dari grafik (atau colourability untuk ) adalah NP-hard.kkkk≥3k≥3k\geq 3 Jawaban yang menggoda adalah "kertas asli Karp", tetapi itu salah. Berikut ini pemindaian: Reducibilitas di antara Masalah...