Misalkan kita diberi satu set n variabel boolean x_1, ..., x_n dan satu set fungsi m y_1 ... y_m di mana setiap y_i adalah XOR dari subset (diberikan) dari variabel-variabel ini. Tujuannya adalah untuk menghitung jumlah minimum operasi XOR yang perlu Anda lakukan untuk menghitung semua fungsi y_1...
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...
Saya memiliki polytope didefinisikan oleh .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Pertanyaan: Diberikan simpul dari , apakah ada algoritma waktu polinomial untuk sampel seragam dari tetangga dalam grafik ? (Polinomial dalam dimensi, jumlah persamaan, dan representasi . Saya dapat...
Atau dengan kata lain, apakah kita memiliki itu untuk setiap bahasa dan , atau ?SEBUAHSEBUAHABBBA ≤halBSEBUAH≤halBA \leq_p BB ≤halSEBUAHB≤halSEBUAHB \leq_p
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
Ketika kita diberi dekomposisi pohon dari grafik dengan lebar , ada beberapa cara di mana kita dapat membuatnya "bagus". Secara khusus, diketahui bahwa adalah mungkin untuk mengubahnya menjadi dekomposisi pohon di mana pohon itu biner dan tingginya adalah . Ini dapat dicapai sambil menjaga lebar...
Kompleksitas informasi telah menjadi alat yang sangat berguna dalam kompleksitas komunikasi, terutama digunakan untuk membatasi kompleksitas komunikasi dari masalah yang didistribusikan. Adakah analog kompleksitas informasi untuk kompleksitas kueri? Ada banyak persamaan antara kompleksitas kueri...
Pertanyaan ini adalah tentang logika proposisional dan semua kejadian "resolusi" harus dibaca sebagai "resolusi proposisional". Pertanyaan ini adalah sesuatu yang sangat mendasar tetapi telah mengganggu saya untuk sementara waktu. Saya melihat orang-orang menyatakan bahwa resolusi proposisional...
Apakah ada algoritma waktu riffle shuffle linear waktu? Ini adalah algoritma yang mampu dilakukan oleh beberapa tangan yang sangat tangkas: membagi array input berukuran rata, dan kemudian menyatukan elemen dari dua bagian. Mathworld memiliki halaman singkat tentang riffle shuffle . Secara khusus,...
Dalam kompleksitas sirkuit, kami memiliki pemisahan antara kekuatan berbagai model rangkaian. Dalam kompleksitas bukti, kami memiliki pemisahan antara kekuatan berbagai sistem bukti. Namun dalam algoritmik, kami hanya memiliki sedikit pemisahan antara kekuatan paradigma algoritmik . Pertanyaan...
Saya ingin meminta saran untuk teks yang bagus yang memperkenalkan kompleksitas rangkaian. Petunjuk apa pun untuk kemajuan terkini dan masalah terbuka di bidang ini juga akan
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...
Apa yang terjadi jika kita mendefinisikan P P A DPPAD{\bf PPAD} sehingga bukan sirkuit polytime Turing-mesin / polysize, sebuah logspace Turing-mesin atau A C 0AC0{\bf AC^0} sirkuit mengkodekan masalah? Baru-baru ini memberikan algoritma cepat untuk Circuit satisfiability untuk sirkuit kecil...
Kita tahu bahwa pemecah SAT berbasis DPLL gagal menjawab dengan benar pada contoh tidak memuaskan (prinsip hole pigeon), misalnya pada "ada pemetaan injeksi dari n + 1 ke n ":PHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n ] halsaya , j⎞⎠∧⎛⎝⋀saya...
Masalah #SAT adalah masalah # -p diselesaikan kanonik. Ini masalah fungsi daripada masalah keputusan. Ia bertanya, diberi rumus boolean dalam logika proposisional, berapa banyak tugas memuaskan yang F miliki. Apa batas bawah terbaik di
Diberi dua CNF, jika mereka memiliki jumlah tugas yang sama untuk menjadikannya benar, jawab "Ya", jika tidak jawab "Tidak". Sangat mudah untuk melihatnya di , karena jika kita tahu jumlah pasti dari solusi untuk dua CNF ini, kita hanya campare mereka dan menjawab "Ya" atau
Dalam makalah mereka Perkiraan Jarak Orakel , Thorup dan Zwick menunjukkan bahwa untuk setiap grafik tanpa arahan tertimbang, adalah mungkin untuk membangun struktur data ukuran yang dapat mengembalikan ( 2 k - 1 ) -approximate jarak antara setiap pasangan simpul dalam grafik.O ( k n1 + 1 /...
Apakah hasil diketahui yang mengesampingkan keberadaan struktur data "terlalu-baik-untuk-menjadi-benar"? Misalnya: dapatkah seseorang menambahkan fungsi dan J o i n ke dalam struktur data pemeliharaan pesanan (lihat Dietz dan Sleator STOC '87 ) dan masih mendapatkan operasi waktu O ( 1 ) ?Sp l i...
Diberi matriks (dengan asumsi ), apa algoritma tercepat untuk menghitung peringkat dan basis kolomnya?m×nm×nm \times nm≥nm≥nm \ge n Saya sadar ini dapat diselesaikan melalui persimpangan matroid linier, yang menyiratkan algoritma deterministik waktu dan algoritma acak waktu . Apakah ada algoritma...
Hasil 1: Teorema Linial-Mansour-Nisan mengatakan bahwa bobot empat fungsi yang dihitung oleh terkonsentrasi pada subset ukuran kecil dengan probabilitas tinggi.AC0SEBUAHC0\mathsf{AC}^0 Hasil 2: The memiliki bobot lebih dari empat, terkonsentrasi pada efisien derajat