Saya memiliki beberapa juta nilai 32-bit. Untuk setiap nilai, saya ingin menemukan semua nilai lain dalam jarak hamming 5. Dalam pendekatan naif, ini membutuhkan perbandingan O ( N2)HAI(N2)O(N^2) , yang ingin saya hindari. Saya menyadari bahwa jika saya hanya memperlakukan nilai-nilai 32-bit ini...
Sekarang ada kumpulan hasil pada pemisah dalam grafik, dari pemisah planar, pemisah pohon, grafik lebar pohon terikat, grafik genus terikat, dll, dll, dll. Apakah ada survei yang diperbarui yang baik tentang ini, dan aplikasi
Apakah masalah ini sudah dipelajari sebelumnya? Diberikan grafik tak berarah metrik G (panjang tepi memenuhi ketidaksamaan segitiga), temukan seperangkat S simpul sedemikian rupa sehingga MST (G [S]) dimaksimalkan, di mana MST (G [S]) adalah pohon rentang minimum dari subgraf yang diinduksi oleh...
Makalah baru-baru ini dari FOCS2013, Strong Backdoors ke Bounded Treewidth SAT oleh Gaspers dan Szeider berbicara tentang hubungan antara treewidth grafik klausa SAT dan kekerasan contoh. Untuk 3-SAT acak, yaitu instance 3-SAT yang dipilih secara acak, apa korelasi antara treewidth grafik klausa...
Saya mencari bahasa kecil yang membantu 'meyakinkan' siswa bahwa mesin turing adalah model komputasi yang cukup umum. Yaitu, bahasa yang mirip dengan bahasa yang biasa mereka gunakan, tetapi juga mudah untuk disimulasikan pada mesin turing. Papadimitriou menggunakan mesin RAM untuk pekerjaan ini,...
Saya telah belajar sesuatu tentang menerapkan tipe dependen, seperti tutorial ini , tetapi kebanyakan dari mereka menerapkan juru bahasa. Pertanyaan saya adalah, tampaknya menerapkan kompiler untuk tipe dependen jauh lebih sulit daripada kompiler, karena Anda benar-benar dapat mengevaluasi argumen...
Pertama-tama, pemahaman saya tentang teorema ketidaklengkapan Gödel (dan logika formal pada umumnya) sangat naif, juga pengetahuan saya tentang ilmu komputer teoretis (artinya hanya satu mata kuliah yang diambil saat saya masih sarjana), jadi pertanyaan ini mungkin saja sangat naif. Sejauh yang...
Saya mencari algoritma yang efisien untuk masalah ini: Input : Bilangan bulat positif (disimpan sebagai bit) untuk beberapa bilangan bulat .3n3n3^nn≥0n≥0n \geq 0 Output : Jumlahnya .nnn Pertanyaan : Bisakah kita menghitung dari bit dalam waktu ?nnn3n3n3^nO(n)O(n)O(n) Ini adalah...
One-way alternating pushdown automata (1APDA) dapat mengenali bahasa apa pun di (Alternatif oleh Chandra, Kozen, dan Stockmeyer, 1981) . Dengan mengganti penyimpanan pushdown 1APDA dengan penghitung, kita bisa mendapatkan otomat bolak-balik satu arah dengan satu penghitung (1ACA). Pertanyaan saya...
Saya memahami klaim berikut ini sebagai benar: Dua derivasi berbeda dari string dalam CFG yang diberikan kadang-kadang dapat menghubungkan pohon parse yang sama dengan string. Ketika ada derivasi dari beberapa string dalam CFG yang diberikan yang menghubungkan pohon parse yang berbeda, CFG...
Saya mengalami kesulitan dalam memahami langkah-langkah terakhir dari algoritma AHSP. Mari menjadi grup abelian dan f menjadi fungsi yang menyembunyikan subkelompok H . Mari G * mewakili kelompok ganda G .GGGfffHHHG∗G∗G^*GGG Berikut langkah-langkah algoritma Pertama-tama persiapkan negara,...
Saya tertarik untuk mempelajari masalah lengkap Graph Isomorphism (GI). Dalam Makalah "Masalah Polinomi Setara dengan Isomorfisme Grafik" oleh Kellogg S. Booth, (1979), terbukti bahwa banyak masalah dasar adalah GI lengkap dengan menggunakan teknik penggantian Edge, teknik komposisi dll. Saya...
Untuk masalah pencarian lokal polinomial , kita tahu bahwa setidaknya ada satu solusi (lokal optimal) harus ada. Namun, banyak lagi solusi yang bisa ada, seberapa sulitkah menghitung jumlah solusi untuk masalah lengkap PLS? Saya terutama tertarik pada masalah keputusan: apakah contoh masalah...
Misalkan menjadi vektor variabel boolean. Misalkan C , D menjadi dua sirkuit boolean pada x . Katakan bahwa C mirip dengan D jika:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD kecil secara eksponensial, ketika x ditarik secara acak secara acak dari { 0 , 1 } n (dengan kata lain,...
Saya membaca makalah Impagliazzo dan Wigderson yang terkenal pada tahun 1997. Karena saya baru di bidang ini dan makalah ini adalah versi konferensi singkat, saya mengalami kesulitan mengikuti bukti mereka. Secara khusus, beberapa teorema baru mereka tidak memiliki bukti. Sejauh pengetahuan saya,...
Asumsikan kita diberi larik berisi bilangan bulat tidak negatif (tidak harus berbeda).A[1..n]A[1..n]A[1..n] Biarkan menjadi diurutkan dalam urutan yang tidak bertambah. Kami ingin menghitung A m = maks i ∈ [ n ] B [ i ] + i .BBBAAAm = maksi ∈ [ n ]B [ i ] + i .m=maxi∈[n]B[i]+i.m = \max_{i\in [n]}...
Sean Anderson menerbitkan bit twiddling hacks yang berisi algoritma Eric Cole untuk menemukan dari integer bit dalam operasi dengan operasi multiply dan lookup.N v O ( lg ( N ) )⌈ log2v ⌉⌈catatan2v⌉\lceil\log_2 v \rceilNNNvvvO ( lg( N) )HAI(lg(N))O(\lg(N)) Algoritme bergantung pada nomor "ajaib"...
Saya mencari sumber daya (lebih disukai buku pegangan) tentang topik lanjutan dalam algoritma (topik di luar apa yang dicakup dalam buku teks algoritma seperti CLRS dan DPV). Jenis bahan yang dapat digunakan untuk mengajarkan topik dalam kursus algoritma seperti Erik Demaine dan kursus Algoritma...
Satu-satunya definisi "kalkulus" yang saya ketahui adalah studi tentang batas, turunan, integral, dll dalam analisis. Dalam arti apa kalkulus lambda (atau hal-hal seperti kalkulus mu) adalah "kalkulus"? Bagaimana kaitannya dengan kalkulus dalam
Kelas UP didefinisikan sebagai: Kelas masalah keputusan dipecahkan oleh mesin NP sedemikian rupa Jika jawabannya adalah 'ya,' tepat satu jalur perhitungan menerima. Jika jawabannya adalah 'tidak,' semua jalur perhitungan ditolak. Saya mencoba mengembangkan intuisi untuk definisi...