Saya bertanya-tanya apakah ada masalah -hard yang rata-rata "polinomial" dalam kasus rata-rata. Saya pikir ada dua cara untuk menafsirkan ini?NPNPNP Jika , bisa ada sebuah algoritma pemecahan suatu N P masalah -Hard dengan diamortisasi (rata-rata kasus) waktu berjalan dari O ( n k ) untuk konstan...
Akankah ada kebutuhan untuk mengubah definisi keamanan jika kita memiliki komputer kuantum? Konstruksi kriptografi apa yang akan rusak? Apakah Anda tahu survei atau artikel yang menjelaskan apa yang perlu
Karena sifat pertanyaan, saya harus memasukkan banyak informasi latar belakang (karena pertanyaan saya adalah: bagaimana saya mempersempit ini?) Yang mengatakan, itu dapat diringkas (sesuai pengetahuan saya) sebagai: Metode apa yang ada untuk menemukan optimum lokal pada ruang pencarian...
Algoritma Brzozowski dapat diperluas ke Moore automata tetapi kompleksitas waktunya eksponensial secara umum. Apakah ada algoritma lain untuk meminimalkan Moore automata? Berapa kali menjalankan algoritma ini jika
Saya tidak tahu terminologi yang benar untuk mengajukan pertanyaan ini, jadi saya akan menggambarkannya dengan banyak kata, bersabarlah. Latar belakang , jadi kita ada di halaman yang sama: Program sering mengandung cache - waktu / memori tradeoff. Kesalahan programmer yang umum adalah lupa...
Saya tidak yakin apakah pertanyaan ini ada di sini dan saya minta maaf jika tidak. Apa yang ingin saya lakukan adalah mengembangkan cara terprogram di mana saya bisa menentukan apakah string yang diberikan "milik" dalam sekumpulan string. Sebagai contoh, jika saya memiliki sekantong 10.000 nama...
Saya mencari algoritma pencocokan string k-mismatch yang cepat. Diberikan string pola P dengan panjang m, dan string teks T dengan panjang n, saya memerlukan algoritma cepat (waktu linear) untuk menemukan semua posisi di mana P cocok dengan substring T dengan paling banyak k ketidakcocokan. Ini...
Apakah ada bahasa pemrograman (atau logika) yang dapat mengimplementasikan (atau mengekspresikan) fungsi jika dan hanya jika f adalah fungsi bijektif yang dapat dihitung?f:N→Nf:N→Nf:\mathbb{N}\to
Berasal dari POV seseorang yang sedang berpikir untuk mengejar gelar PhD dalam ilmu komputer. Saya kesulitan menentukan apa yang akan menjadi fokus penelitian saya ketika saya mengambil PhD. Lihat juga pertanyaan ini di academia.SE . Jadi saya berpikir bahwa membaca / menjaga saat ini pada...
Ada lambang simbol yang kadang-kadang membingungkan yang digunakan dalam makalah matematika dan CS. Namun banyak yang menganggap keakraban dasar yang tampaknya jarang diajarkan di satu tempat. Saya mencari kamus seperti berikut ini, terutama dari perspektif CS. Ini akan mendaftar semua simbol...
Saya mencari sumber daya untuk memulai dengan analisis program . Satu-satunya buku yang saya temukan pada topik adalah buku Nielson & Nielson . Selain itu, sepertinya hanya ada buku "kompiler" di mana "analisis program" akan menjadi bab, atau sesuatu di sepanjang baris itu. Apakah orang...
Dalam pemrograman dependen-mengetik, ada dua cara utama untuk mendekomposisi data dan melakukan rekursi: Pencocokan pola dependen : definisi fungsi diberikan sebagai beberapa klausa. Unifikasi memastikan bahwa semua kasus yang dihilangkan tidak mungkin, dan pemecah eksternal memastikan bahwa...
Saya tertarik pada prosedur pembagian tanah yang adil (yaitu pembagian yang bebas iri, atau setidaknya pembagian yang proporsional). Berbeda dengan masalah pembagian kue yang dipelajari dengan baik, pembagian tanah adalah dua dimensi, yaitu, preferensi pengguna dapat bervariasi baik secara...
Grafik adalah chordal jika tidak memiliki siklus panjang atau lebih. Sebuah pohon klik dari adalah pohon di mana simpul dari pohon adalah geng maksimal . Tepi dalam sesuai dengan pemisah minimal. Jumlah pohon clique yang berbeda dapat eksponensial dalam jumlah simpul dalam grafik
Saya bertanya-tanya, apakah ada metode untuk analisis runtime otomatis yang berfungsi setidaknya pada subset algoritma yang relevan (algoritma yang dapat dianalisis)? Saya googled "Analisis algoritma otomatis" yang memberi saya ini tetapi terlalu matematika. Saya hanya ingin contoh sederhana dalam...
Pertimbangkan program linier Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq...
Kami telah memiliki beberapa pertanyaan tentang hubungan pengurangan Cook dan Karp . Jelas bahwa pengurangan Cook (pengurangan Turing polinomial-waktu) tidak mendefinisikan gagasan yang sama tentang kelengkapan NP seperti pengurangan Karp (pengurangan polynomial-time-one-one), yang biasanya...
Pertanyaannya cukup banyak pada judulnya. Apakah pernah ada waktu di mana beberapa bahasa dapat diterima oleh DFA minimal dengan n negara, tetapi L R , pembalikan L , dapat diterima oleh DFA dengan m negara, di mana m < n ?L.L.LnnnL.RL.RL^RL.L.Lmmmm <
Saya ingin memberikan bukti untuk bagian dari program Haskell yang saya tulis sebagai bagian dari tesis saya. Namun sejauh ini, saya gagal menemukan referensi yang bagus. Buku pengantar Graham Hutton, Programming in Haskell ( Google Books ) —yang saya baca sambil mempelajari Haskell — menyentuh...
Saya menggambarkan pendekatan pada grafik isomorfisme yang mungkin memiliki positif palsu, dan saya ingin tahu apakah ada literatur yang menunjukkan bahwa itu tidak berhasil. Diberikan dua matriks kedekatan , metode yang diakui naif untuk memeriksa isomorfisma adalah untuk memeriksa apakah untuk...