Ilmu Komputer

Saya ingin tahu bagaimana seseorang dapat dengan sangat kompak mengompres domain dari nama host IDN yang sewenang-wenang (seperti yang didefinisikan oleh RFC5890 ) dan menduga ini bisa menjadi tantangan yang menarik. Host Unicode atau nama domain (U-label) terdiri dari serangkaian karakter Unicode, biasanya dibatasi pada satu bahasa tergantung pada domain …

21 algorithms  strings  natural-language-processing  data-compression 

Dari apa yang saya lihat tentang penggunaan sepasang kunci publik dan pribadi, kunci publik digunakan untuk mengenkripsi pesan, dan kunci pribadi digunakan untuk mendekripsi pesan terenkripsi. Jika sebuah pesan dienkripsi dengan kunci pribadi, dapatkah itu didekripsi oleh kunci publik yang sesuai? Jika ya, dapatkah Anda memberikan beberapa contoh kapan kasing …

21 cryptography 

Apakah ada struktur data yang memelihara kumpulan himpunan (himpunan terbatas hingga) yang mendukung operasi berikut? Setiap waktu menjalankan sublinear akan dihargai? Init set kosong. Tambahkan elemen ke set. Diberi dua set, laporkan apakah mereka berpotongan.

21 data-structures  sets 

Saya sering mendengar bahwa polimorfisme baris adalah pendekatan yang lebih baik daripada subtyping, tetapi saya kesulitan menemukan apa pun yang membandingkannya secara terperinci. Saya terutama tertarik pada perspektif pengguna sistem. Saya memang menemukan posting blog ini , tetapi meninggalkan saya dengan lebih banyak pertanyaan daripada sebelumnya. Misalnya, ia membuat klaim …

20 typing 

Pertanyaan ini dimigrasikan dari Artificial Intelligence Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 5 tahun yang lalu . Dalam sebagian besar implementasi algoritma genetika, fokusnya adalah pada crossover dan mutasi. Tetapi entah bagaimana, kebanyakan dari mereka meninggalkan sifat gen diploid (dominan / resesif). Sejauh pemahaman saya …

20 machine-learning  genetic-algorithms 

Hanya karena ketertarikan saya mencoba memecahkan masalah dari kategori "Baru-baru ini" dari Project Euler ( urutan Digit Sum ). Tetapi saya tidak dapat memikirkan cara untuk menyelesaikan masalah secara efisien. Masalahnya adalah sebagai berikut (dalam urutan pertanyaan asli memiliki dua yang di awal, tetapi tidak mengubah urutan): Urutan Digit Sum …

20 time-complexity  number-theory 

Urutan radix secara teoritis sangat cepat ketika Anda tahu bahwa kunci berada dalam kisaran terbatas tertentu, katakanlah nilai dalam kisaran misalnya. Jika Anda baru saja mengonversi nilai menjadi basis yang membutuhkan waktu , lakukan pengurutan basis radix dan kemudian konversikan kembali ke basis asli Anda untuk keseluruhan algoritma .nnn[ 0 …

20 algorithms  sorting  applied-theory  radix-sort 

Saya sering berinteraksi dengan orang-orang yang ingin meminta algoritma untuk masalah komputasi (atau kerumitannya), tetapi mereka tidak mengungkapkannya dengan cara yang sulit bagi kita (ilmuwan komputer) untuk memahaminya. Merujuk mereka ke buku-buku seperti CLRS tidak membantu karena contoh-contoh di sana biasanya memiliki cara yang cukup mudah untuk menyatakan dengan keras, …

20 algorithms  reference-request  books 

Saya harus menemukan siklus negatif dalam grafik tertimbang yang diarahkan. Saya tahu bagaimana algoritma Bellman Ford bekerja, dan ia memberi tahu saya jika ada siklus negatif yang dapat dijangkau. Tetapi tidak secara eksplisit menyebutkannya. Bagaimana saya bisa mendapatkan jalur aktual dari siklus?v1,v2,…vk,v1v1,v2,…vk,v1v1, v2, \ldots vk, v1 Setelah menerapkan algoritma standar …

20 algorithms  graphs  shortest-path 

Saya telah memesan beberapa lembar kulit dari mana saya ingin membuat bola juggling dengan menjahit ujung-ujungnya menjadi satu. Saya menggunakan padatan Platonis untuk bentuk bola. Saya dapat memindai lembaran kulit dan menghasilkan poligon yang mendekati bentuk lembaran kulit (seperti yang Anda tahu, itu kulit binatang, dan itu tidak berbentuk persegi …

20 optimization  computational-geometry  packing 

Dalam kursus Teori Komputasi saya, banyak masalah kami melibatkan penggunaan induksi pada panjang string input untuk membuktikan pernyataan tentang automata terbatas. Saya mengerti induksi matematika, namun ketika string mulai dimainkan, saya benar-benar tersandung. Saya akan sangat menghargai jika seseorang akan melalui proses pembuatan bukti setahap demi setahap. Inilah contoh masalah …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Saya telah membaca sedikit literatur belakangan ini, dan telah menemukan beberapa struktur data yang agak menarik. Saya telah meneliti berbagai metode untuk menurunkan waktu pembaruan menjadi waktu pembaruan terburuk [1-7].O (1)O(1)\mathcal{O}(1) Baru-baru ini saya mulai mencari struktur data bebas kunci, untuk mendukung akses bersamaan yang efisien. Apakah ada teknik update-waktu …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

Misalkan kita memiliki grafik diarahkan dan dua node dan . Saya ingin tahu apakah sudah ada algoritma untuk menghitung masalah keputusan berikut:G=(V,E)G=(V,E)G=(V,E)AAABBB Apakah setidaknya ada dua jalur antara dan dengan panjang yang sama?AAABBB Bagaimana dengan kerumitannya? Bisakah saya menyelesaikannya dalam waktu polinomial? Saya ingin menambahkan batasan baru pada grafik, mungkin …

20 complexity-theory  graph-theory  time-complexity  graphs 

Iklan pizza mengklaim bahwa Anda dapat menggabungkan bahan-bahannya hingga 34 juta kombinasi berbeda. Saya tidak mempercayainya, jadi saya membersihkan keterampilan kombinatorik saya yang berkarat dan mencoba mencari tahu. Inilah yang saya miliki sejauh ini: Dari situs pemesanan online saya mendapat pilihan kerak (4 jenis, pilih 1) ukuran (4 jenis, pilih …

20 combinatorics  discrete-mathematics 

Baru-baru ini saya menemukan di sebuah makalah [1] versi simetris khusus dari SAT yang disebut 2/2/4-SAT . Tetapi ada banyak -varian lengkap di luar sana, misalnya: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Beberapa varian lainnya dapat ditelusuri: - , Planar-NAE- , ...222SATSAT\text{SAT}SATDUDUK\text{SAT} Apakah ada makalah survei (atau halaman web) …

20 complexity-theory  reference-request  satisfiability