Saya tertarik jika ada artikel eksposisi yang bagus atau survei yang dapat saya rujuk ketika saya menulis tentang operator kelas kompleksitas : operator yang mengubah kelas kompleksitas dengan melakukan hal-hal seperti menambahkan quantifiers ke dalamnya. Contoh operator Berikut ini dapat...
Banyak publikasi ilmu komputer dari tahun 1950-an dan 1960-an mengandung spekulasi filosofis yang menarik tentang sifat pikiran dan makna informasi dalam kaitannya dengan dunia fisik. Contoh terkenal adalah "Turing Test", Zuse's "Menghitung Ruang", Wheeler's "itu dari bit" dll. Dewasa ini...
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...
Diberikan simpul tak berarah titik, apa batas runtime paling dikenal untuk menemukan subgraph yang merupakan k × k -biclique? Apakah ada algoritma parametrized yang lebih cepat daripada algoritma waktu dari "menebak" satu sisi biclique dan melihat apakah setidaknya ada simpul lain yang muncul pada...
Ambil grafik terarah mana tepinya didekorasi dengan bilangan alami. Kami ingin himpunan semua jalur P antara dua simpul v 1 dan v 2 sedemikian rupa sehingga setiap tepi berurutan di jalur dihiasi dengan bilangan alami yang lebih besar dari bilangan alami yang menghiasi tepi
Saya akan memperkenalkan masalah saya dengan sebuah contoh. Katakanlah Anda sedang merancang sebuah ujian, yang terdiri dari satu set tertentu dari nnn pertanyaan independen (bahwa calon bisa mendapatkan benar atau salah). Anda ingin memutuskan skor untuk diberikan pada masing-masing pertanyaan,...
Saya tertarik untuk menyortir array nilai integer positif L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n dalam waktu linier (dalam model RAM dengan ukuran biaya seragam, yaitu, bilangan bulat dapat memiliki ukuran logaritmik tetapi operasi aritmatika pada mereka diasumsikan ambil satuan waktu). Tentu saja,...
Apa yang harus saya baca untuk memahami masalah ini? Kekuatan sirkuit kuantum kecil-kedalaman. Apakah ? Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompres ke kedalaman polylog (n), asalkan kami bersedia melakukan postprocessing klasik waktu polinomial? (Ini...
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,...
Biarkan menjadi digraf (tidak harus DAG) dan biarkan . Apa kompleksitas menghitung jumlah sederhana jalan di . GGGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts-ts-tGGG Saya berharap masalahnya menjadi # -lengkap tetapi belum dapat menemukan referensi yang tepat. PP{\mathsf P} Juga perhatikan bahwa...
Hanya ada sedikit informasi yang dapat saya temukan pada masalah NP-lengkap untuk menyelesaikan persamaan linear diophantine dalam bilangan bulat non-negatif. Artinya, apakah ada solusi dalam non-negatif dengan persamaan , di mana semua konstanta positif? Satu-satunya penyebutan penting dari...
Apakah sekarang ada algoritma / bukti yang lebih sederhana untuk melakukan triangulasi poligon planar dalam waktu linier? Apa sumber yang bagus tentang masalah seni yang terkenal
Ini ditulis dalam entri wiki dari Eksekusi Simbolik , tetapi saya tidak dapat menemukan referensi untuk itu. Adakah yang bisa menunjukkan saya pointer? Terima
Biarkan menyatakan himpunan { 1 , . . . , n } dan C (n, k) menunjukkan himpunan semua k- kombinasi elemen dari [ n ] tanpa pengulangan. Misalkan p = p 1 p 2 . . . p k menjadi k -tupel dalam C ( n , k ) . Kami mengatakan bahwa permutasi π : [ n ] → [
Saat membaca makalah " Sebuah teori aplikatif untuk FPH " Anda dapat menemukan bagian berikut: Mempertimbangkan teori yang mengkarakterisasi kelas kompleksitas komputasi, ada tiga pendekatan berbeda: dalam satu, fungsi yang dapat didefinisikan dalam teori adalah "otomatis" dalam kelas...
Seperti semua orang tahu, buku terkenal Garey dan Johnson (dan banyak lainnya) memberikan referensi yang sangat baik untuk teknik reduksi dalam pengaturan klasik. Apakah ada survei atau buku tentang topik teknik reduksi dalam algoritma parameter, katakanlah pengurangan
Saya menggunakan istilah judul dalam arti yang sangat longgar. Ada sejumlah besar pekerjaan pada teori permainan evolusioner, termasuk dasar matematisnya. Saya direkomendasikan "Game Evolusi dan Dinamika Populasi" tetapi belum menggali ke dalamnya. Ada juga sejumlah besar pekerjaan pada teori...
Sunting: Karena saya belum menerima tanggapan / komentar dalam seminggu, saya ingin menambahkan bahwa saya senang mendengar apa pun tentang masalah tersebut. Saya tidak bekerja di daerah itu, jadi meskipun itu pengamatan sederhana, saya mungkin tidak mengetahuinya. Bahkan komentar seperti "Saya...
Diberikan himpunan dan B , hubungan difungsional ( ∼ ) ⊆ A × B di antara mereka didefinisikan sebagai hubungan yang memuaskan properti berikut:SEBUAHSEBUAHABBB ( ∼ ) ⊆ A × B(∼)⊆SEBUAH×B(\sim) \subseteq A \times B Jika dan a ′ ∼ b ′ dan a ∼ b ′ , maka a ′ ∼ b . a ∼ bSebuah∼ba \sim bSebuah′∼...
Suatu kategori memiliki biproduk ketika objek yang sama adalah produk dan produk ganda. Adakah yang menyelidiki teori pembuktian kategori dengan biproduk? Mungkin contoh paling terkenal adalah kategori ruang vektor, di mana jumlah langsung dan konstruksi produk langsung memberikan ruang vektor...