Ilmu Komputer

Misalkan saya mengingat tetap lebar bilangan bulat (yaitu mereka cocok dalam register lebar w ), seorang 1 , sebuah 2 , ... sebuah n sehingga jumlah mereka yang 1 + a 2 + ⋯ + a n = S juga cocok dalam register dengan lebar w .nnnwwwa1,a2,…ana1,a2,…ana_1, a_2, \dots a_na1+a2+⋯+an=Sa1+a2+⋯+an=Sa_1 …

13 algorithms  arrays  integers  numerical-analysis 

Saya sangat suka bantuan Anda dengan yang berikut: Untuk setiap tetap saya perlu untuk memutuskan apakah ada penutupan di bawah operator berikut:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Opsi yang relevan adalah: Bahasa reguler ditutup …

13 formal-languages  regular-languages  closure-properties 

Saya bingung tentang bagaimana keran dipilih untuk Linear Feedback Shift Register. Saya memiliki diagram yang menunjukkan LFSR dengan koneksi polinomial . Kelima tahap diberi label: R 4 , R 3 , R 2 , R 1 dan R 0 dan ketukan keluar dari R 0 dan R 3 .C( X) …

13 cryptography  pseudo-random-generators  shift-register 

adalah bahasa reguler di atas alfabet Σ = { a , b } . Hasil bagi kiri L mengenai w ∈ Σ ∗ adalah bahasa w - 1 L : = { v ∣ w v ∈ L }LLLΣ = { a , b }Σ={Sebuah,b}\Sigma = \{a,b\}LLLw ∈ Σ∗w∈Σ∗w \in …

13 formal-languages  regular-languages  closure-properties 

The Pasang Correspondence Masalah (PCP) adalah diputuskan. The Versi dibatasi dari PCP adalah -Lengkap dan versi ditandai PCP (kata-kata salah satu dari dua daftar yang diperlukan untuk berbeda dalam huruf pertama) adalah di [1].N PNP\mathrm{NP}P S P A C EPSPSEBUAHCE\mathrm{PSPACE} Apakah versi terbatas ini digunakan untuk membuktikan beberapa kompleksitas hasil …

13 complexity-theory  computability  reference-request 

Masalah 3-Partisi menanyakan apakah satu set bilangan bulat dapat dipartisi menjadi n set tiga bilangan bulat sehingga setiap set berjumlah hingga beberapa bilangan bulat B yang diberikan . Masalah Balanced Partition menanyakan apakah bilangan bulat 2 n dapat dipartisi menjadi dua set kardinalitas yang sama sehingga kedua set memiliki jumlah …

13 complexity-theory  reductions  np-complete 

Saya sedang membaca sebuah artikel yang menggambarkan perpindahan antara ruang pengguna dan ruang kernel yang terjadi saat panggilan sistem. Artikel itu mengatakan Aplikasi mengharapkan penyelesaian panggilan sistem sebelum melanjutkan eksekusi mode pengguna. Sekarang, sampai sekarang saya berasumsi bahwa beberapa panggilan sistem blocking, sedangkan yang lain non-blocking. Dengan komentar di atas, …

13 operating-systems  os-kernel 

Saya sering bekerja dengan lexer / parser , sebagai lawan dari parser combinator dan melihat orang-orang yang tidak pernah mengambil kelas dalam parsing, bertanya tentang parsing data biner. Biasanya data tidak hanya biner tetapi juga peka konteks. Ini pada dasarnya menyebabkan hanya memiliki satu jenis token, token untuk byte. Adakah …

13 programming-languages  compilers  parsers 

Pertimbangkan protokol berikut, yang dimaksudkan untuk mengotentikasi (Alice) ke B (Bob) dan sebaliknya.SEBUAHSEBUAHABBB A → B :B → A :A → B :"Saya Alice" , RSEBUAHE( RSEBUAH, K)E( ⟨ RSEBUAH+ 1 , PSEBUAH⟩ , K)SEBUAH→B:"Aku Alice",RSEBUAHB→SEBUAH:E(RSEBUAH,K)SEBUAH→B:E(⟨RSEBUAH+1,PSEBUAH⟩,K) \begin{align*} A \to B: &\quad \text{“I'm Alice”}, R_A \\ B \to A: &\quad E(R_A, …

13 cryptography  protocols  authentication 

Misalkan S={Si}1≤i≤nS={Si}1≤i≤n\cal{S}=\{S_i\}_{1\leq i\leq n} menjadi desain parsial (m,k)(m,k)(m,k) dan f:{0,1}m→{0,1}f:{0,1}m→{0,1}f: \{0,1\}^m \to \{0,1\} menjadi fungsi Boolean. Generator Nisan-Wigderson Gf:{0,1}l→{0,1}nGf:{0,1}l→{0,1}nG_f: \{0,1\}^l \to \{0,1\}^n didefinisikan sebagai berikut: Gf(x)=(f(x|S1),…,f(x|Sn))Gf(x)=(f(x|S1),…,f(x|Sn))G_f(x) = (f(x|_{S_1}) , \ldots, f(x|_{S_n}) ) Untuk menghitung iii th sedikit GfGfG_f kita mengambil bit xxx dengan indeks di SiSiS_i dan kemudian menerapkan fff …

13 cryptography  pseudo-random-generators 

Saya tahu bahwa ada bahasa non-reguler, sehingga teratur, tetapi semua contoh yang saya temukan adalah peka konteks tetapi tidak bebas konteks.L∗L∗L^* Jika tidak ada, bagaimana Anda membuktikannya?

13 formal-languages  context-free  regular-languages 

Apakah ada pendekatan algoritmik untuk mengidentifikasi bahwa tanggal yang diberikan dalam paragraf berkorelasi dengan peristiwa (frasa) tertentu dalam paragraf? Contoh, pertimbangkan paragraf berikut: Pada Juni 1970, pemimpin besar itu mengambil sumpah. Tetapi baru setelah Mei 1972, setelah kematian Menteri Negara, dia mengambil alih tampuk kekuasaan negara. Sementara ia menikmati dukungan …

13 algorithms  data-mining  natural-language-processing 

Saya ingin menghasilkan Sudoku yang sepenuhnya acak . Tentukan kisi Sudoku sebagai kisi bulat antara 1 dan 9 tempat beberapa elemen dapat dihilangkan. Kisi adalah teka-teki yang valid jika ada cara unik untuk menyelesaikannya agar sesuai dengan batasan Sudoku (setiap baris, kolom, dan kotak 3 × 3 tidak memiliki elemen …

13 algorithms  randomness  sudoku 

Sebuah permainan sederhana yang biasanya dimainkan oleh anak-anak, permainan Perang dimainkan oleh dua orang menggunakan setumpuk standar 52 kartu remi. Awalnya, deck dikocok dan semua kartu dibagikan kepada dua pemain, sehingga masing-masing memiliki 26 kartu acak dalam urutan acak. Kami akan menganggap bahwa pemain diizinkan untuk memeriksa (tetapi tidak mengubah) …

13 algorithms  optimization 

Saya seorang programmer dengan pegangan pada automata, tetapi tidak pada logika. Saya membaca di surat kabar bahwa keduanya berhubungan sangat erat. Deterministic Finite Automata (DFA), Tree Automata dan Visible Pushdown Automata semuanya terkait dengan Monadic Second Order Logic (MSO). Meskipun, saya memahami automata dan orang-orang (dalam makalah) telah mencoba menjelaskan …

13 automata  finite-automata  logic  coq  automated-theorem-proving