Untuk waktu yang paling lama saya berpikir bahwa masalah adalah NP-lengkap jika keduanya (1) NP-hard dan (2) ada di NP. Namun, dalam makalah terkenal "Metode ellipsoid dan konsekuensinya dalam optimasi kombinatorial" , para penulis mengklaim bahwa masalah bilangan kromatik fraksi milik NP dan...
Pertanyaan ini ditanyakan oleh Jan Pax di milis Yayasan Matematika . Tentu saja tetapi saya menduga dari jawaban pertanyaan ini bahwa tidak diketahui apakah (jika tidak, akan menjadi satu kemungkinan jawaban untuk pertanyaan itu). Jika tidak diketahui, apakah ada pemisahan
Alice dan Bob memiliki string n-bit, dan ingin mencari tahu apakah mereka setara saat melakukan sedikit komunikasi. Solusi acak standar adalah memperlakukan string n-bit sebagai polinomial derajat dan kemudian mengevaluasi polinomial atas beberapa elemen yang dipilih secara acak dari bidang ukuran...
Latar belakang : Saya datang ke akhir gelar master saya di Matematika dan akan memulai PhD di bidang Logika pada bulan Agustus. Semakin banyak saya belajar logika, semakin banyak ilmu komputer teoritis saya terkena, misalnya teori rekursi, kalkulus lambda, tetapi CS yang mendasarinya disikat di...
Seperti diketahui semua orang, SAT lengkap untuk kali banyak polynomial . Itu masih lengkap wrt banyak-satu pengurangan.N PNP\mathsf{NP}A C0SEBUAHC0\mathsf{AC^0} Pertanyaan saya adalah berapa kedalaman minimum yang diperlukan untuk reduksi? Lebih formal, Apa yang paling sehingga SAT adalah...
Saya membaca lampiran tentang batas bawah ACC untuk NEXP dalam buku Komputasi Kompleksitas Arora dan Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Salah satu lemmas kunci adalah transformasi dari sirkuit untuk polinomial multilinear atas bilangan bulat dengan gelar...
Saya mencari di internet, tetapi saya tidak dapat menemukan 'daftar besar' varian masalah SAT. Terlepas dari (umum) DUDUK, k-SAT, MAX-kSAT, Setengah SAT, XOR-SAT, NAE-SAT varian apa lagi yang ada? (juga akan sangat berguna jika ada kelas kompleksitas diberikan (jika
Menjadi dari Fisika, saya telah dilatih untuk melihat banyak masalah dari sudut pandang geometris. Misalnya geometri diferensial manifold dalam sistem dinamik dll. Ketika saya membaca dasar-dasar ilmu komputer, saya selalu berusaha menemukan interpretasi geometris. Seperti interpretasi geometris...
Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: a -> b...
Dapatkah mesin standar dua penghitung ( ) dengan instruksi berikut:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT tentukan bahasa berikut: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n \geq 1...
Perambatan keyakinan telah terbukti menjadi metode yang sangat kuat melalui penelitian dalam model grafis probabilistik. Namun, saya tidak tahu apa-apa tentang BP yang sebanding dengan metode MCMC di mana kita dapat memiliki skema aproksimasi acak polinomial sepenuhnya (FPRAS) untuk masalah #...
Mengingat grafik, G=(V,E)G=(V,E)G = (V, E) , saya ingin menemukan optimal rrr -domination untuk GGG . Artinya, saya ingin subset SSS dari sehingga semua simpul di berada pada jarak paling dari beberapa titik di , dan meminimalkan ukuran .G r S SVVVGGGrrrSSSSSS Dari apa yang saya periksa sejauh...
Rasio kritis klausa terhadap variabel untuk acak 3-SAT adalah lebih dari 3 dan kurang dari 6, dan tampaknya secara umum digambarkan sebagai "sekitar 4,2" atau "sekitar 4,25". Mezard, Parisi, dan Zecchina membuktikan (dalam pengertian fisika) bahwa rasio kritis adalah 4,256, sedangkan penulis...
Masalah jalur terpanjang adalah NP-hard. Bukti (khas?) Bergantung pada pengurangan masalah jalur Hamiltonian (yang NP-lengkap). Perhatikan bahwa di sini jalan dianggap sederhana (node-). Artinya, tidak ada titik dapat terjadi lebih dari satu kali di jalan. Jelas itu juga edge-simple (tidak ada edge...
Pertimbangkan pengaturan berikut: kami diberi tumpukan sss yang berisi item.nnn kita dapat menggunakan jumlah tumpukan ekstra konstan .O ( 1 )HAI(1)O(1) kita dapat menerapkan operasi berikut pada tumpukan ini: periksa apakah tumpukan kosong, membandingkan item teratas dari dua tumpukan, hapus...
Sementara diskusi menjadi bukti normalisasi yang kuat, komentar ini kontras dengan "model bentuk normal" dengan "metode sintaksis murni". Ini membawa saya kembali ke pertanyaan yang lebih mendasar: dapatkah kita membedakan konstruksi sintaksis dan semantik secara ketat, di hadapan model berbasis...
Disebutkan dalam komentar di postingan lain bahwa kelengkapan PSPACE menyiratkan kekerasan APX. Adakah yang bisa menjelaskan / berbagi referensi untuk itu? Apakah ini "ketat"? (yaitu, apakah ada masalah PSPACE-complete yang masalah optimasi mengakui perkiraan faktor konstan dalam waktu...
Tampak bagi saya bahwa kebanyakan ahli teori kompleksitas umumnya percaya pada aturan filosofis berikut: Jika kita tidak tahu algoritma yang efisien untuk masalah , dan kita dapat mengurangi masalah A ke masalah B , maka ada mungkin tidak algoritma yang efisien untuk masalah B ,...
Saya ingin belajar tentang algoritma aljabar dan kompleksitas. Secara khusus, saya tertarik pada PIT. Apakah ada satu set catatan kuliah, buku, makalah dan survei untuk siswa yang telah membaca buku teks standar tentang teori seperti buku Sipser atau buku teks kompleksitas Arora-Barak. Rangkaian...
Satu dapat berbicara satu treewidth dari rangkaian Boolean, mendefinisikan sebagai treewidth dari "moralized" grafik pada kabel (simpul) yang diperoleh sebagai berikut: connect kabel dan setiap kali adalah output dari gerbang memiliki sebagai masukan (atau dan sebaliknya); sambungkan kabel dan...