Ilmu Komputer

Misalkan kita memiliki satu set dari N coders.S= { a1, a2, a3, ... , aN}S={Sebuah1,Sebuah2,Sebuah3,...,SebuahN}S = \{ a_1,a_2,a_3,\ldots , a_N \}NNN Setiap memiliki peringkat dan jumlah medali emas , yang telah mereka menangi sejauh ini.RsayaRsayaR_iEsayaEsayaE_i Perusahaan Perangkat Lunak ingin merekrut tiga coders untuk mengembangkan aplikasi. Untuk merekrut tiga coders, mereka …

14 algorithms  algorithm-design 

Saya ingin membuat kapsul waktu digital yang akan tetap tidak dapat dibaca untuk beberapa waktu dan kemudian dapat dibaca. Saya tidak ingin bergantung pada layanan luar untuk, misalnya, menjaga rahasia utama dan kemudian mengungkapkannya pada waktu yang diperlukan. Apakah ini mungkin? Jika tidak, mungkinkah semacam bukti bahwa itu tidak mungkin? …

14 cryptography  encryption  digital-preservation 

Kami menerima aliran n - 1n-1n-1 angka yang berbeda secara berpasangan dari set { 1 , ... , n }{1,...,n}\left\{1,\dots,n\right\} . Bagaimana saya bisa menentukan angka yang hilang dengan algoritma yang membaca aliran sekali dan menggunakan memori hanya O ( log2n )HAI(catatan2⁡n)O(\log_2 n) bit?

14 algorithms  integers  online-algorithms 

Algoritma pemilihan acak adalah sebagai berikut: Input: Array dari angka (berbeda, untuk kesederhanaan) dan angkan k ∈ [ n ]SEBUAHSEBUAHAnnnk ∈ [ n ]k∈[n]k\in [n] Output: The " elemen peringkat " dari A (yaitu, yang ada di posisi k jika A diurutkan)kkkSEBUAHSEBUAHAkkkSEBUAHSEBUAHA Metode: Jika ada satu elemen dalam , kembalikanSEBUAHSEBUAHA …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

Kita tahu bahwa adalah di N L oleh Immerman-Szelepcsényi Teorema Teorema dan karena s t - c o n n e c t i v i t y adalah Karenanya, N L - h a r d s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} adalah banyak-satu ruang log dapat direduksi menjadi s …

14 complexity-theory  reductions  space-complexity 

Saya tertarik dalam menghitung nnn 'th kekuatan dari matriks . Misalkan kita memiliki algoritma untuk perkalian matriks yang berjalan dalam waktu . Kemudian, orang dapat dengan mudah menghitung dalam waktu. Apakah mungkin untuk menyelesaikan masalah ini dalam kompleksitas waktu yang lebih rendah?n × nn×nn\times nSEBUAHSEBUAHAO (M( n ) )HAI(M.(n))\mathcal{O}(M(n))SEBUAHnSEBUAHnA^nO(M(n)log(n))HAI(M.(n)catatan⁡(n))\mathcal{O}(M(n)\log(n)) Entri …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Saya ingin memastikan bahwa ini adalah bagian dari pekerjaan rumah saya untuk kursus yang sedang saya ikuti. Saya mencari bantuan dalam melanjutkan, BUKAN JAWABAN. Ini pertanyaannya: 5-menunjuk-bintang dalam grafik tidak terarah adalah 5-klik. Tunjukkan bahwa 5-POINTED-STAR , di mana 5-POINTED-STAR = berisi bintang berujung 5 sebagai subgraph .∈ P.∈P\in P{ …

14 complexity-theory  time-complexity 

Saya saat ini membaca tentang pembelajaran mesin dan bertanya-tanya bagaimana cara menerapkannya untuk bermain Connect Four . Upaya saya saat ini adalah classificator multiclass sederhana menggunakan model fungsi sigmoid dan metode satu-vs-semua. Menurut pendapat saya, fitur input harus status (disk pemain 1, disk pemain 2, kosong) dari 7x6 = 42 …

14 machine-learning  board-games 

Asumsikan kita memiliki bahasa sederhana yang terdiri dari istilah: truetrue\mathtt{true} falsefalse\mathtt{false} jika adalah suku maka demikian juga saya ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Sekarang asumsikan aturan evaluasi logis berikut: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 …

14 logic  semantics  proof-techniques  term-rewriting 

Saya mencoba untuk membuktikan bahwa pohon biner dengan node memiliki paling banyak ⌈ nnnndaun. Bagaimana cara saya melakukan ini dengan induksi?⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Untuk orang-orang yang mengikuti pertanyaan awal tentang tumpukan, sudah dipindahkan ke sini .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Saya sedang menjelaskan algoritma pemilihan waktu linear deterministik yang terkenal (median algoritma median) kepada seorang teman. Rekursi dalam algoritma ini (walaupun sangat sederhana) cukup canggih. Ada dua panggilan rekursif, masing-masing dengan parameter berbeda. Saya mencoba untuk menemukan contoh lain dari algoritma rekursif yang menarik, tetapi tidak dapat menemukannya. Semua algoritme …

14 algorithms  recursion 

Algoritma dan struktur data yang tidak memperhatikan cache adalah hal yang agak baru, diperkenalkan oleh Frigo et al. dalam algoritma Cache-oblivious, 1999 . Tesis Prokop dari tahun yang sama memperkenalkan ide-ide awal juga. Makalah oleh Frigo et al. menyajikan beberapa hasil eksperimen yang menunjukkan potensi teori dan algoritma cache-lupa dan …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Biarkan GGG menjadi tata bahasa bebas konteks. Serangkaian terminal dan nonterminals dari GGG dikatakan menjadi bentuk sentensial dari GGG jika Anda bisa mendapatkannya dengan menerapkan produksi dari GGG nol atau beberapa kali untuk simbol awal SSS . Mari SF(G)SF⁡(G)\operatorname{SF}(G) adalah himpunan bentuk sentensial GGG . Mari α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) dan …

14 formal-languages  context-free  formal-grammars  closure-properties 

Saya sedang mencari masalah terbuka yang mudah dan menarik untuk dinyatakan dalam komputabilitas (dapat dimengerti oleh mahasiswa sarjana yang mengambil kursus pertama mereka dalam komputabilitas) untuk memberikan contoh masalah terbuka (dan jelas saya ingin para siswa dapat memahami masalah tanpa perlu terlalu banyak hal baru definisi dan juga menarik bagi …

14 computability 

Masalah bandwidth minimum adalah menemukan urutan node grafik pada garis integer yang meminimalkan jarak terbesar antara dua node yang berdekatan. Masalah keputusan adalah NP-lengkap bahkan untuk pohon biner. Hasil Kompleksitas untuk Minimalisasi Bandwidth. Garey, Graham, Johnson dan Knuth, SIAM J. Appl. Matematika., Vol. 34, No.3, 1978 . Apa hasil aproksimasi …

14 complexity-theory  np-complete  reference-request  approximation